Hexagon: a new repository for LLM-assisted math results launches on Terry Tao's blog
alexbilz · x · 2026-10-07
Mathematician Ben Antieau announces Hexagon on Terence Tao's blog: a new repository for mathematical sciences and TCS research built specifically to collect the surge of LLM-assisted proofs.
- Started early August 2026; arXiv's barriers are too high, while random GitHub repos and social posts don't reliably preserve results.
- Goals: citable, long-term-stable storage with lower authorship and community-interest barriers than arXiv.
- Backed by the Hexagon Mathematics Foundation (Delaware, applying for 501(c)(3)); board includes Abouzaid, Kra, Williams; advisors include Buzzard, Mathew, Vakil.
More from Research
- UTokyo Uses Differentiable Rendering to Optimize Free-Form 3D-Printed Lampshades — ssh4net · 2026-10-07
- OpenAI publishes 722 math papers averaging 3 hours of compute, claiming 90 of top 500 open problems — Latent Space · 2026-10-07
- DFA transfers circuits from small to large models for cheaper interpretability, best on Llama-3 1B→3B — boknilev · 2026-10-07
- H-JEPA: Hierarchical world models lift visual AntMaze success from 18% to 73% — ylecun · 2026-10-07
- Testing TypeSafe's Jev classifier: calibration check costs under $4, results mixed — RexDouglass · 2026-10-07
- COLM paper: AI assistance reduces persistence and hurts independent performance — sethlazar · 2026-10-07