Hexagon
内容提要
数学家Ben Antieau宣布推出新预印本库Hexagon，专门收录LLM辅助产生的数学与理论计算机科学成果。该平台由新成立的Hexagon数学基金会运营，允许完全由AI生成、无需人类理解的投稿，门槛低于arXiv，旨在为这类快速涌现的结果提供可引用、可长期保存的社区家园。
延伸解读
Hexagon 的定位与门槛
Hexagon 明确允许完全由 LLM 生成、且提交者不声称有人类理解的数学与理论计算机科学成果。其门槛低于 arXiv，旨在为这类快速涌现的结果提供可引用、可长期保存的社区家园。与 arXiv 不同，Hexagon 不要求形式化，但会链接到 mathlib、Palomar 等证明助手项目。
从个人案例看需求
Ben Antieau 提到，在与 FRG 资助团队合作时，通过点击按钮发现了特征零四重簇 Hodge 数的导出不变性。过去这类结果可能投稿到优秀但非顶级的期刊，但这次他选择不署名，而是先发博客，后提交至 Hexagon。这反映了 LLM 辅助产生的成果需要新的聚合方式。
运营与治理结构
Hexagon 由新成立的 Hexagon 数学基金会运营，该基金会在特拉华州注册为非营利组织，并计划申请 501(c)(3) 免税资格。董事会包括 Mohammed Abouzaid 等五人，Ben Antieau 任首任执行董事，另有 Kevin Buzzard 等七人组成的顾问委员会。目前资金完全来自参与者个人。
提交限制与 API 支持
Hexagon 对提交速率设有限制，初始为每天 1 次，之后根据提交通过审核的情况由平台酌情增加。平台提供类似 arXiv 的只读 API，以及通过用户账户页面获取的提交 API 令牌。目前 Hexagon 处于 beta 阶段，仍在添加功能并测试可扩展性。
Q&A
Hexagon是什么？
Hexagon是一个新的预印本库，专门收录数学科学和理论计算机科学的研究成果，特别是那些由LLM辅助产生、甚至完全由AI生成且无需人类理解的论文。它由Hexagon数学基金会运营，旨在为这类快速涌现的结果提供可引用、可长期保存的社区家园。
Hexagon和arXiv有什么区别？
Hexagon的门槛低于arXiv，允许完全由LLM生成、提交者声称无人类理解的投稿，并欢迎大型实验室的提交。而arXiv则专注于维持现有模式，不提供此类结果的存放。此外，Hexagon有提交速率限制（初始为每天1篇），并提供API访问。
Hexagon接受什么样的投稿？
Hexagon接受数学科学和理论计算机科学的研究工作，包括完全由LLM生成、无需人类理解的成果，以及小型 incremental 改进（只要对社区有兴趣）。它也欢迎大型实验室、大型合作组织或其他机构的投稿。
Hexagon的提交速率限制是怎样的？
Hexagon对提交速率有限制，初始为每天1篇，之后根据之前提交通过审核的情况由Hexagon酌情增加。
Hexagon是否要求形式化？
不，Hexagon主要不是一个形式化项目，但它会链接到形式化项目，如mathlib、Palomar、prove2.me和TauCeti。
Hexagon的贡献者和提交者有什么区别？
在Hexagon上，贡献者（Contributors）是负责创建提交内容的人类或组织；提交者（Submitters）是在Hexagon上拥有ORCID验证账户的人类。在某些情况下，Hexagon会允许个人账户持有者代表其他人类或组织提交。
