Erdős问题为何会成为AI的新竞技场 | AI数学证明 | OpenAI | 保罗·埃尔德什 |
外来客 • 2026-08-30 20:08:55
声明：本文为对公开视频内容的摘要整理，
未经本站独立核实，可能与原视频存在出入，不代表本站立场、观点或建议；
观点与版权归原作者及原平台所有。
如涉及版权问题，请联系我们，核实后立即删除。
[ 免责声明 ]
🧮 AI数学突破与埃尔德什问题
- OpenAI于2026年5月20日发布公告，其未正式公开的AA模型推翻了保罗·埃尔德什1946年提出的单位距离猜想，提供了80年来首个未被人类想到的反例。
- 该反例采用了代数数论方法，性能优于传统的方形网格构造方案，标志着AI首次自主解决数学领域的核心著名未解问题。
- 2026年8月1日，OpenAI的Astra模型进一步解决了包括埃尔德什另外三个开放问题在内的十项数学进展。
📚 埃尔德什问题数据库与社区生态
- 英国数学家托马斯·布鲁姆创建了集中收录近1000个埃尔德什问题的网站，并添加了评论区功能，形成了去头衔化的学术讨论社区。
- 客服外包员工沃特·范多恩在2025年10月通过该网站与菲尔兹奖得主陶哲轩平等讨论数学问题，展示了业余爱好者与顶级数学家协作的可能性。
- 剑桥本科生凯文·巴雷托和业余爱好者利亚姆·普莱斯利用GPT-5.2 Pro解决了埃尔德什728号问题，并采用多AI实例互相校验的方法论验证证明逻辑。
🏢 AI公司竞争与验证挑战
- 谷歌DeepMind团队在2026年1月评估了700个开放猜想，解决了其中4个；另一支21人团队从353个问题中解决了9个，单题成本仅几百美元。
- 布鲁姆担忧非数学背景人员大量使用AI导致无法验证的长论文泛滥，指出当证明复杂到人类读不完时，依赖另一个AI检查存在双重错误风险。
🎓 数学家职业转向与意义反思
- 普林斯顿大学诺加·阿龙森表示一旦AI开始解决这些问题，其研究意义便消失；陶哲轩也逐步退出埃尔德什问题社区。
- 2026年7月获得菲尔兹奖的雅各布·奇莫尔曼宣布离开学术界加入OpenAI，反映出顶尖数学家向AI公司流动的趋势。
- 范多恩认为尽管AI在解题上更强，但人类仍享受思考过程，且其最终证明比AI生成的更简单、通用且易读。
👤 同一博主
🧭 类似博主
0 条评论
发表评论
请先 登录 后参与讨论。