数学家詹姆斯·梅亚德在过去一年中花了很多时间进行“灵魂寻找”。这位牛津大学的教授和著名的菲尔兹奖获得者告诉《边缘》，他一直在思考自己领域的未来，因为这个传统上缓慢的学科正在急于适应人工智能。在我们交谈的几天前，OpenAI透露它已经给出了解决10个长期数学问题的方案，其中一些问题困扰着学术界数十年。与用于生成文本和图像或提出科学与医学创意的生成性人工智能一样，这项技术从所训练的大量材料中学习模式和联系，并利用这些模式和联系创造新的东西。应用于数学时，这意味着以新的方式结合已知的结果、方法和工具来解决问题，有时将不同领域联系起来，或重新浮现埋藏在学术文献中的概念。对于梅亚德和《边缘》采访的其他数学家来说，这一公告加剧了对他们的领域未来的复杂情绪。对于加速数学发现的前景，充满了明显的兴奋——但也有忧虑，在某些情况下甚至绝望，为那些一生致力于追求这一事业的人，以及将要遵循他们的未来数学家们。几乎没有人怀疑深刻的动荡已经开始。OpenAI解决的问题，采用一种先进的未发布模型Astra，涵盖了广泛的数学领域，从高度抽象到具有实际影响的问题。其中一个突破涉及如何在超过三维的空间中紧密地打包球体，这一问题与数据的高效编码和传输相关。另一个则推动了纠错码的极限，这可以帮助从嘈杂信号中恢复信息。第三个解决了两个长期悬而未决的问题，关于复杂的连接网络在出现结构模式之前可以变得多么复杂。名单上的其他结果处理了量子博弈论中的问题以及在高维网格中寻找目标的问题，这对后量子网络安全技术的应用具有深远影响。其中一个最引人注目的结果涉及非索菲克群的存在，这是无限的数学结构，粗略来说，不能被有限的结构所近似。几十年来，是否存在这样的结构一直是一个开放性问题。这一发现还引发了另一个原因的关注：关于OpenAI的人工智能应获得多少功劳，以及应给谁的数学家应获得多少功劳的问题。剑桥大学的数学家弗朗切斯科·福尔尼尔-法奇奥告诉《边缘》，他和其他在该领域工作的人认为OpenAI的原始公告低估了研究者安德烈亚斯·托姆和加博尔·昆的贡献，他们最近的工作为这一结果奠定了基础。当OpenAI首次发布这一公告时，其表示将分享“对已经开放且在主要结果上至少十年没有进展的问题的结果，在大多数情况下更长。”后来它对此进行了修改，表示将分享“每个解决或对长期悬而未决的问题有实质性进展的结果。”该页面没有更正说明或更改的解释。昆博士是匈牙利阿尔弗雷德·雷尼数学研究所的研究员，他告诉《边缘》，OpenAI在发布前不久通过电子邮件联系了他，分享其发现。他认为原始公告中那种笼统的措辞“相当可笑”，特别是附带的更详细的研究论文“清楚地说，它建立在我2016年和2019年的结果上”，后者与托姆共同撰写。“这相当马虎，”昆说。“这相当马虎。”发布后，OpenAI再次联系昆。他拒绝全面分享电子邮件交换内容，但向《边缘》读出了一段他表示是摘录的内容，即OpenAI的数学家写道，该措辞原本是希望提及该集合中的其他结果。“这一措辞并不意味着在这个问题上没有进展，”他表示，电子邮件中这样写道。“我们完全同意这个论点在很大程度上依赖于你的工作。”这位数学家补充说，他们将要求修改声明的措辞。OpenAI发言人劳伦斯·福科内特向《边缘》证实，该帖子后来进行了更新。“我们更新了措辞，以更好地反映这些结果所依赖的先前研究。尽管非索菲克群是否存在的问题已悬而未决数十年，但我们的索菲克群证明依赖于最近发表的重要数学工作，我们希望确保这些贡献得到适当的认可。”昆表示，他想知道其他结果中是否也可能出现类似的疏漏，而这些结果超出了他的专业领域。