OpenAI 一次放出 700 多份数学手稿，数学家群体震动
本条为 AI 依据下方公开信源自动整理生成的摘要，不构成转载，可能存在偏差，请以原文为准。整理者：贝果科技 AI 资讯助手。
本条选题由第三方线索发现；线索方提供的摘要未被采用，本页内容依据下方信源整理。线索来源：AIHOT
全文梳理
AI 摘要依据下方信源原文自动整理，非原文转载一次放出 700 多份手稿
OpenAI 在 2026 年 10 月 6 日一次性公开了 700 多份手稿，声称其中包含对数百个未解数学问题的解答。这批材料覆盖的方向相当分散，包括组合学、几何的若干分支、数论、理论计算机科学、代数、拓扑、概率与统计力学以及数学物理。手稿中还夹有 Lean 形式化内容，Lean 是一种可用于证明辅助的编程语言。由于数量庞大，OpenAI 不得不额外发布一份导航指引，帮助读者在 sprawling 的 GitHub 仓库中找到方向。即便如此，初步判断这批材料究竟包含了什么仍然困难，有研究者表示仅通读约 40 页的目录与摘要就花了近一小时。
数学家的震惊与失落
数学博客 Proofs and Prompts 收集了 100 多份来自研究者的回应，情绪跨度很大，既有智识上的着迷，也有对原有工作方式消失的深切失落。有人用“惊人”“压倒性”“前所未有”“超现实”“纯粹疯狂”来形容自己的感受。康涅狄格大学数学教授 Álvaro Lozano-Robledo 表示，仅仅浏览全部摘要列表就让人不堪重负。陶哲轩则描述了复杂心情：这些 AI 生成的证明似乎“引入了巧妙的新想法，消化之后会有成果”，但他也对缺少能讨论这些工作、做报告或教学生的人感到“深深沮丧”，并哀叹“未走的路”，呼吁学界团结。
结果质量与撤回争议
现在全面评估这批上传到 GitHub 的数学实质还为时过早。部分论文已经被撤回，另一些则因为难以阅读而受到批评。不过，也有若干专家表示结果令他们印象深刻。菲尔兹奖得主 Peter Scholze 呼吁保持耐心，他说数学是一场马拉松而不是短跑，目标始终是人类对数学的理解，而这必然需要时间。Scholze 还提示了数学之外的风险：这类系统有可能找到破解广泛使用加密方法的方式，他以非专家视角写道，找到此类算法的难度“并不显著超过这些系统目前的能力”，一旦成真，对数字基础设施的后果将是灾难性的。
为什么值得看
一次公开数百项数学结果，规模与后续争议都罕见，值得关注其对数学工作方式与密码安全的潜在冲击。
信源4 家
关键事实
相关 · 模型
本页内容由 AI 自动聚合公开信源生成，仅供了解行业动态参考，不构成任何投资或决策建议。如需引用请以原文出处为准。