数学与理论计算机科学AI辅助研究仓库Hexagon发布

2026年8月，由Ben Antieau发起的Hexagon数学基金会正式推出Hexagon论文仓储平台，专为大语言模型辅助的数学理论与计算机科学研究成果提供标准化发布渠道。该非营利机构注册于特拉华州，汇聚多位知名学者担任理事与顾问，Antieau出任首任执行董事。 面对人工智能技术在数学推导领域催生海量新型成果，传统学术平台因定位与审核限制，难以满足低门槛、高可追溯性的发布需求。Hexagon应运而生，旨在成为AI时代数学思想从初步生成到社区验证的核心枢纽。平台明确接受完全由算法生成或人类参与度较低的工作，并允许提交微小的增量改进。系统内置提交速率限制与API接口，支持独立账户操作，并链接至mathlib等形式化验证项目以增强学术可信度。 据悉，该平台底层架构由AI代码工具辅助构建，现处于Beta测试阶段。运营初期由创始团队自筹资金，暂无商业资本介入。Hexagon的推出标志着数学界试图建立独立于社交网络与代码托管平台的AI成果治理新范式，有望重塑大模型辅助科学发现的长期存档与引用生态。