.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-11 16:06:06
可调节思考时长，ChatGPT 网页端新增 GPT-5 Thinking 调整功能
2025-09-18 10:48:18
硅谷5月将迎“Science for AI”峰会，全球科学界及企业界“最强大脑”首次线下集结
2026-04-27 11:05:18
奥特曼神秘晚宴讲话曝出！OpenAI的CEO或将是个AI，Chrome我也想买
2025-08-17 15:36:36
OpenAI 今年推出 GPT - 6？员工否认
2025-10-19 07:43:54
GPT-5之后，奥特曼向左，梁文锋向右
2025-08-15 17:17:56
OpenAI 布罗克曼：GPT-5.2 Pro 再次破解公开数学难题，获陶哲轩认可
2026-01-18 13:18:51
GPT-5差评启示录：用户与AI交互方式还停留在上一个时代
2025-08-22 13:46:04
陶哲轩在线安利Claude Code：审稿意见全给它，15分钟欧了
2026-05-06 16:23:01
重新体验GPT-5后，我想它比GPT-4o 更需要一场葬礼
2025-08-11 19:06:36
GPT-5与Claude在部分工作中可媲美人类专家
2025-09-26 08:21:08
量子位专访陶哲轩：我为什么现在创办一个AI x Science组织
2026-03-14 15:00:36
研究称 GPT-5“有害回答”比 GPT-4o 更多，不回避“自杀”相关话题
2025-10-17 12:15:56
823 文章
843426 浏览
24小时热文
更多
-
2026-07-12 17:30:31 -
2026-07-12 10:19:23
-
2026-07-12 10:17:18
