Terry Tao 博客发布 Hexagon：专为 LLM 辅助数学成果建的论文库
alexbilz · x · 2026-10-07
数学家 Ben Antieau 在 Terence Tao 的博客发表客座文章，宣布成立 Hexagon——一个面向数学科学与理论计算机研究的新论文存储库，专门应对 LLM 辅助证明结果的激增。
要点：
- 项目 2026 年 8 月初启动，动机是 LLM 辅助证明的论文大量涌现，arXiv 门槛偏高，而随机 GitHub 仓库或社交平台帖子无法可靠沉淀成果。
- 目标：让这些成果可引用、长期可靠存储，同时比 arXiv 更低的作者准入与社区门槛。
- 已在特拉华州注册 Hexagon Mathematics Foundation，正申请 501(c)(3) 免税资格；董事会成员包括 Mohammed Abouzaid、Bryna Kra、Lauren Williams 等，Antieau 任首任执行董事，顾问委员会有 Kevin Buzzard、Akhil Mathew、Ravi Vakil 等。
「研究」频道最新
- Tropical RL:指出现有 LLM 强化学习代数结构不适配组合任务 — burny_tech · 2026-10-07
- 矩阵乘法复杂度降至 O(N^2.25),新算法纪录再被刷新 — burny_tech · 2026-10-07
- 研究员 _xjdr 力挺 inkling 架构：与 DSV4 同列新晋最爱 — _xjdr · 2026-10-07
- 3DGS 追踪升级：120fps 全局快门相机让位姿更新翻倍 — Scobleizer · 2026-10-07
- 新研究称生命起源不止一次，地球可能孕育过两套生命 — skdh · 2026-10-07
- COLM 论文：少数错位 Agent 能带偏对齐多数派 — AccBalanced · 2026-10-07