@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 解决公开数学问题,并预测由于人工智能的快速发展,数学研究将很快面临危机。
@rohanpaul_ai: 一位数学家使用GPT-5.6解决曾经被认为无法企及的数学问题。“我只需运行CodeX来完成所有这些探索……”
一位数学家使用GPT-5.6和CodeX解决以前棘手的数学问题,显著加快了探索和技术工作的速度。
Stand-up maths: AI是否发现了新的数学?
马特·帕克的视频探讨了近期AI(包括ChatGPT)帮助解决未解的Erdős问题的案例,彰显了AI辅助数学发现的新时代。
@OpenAI:认识Bartosz(@nasqret)。一位用GPT-5.6解决此前无法解决的数学问题的数学家。
一位名为Bartosz的数学家使用OpenAI的GPT-5.6解决此前无法解决的数学问题。