.png)
正文：2025年9月，数学家陶哲轩在OpenAI的GPT-5模型帮助下，成功解决了一个与Erdős问题相关的数学难题。通过AI生成高精度小数并与OEIS数据库比对，陶发现Erdős问题#259与已有研究成果匹配，从而将其标记为“已解决”。这一突破是Erdosproblems/OEIS关联项目的首次概念验证成果，展示了AI在半自动化文献检索中的潜力。该项目由陶哲轩和英国数学家Thomas Bloom发起，旨在将Erdős问题与OEIS数列关联，避免重复研究。项目采用众包方式推进，目前已在GitHub开源。
原文链接
本文链接：https://kx.umi6.com/article/24644.html
转载请注明文章出处
分享至
打开微信扫一扫
内容投诉
生成图片
.png "24644")
相关推荐
.png)
换一换
GPT-5攻入数学圈，证明定理快过博士生？网友热议AI新角色
2025-09-19 20:18:56
OpenAI GPT-5 编程成绩有猫腻：自删 23 道测试题，关键基准还是自己提的
2025-08-12 13:18:21
OpenAI首个GPT-5找Bug智能体：全自动读代码找漏洞写修复
2025-10-31 13:33:18
奥特曼：我承认GPT-5发布搞砸了
2025-08-19 17:02:17
OpenAI 奥尔特曼爆料：GPT-5 重构一切，一人顶五个团队
2025-09-17 22:38:26
奥尔特曼：感受不到 GPT-5 变强，是因为你还不够「专业」
2025-10-05 20:24:55
OpenAI：正在让 GPT-5 变得“更温暖、更友好、不奉承”
2025-08-16 12:24:21
GPT-5系统提示词被泄露，ChatGPT自己也「承认」了
2025-08-25 18:32:20
硅谷画饼王“塌房”：奥特曼撒谎微表情被扒光，网友集体喊下台
2025-08-16 18:29:48
量子位专访陶哲轩：我为什么现在创办一个AI x Science组织
2026-03-14 15:00:36
OpenAI高管自爆：Scaling不死，GPT-5「双轴训练」撕开智能天花板
2025-08-21 15:33:31
GPT-5≈o3.1！OpenAI首次详解思考机制：RL+预训练才是AGI正道
2025-10-20 16:09:01
可调节思考时长，ChatGPT 网页端新增 GPT-5 Thinking 调整功能
2025-09-18 10:48:18
768 文章
568536 浏览
24小时热文
更多
-
2026-04-13 22:23:19 -
2026-04-13 22:22:15
-
2026-04-13 21:20:05
