AGI Hunt· repligate·2026-10-07 07:46· 3 小时前AI 评分62

OpenAI 开源 openai/math 仓库，收录模型产出的数学手稿与证明工件

OpenAI 发布模型产出的数学结果包:疑似准黎曼假设与希尔伯特第十问题

AI 导读

OpenAI 开源 openai/math 仓库（Apache-2.0，已获 1.2k star），收录其内部前沿模型产出的数学手稿与证明工件，含 Lean 形式化、预印本和推理轨迹。

来源：AGI Hunt · agihunt.info