.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-08-08 09:11:19
因为GPT-5，这群人决定在Reddit上起义
2025-08-11 11:01:24
写在GPT-5风波之后：为什么AI的智商和情商不可兼得？
2025-08-14 10:51:09
GPT-5发威，逼得马斯克 「放大招」？
2025-08-12 11:17:40
ChatGPT 为何退回了 4o ？
2025-08-10 15:48:45
我们扒完了GPT-5全网爆料，奥特曼和OpenAI 这次的饼真不好画了
2025-08-05 19:18:01
GPT-5发布了，到底有没有那么神？
2025-08-08 09:10:02
GPT-5发布，槽点竟多过亮点
2025-08-08 09:12:32
GPT-5 将发布？OpenAI 工程师称本周将会是令人兴奋的一周
2025-08-05 15:16:34
“苹果牌 AI”拥抱 GPT-5，预计下月登陆 iOS / iPadOS / macOS 26
2025-08-09 09:25:46
GPT-5之后，奥特曼向左，梁文锋向右
2025-08-15 17:17:56
OpenAI旧版回归，年度最失望AI 留下了什么
2025-08-13 15:41:58
GPT-5能让普通人变成博士，但魔法依旧没有
2025-08-08 12:10:14
528 文章
162580 浏览
24小时热文
更多
-
2025-09-03 18:50:32 -
2025-09-03 18:49:23
-
2025-09-03 17:54:10
