今年7月,王虹、邓煜在费城国际数学家大会上拿下菲尔兹奖。
消息刷屏那几天,Anthropic员工Alek Dimitriev在X上发了一句:
这届菲尔兹奖,将是人类最后一次拿到这个奖。
往届得主Timothy Gowers跟帖,说自己也有过类似的想法。
不过这个过程有滞后,所以我想他们大概能撑到2030年。
谁能想到…Gowers你可能还是乐观了。
10月7日,OpenAI一口气放出了722篇数学手稿,论文和部分Lean证明全部上传Github。
其中编号074的一组只有两篇,正是王虹拿奖的那个方向:挂谷猜想。
一篇声称证明了三维挂谷极大函数猜想,比王虹和Zahl证明的版本更强。
另一篇声称证明了四维挂谷猜想。
两篇手稿加起来272页,作者栏只有一个词:OpenAI。
王虹与Joshua Zahl刚解决三维挂谷集维数猜想,AI便把相关结果推到了四维。
难道…今年这届菲尔兹奖,真的是人类数学的最后一届么?
网页链接

