01
“我很满意，我的猜想已成为定理。”8月20日，法国雷恩大学雷恩数学研究所荣休教授米歇尔·克鲁泽在给《中国新闻周刊》的邮件中写道。22年前，他提出了以自己名字命名的猜想。
今年夏天，围绕克鲁泽猜想，三篇声称运用AI完成证明的预印本论文接连公开。最早的一篇来自北京协和医院神经外科住院医师、博士后金山木。7月27日，他公开首版论文，供同行阅读和核验。
过去一年，美国康奈尔大学数学系副教授亚历克斯·汤森德常让ChatGPT尝试证明这一猜想。汤森德在接受《中国新闻周刊》采访时说，有时大模型会给出一套看似完整的论证，但继续检查却能发现错误；有时则停在某个关键步骤。
7月30日，汤森德像往常一样又试了一次。那次，ChatGPT搜索互联网后，把金山木的论文链接发给了他，并称没从中找到任何错误。汤森德说，初步浏览没有发现明显问题后，他开始仔细核验其中的数学论证。
随后，美国华盛顿大学应用数学系荣休教授安妮·格林鲍姆、克鲁泽等也从头检查了这一证明。多名接受《中国新闻周刊》采访的数学家表示，经过独立核验，他们均认为这项证明成立。
AI插画/adan
“ChatGPT持续运行了16个小时”
9月1日，金山木又公开了一篇新的预印本论文，进一步研究克鲁泽猜想，并有了突破性进展，但该论文尚未经同行评议。此前，金山木论证该猜想的论文已更新四版，最新一版于8月7日公开。
0
评论 (0)