.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“变笨”实锤，退休教授出了道井字棋送分题，结果它真送了
2025-09-01 16:18:53
GPT-5攻入数学圈，证明定理快过博士生？网友热议AI新角色
2025-09-19 20:18:56
重新体验GPT-5后，我想它比GPT-4o 更需要一场葬礼
2025-08-11 19:06:36
真·博士水平！GPT-5首次给出第四矩定理显式收敛率，数学教授只点拨了一下
2025-09-10 17:40:34
“苹果牌 AI”拥抱 GPT-5，预计下月登陆 iOS / iPadOS / macOS 26
2025-08-09 09:25:46
OpenAI今年预计通过ChatGPT实现近100亿美元收入，机构称GPT-5将给硬件和应用端这些企业带来机遇
2025-09-06 16:37:17
GPT-5的野心比技术更致命
2025-08-08 21:19:53
GPT-5为什么没有带来更多惊喜？
2025-08-10 14:47:11
奥尔特曼答网友问：GPT-5 为何“降智”、是否保留 GPT-4o、发布会图表出错……
2025-08-09 08:25:28
GPT-5刚出，人们为什么又怀念GPT-4o
2025-08-11 08:57:55
OpenAI：GPT-5 模型正开始减轻科学家日常工作量
2025-11-22 00:51:13
GPT-5发威，逼得马斯克 「放大招」？
2025-08-12 11:17:40
我们都错怪GPT-5了，路由统一算力，免费用户也能创造收益
2025-08-14 15:57:37
705 文章
452591 浏览
24小时热文
更多
-
2026-01-23 19:11:03 -
2026-01-23 19:08:58
-
2026-01-23 18:11:40
