.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-4o”！奥特曼强推GPT-5惹怒网友，紧急公关来了
2025-08-09 17:33:33
深聊GPT-5发布：过度营销的反噬与AI技术困局
2025-08-12 12:16:52
陶哲轩12年前的预言，现在AI帮他兑现了
2026-06-20 20:21:47
量子位专访陶哲轩：我为什么现在创办一个AI x Science组织
2026-03-14 15:00:36
7个AI玩狼人杀，GPT-5获断崖式MVP，Kimi手段激进
2025-09-02 17:34:44
GPT-5差评启示录：用户与AI交互方式还停留在上一个时代
2025-08-22 13:46:04
OpenAI GPT-5 编程成绩有猫腻：自删 23 道测试题，关键基准还是自己提的
2025-08-12 13:18:21
硅谷5月将迎“Science for AI”峰会，全球科学界及企业界“最强大脑”首次线下集结
2026-04-27 11:05:18
GPT-5“变笨”，实锤了？
2025-09-01 17:22:41
奥特曼神秘晚宴讲话曝出！OpenAI的CEO或将是个AI，Chrome我也想买
2025-08-17 15:36:36
OpenAI的GPT-5会否开启人工智能界的价格大战？
2025-08-11 16:09:01
我们都错怪GPT-5了，路由统一算力，免费用户也能创造收益
2025-08-14 15:57:37
“苹果牌 AI”拥抱 GPT-5，预计下月登陆 iOS / iPadOS / macOS 26
2025-08-09 09:25:46
842 文章
1011678 浏览
24小时热文
更多
-
2026-09-05 10:04:54 -
2026-09-04 19:40:20
-
2026-09-04 19:38:53
