The math batch, day 3: "pure insanity," and mathematicians ship Hexagon
From the AI digest for 2026-10-09
What happened: The Verge's day-3 piece (Oct 9, 3:09 PM ET) talked to "more than three dozen mathematicians" about OpenAI's 722-manuscript release: "Staggering… Overwhelming… Unprecedented… Surreal… Pure insanity" — the working read is that the field will need "years to make sense" of it. And the infrastructure layer is already forming: mathematicians including Fields Medalist Terence Tao have launched Hexagon, a nonprofit preprint repository for AI-generated proofs, after arXiv declined to host them (TechTimes, Oct 7).
What's genuinely new: the response is institutional rather than just discourse — a venue built specifically for AI-generated proofs is the record's first standing artifact from the academic side of this thread. Status unchanged underneath: zero independent expert readings of any of it; NS unverified at day ~31. Adjacent capability-shelf item: NVIDIA published a fine-tuning recipe taking Nemotron to gold-level on IOI 2026 and IMO 2026 with one model family (HF blog, Oct 7 — vendor-run, no independent verification).
Watch: whether Hexagon's hosting posture (or arXiv's refusal logic) gets its own writeup; AGMAI's assessment, still owed; whether the batch is ever read by an independent referee.
Links: The Verge · TechTimes on Hexagon · NVIDIA Nemotron (HF)