Benjamin Antieau
Mathematician (Northwestern); Executive Director, Hexagon Mathematics Foundation · as of 2026-10-06 · source
Algebraic geometer who launched Hexagon, the repository for LLM-assisted mathematics (Oct 2026), and has written about AI-assisted results in his field.
Role changes
- 2026-10-06 Announced Hexagon as its executive director (guest post on Terence Tao's blog) source
News mentioning Benjamin Antieau (2)
- Hexagon launches: a new arXiv-style repository for LLM-assisted (and even fully LLM-generated) mathematics papers ★★★
On Oct 6, 2026 Benjamin Antieau announced Hexagon (hexagonmath.org) in a guest post on Terence Tao's blog: a nonprofit repository for research-level mathematics and theoretical computer science, built with OpenAI's Codex, that explicitly accepts papers "entirely generated by LLMs and even where…
- AI-assisted counterexample answers Grothendieck's question on finite flat group schemes, merged into Mathlib ★★★
Akhil Mathew, using OpenAI's and Anthropic's models, found a finite locally free group scheme of order 4 over a non-reduced finite ring with 2⁹ elements that is not killed by 4 (it is killed by 8). This answers Grothendieck's question negatively. The Lean proof was merged into Mathlib on 3 Aug 2026.
Mentions are matched automatically by name, so a few may be about a namesake. Last checked 2026-10-07. All people · corrections: contact@postcutoff.com