@wtgowers: 我也开始尝试让 AI 解决数学中的开放性问题。更准确地说，我把 Melvyn Nathanson 提出的几个问题提交给了 ChatGPT 5.5 Pro……
摘要
Tim Gowers 报告称，他使用 ChatGPT 5.5 Pro 尝试解决由 Melvyn Nathanson 提出的数学开放性问题。
我也开始尝试让 AI 解决数学中的开放性问题。更具体地说，我将 Melvyn Nathanson 提出的几个问题提交给了我获得访问权限的 ChatGPT 5.5 Pro，并得到了回答。 🧵
查看缓存全文
缓存时间: 2026/05/10 12:24
我最近也加入了利用人工智能解决数学开放问题的热潮。更准确地说，我将梅尔文·纳桑森（Melvyn Nathanson）提出的几个问题提交给了我拥有访问权限的 ChatGPT 5.5 Pro，并获得了它的回答。🧵
相似文章
我最近使用 ChatGPT 5.5 Pro 的一次体验
数学家 Timothy Gowers 讲述了 ChatGPT 5.5 Pro 如何在约一小时内、几乎不需要人工干预的情况下，产出了博士级别的数学研究成果——解决了一篇组合数学/加法数论论文中的若干开放问题。这一经历促使他大幅修正了对大语言模型数学能力的评估。
菲尔兹奖得主数学家蒂莫西·高尔斯使用 GPT5.5 Pro 解决公开问题，认为按照当前进展速度，数学研究很快将面临‘危机’
菲尔兹奖得主蒂莫西·高尔斯报告使用 GPT5.5 Pro 解决公开数学问题，并预测由于人工智能的快速发展，数学研究将很快面临危机。
对ChatGPT感到困惑？不再！一款提升AI素养与认知的拼图游戏
本文介绍一款基于漫画信息图设计的拼图游戏，旨在以互动有趣的方式促进AI素养，阐释ChatGPT等生成式AI的工作原理、能力、局限及社会影响。
构建由 ChatGPT 驱动的自定义数学家教
Phil Birchenall 创建了一个由 ChatGPT 驱动的自定义 GPT，通过赋予 AI 家教他们的狗 Izzy 的个性，来帮助他 12 岁的女儿 Daisy 克服数学困难，从而创造了一个引人入胜且有效的学习工具。
GPT-5 与数学发现的未来
GPT-5 帮助数学家 Ernest Ryu 解决了一个困扰优化理论40年的开放问题，涉及 Nesterov 加速梯度法的稳定性性质。这一突破展示了大型语言模型通过从数学文献中提取相关技术和思想来辅助重大数学发现的能力。