参考消息网8月9日报道　据英国《新科学家》周刊网站8月3日报道，开放人工智能研究中心（OpenAI）对外披露了其原型人工智能（AI）模型Astra推导出的10道长期悬而未决的数学难题的解答。这项宣布是AI在数学领域所取得一系列发现中的最新一例，这些发现可望颠覆人类对数学的认知。

  今年5月，OpenAI一款模型破解了匈牙利数学家保罗·埃尔德什几十年前提出的一项猜想，在数学界引发巨大反响。7月，Anthropic公司的Claude Fable 5模型找出了存在近一个世纪的雅可比猜想的反例。近几个月里已经涌现出数百项由AI主导的数学发现。

  OpenAI最新给出的这批解答涵盖了从球体在三维以上的空间内能以多大密度堆积到量子博弈论等不同问题。但其中最受关注的是“非索菲克群”的发现。

  最早在1999年被定义的索菲克性是指运算群的一种特性，它能被更小的有限置换群加以近似模拟。你可以把它想象成在无限大棋盘上进行的对弈可以粗略地由在小棋盘上进行的棋局加以模拟。

  迄今为止，人类已知的所有群都具备这种特性，因此数学家猜想所有的可数群都是索菲克群。现在OpenAI发现了推翻这一假设的一个反例。

  这一消息在数学界掀起了进一步热议，数学家们不得不适应所在领域的颠覆性变革。埃隆·马斯克甚至在社交媒体发文称，这是人类到达技术奇点（即AI实现自我优化并以持续加快的速度迈向通用智能的临界点）的证据。

  英国剑桥大学的弗朗西斯科·富尔尼尔-法西奥从2020年开始攻读博士起一直研究索菲克性问题。他表示，倘若当时的AI就已得出这一发现，自己或许早已离开学术圈了。他担心AI企业（尤其是在本案例中）得出解答在多大程度上借助了前人研究成果方面缺乏透明度。

  富尔尼尔-法西奥认为，OpenAI对索菲克性问题的解答严重依赖于曾极大推动这项研究的安德烈亚斯·托姆和加博尔·库恩的论文，他们的研究比此次的反例发现更应得到肯定。

  他说：“概括地讲，这个解答借助了2016年和2019年的两项研究成果，以此为基础向前推进，并采用了某些巧妙的技巧。”他认为，我们永远不会预知人类自己能否找出这一反例，但如果没有前人的研究，AI肯定不可能成功。

  OpenAI最初的公告称，全部10道难题“至少10年以来都未在核心结论方面取得进展”，但在富尔尼尔-法西奥指出这一说法与事实不符后，该公司修改了表述。

  富尔尼尔-法西奥说：“在AI证明其能够独立提出理论之前，人们很难相信它可以独立推导出这一反例。”他指出，迄今为止许多AI数学发现都集中于寻找能够容易和快速验证的反例，而不是提出新理论。

  英国伦敦玛丽王后大学的阿比谢克·萨哈表示，人类数学家此前在高维球体堆积问题上也已取得重要进展，Astra模型只是在前人研究的基础上推导出解答。不过他承认，一次性发布10道难题的解答仍是迄今为止最令人惊叹的AI数学能力展示。

  萨哈说：“这些解答的任何一项都称得上是重要和令人印象深刻的成就。其中一些解答并非寻找反例，有些解答是严谨的数学证明，不过它们都不需要构建大量新理论。相反，你需要以非同寻常的方式很有技巧地把已有研究成果组合在一起，实现以前没人做到过的推导。”

  萨哈对AI模型在数学领域的前景持乐观态度。他说：“在两到三年内，AI可以真正构建足够新颖的理论以攻克某些更深奥的难题，对此我不会感到意外。”

  OpenAI公司尚未回应本网站记者的采访请求。（编译/曹卫国）