OpenAI的Astra解决10大数学难题，但引发深层担忧

8月1日，OpenAI发布了一篇博客文章，声称其下一代语言模型Astra的内部版本已经解决或果断推进了数学和理论计算机科学中的十个开放问题。这些问题涵盖高等几何、编码理论、算术电路复杂性、群论、算子代数、量子复杂性、基于格的密码学和极值组合学等前沿主题。OpenAI表示，每个问题的解决成本大约为2000美元的令牌费用，并且结果已使用Lean形式化证明助手进行了验证。这一公告在数学界引发了兴奋和担忧。研究员Jay Cummins指出，这是第一次人工智能解决了他个人研究多年的问题，这一失败令人难以接受。投资者Nicolas Bustamante对菲尔兹奖的未来提出质疑，当问题只需一个提示就能得到解决时，该把功劳归于谁？值得注意的是，菲尔兹奖得主Jacob Tsimerman于7月底暂停了在多伦多大学的教职，加入OpenAI，但他关注的不是数学能力，而是人工智能安全。另一位菲尔兹奖得主陶哲轩警告说，一个危险的转变正在发生：随着人工智能自动化证明生成，数学从稀缺转向丰富，但研究人员无法跟上验证和“消化”证明的步伐。他把原始的人工智能证明比作“神秘的动物尸体”被扔进社区聚餐，没有人有时间去清理和烹饪它们。Tsimerman也对“数学垃圾”的兴起表示遗憾，这些垃圾来自没有专业知识、将ChatGPT原始输出提交给实验室的用户。两人都警告说，对著名猜想的正式解答可能会扼杀这些主题的资金和兴趣，尽管没有人理解这些解答，导致这门学科在缺乏理解的情况下取得进展。