Terry Tao 博客发布 Hexagon：专为 LLM 辅助数学成果建的论文库

数学家 Ben Antieau 在 Terence Tao 博客发表客座文章，宣布成立 Hexagon——面向数学科学与理论计算机研究的新论文存储库，专门应对 LLM 辅助证明结果的激增。