Anthropic公司的工程师Jarred Sumner有一天外出慢跑时，短暂停下来在Claude中输入了一些内容。
Sumner要求这个聊天机器人“真正认真地尝试一下”，去解决黎曼猜想（Riemann hypothesis）。这是一个已经困扰数学界167年的数学难题，自提出以来一直没有被数学领域的专家解决。如果能够证明黎曼猜想，将成为数十年来数学领域最重大的突破之一，并可获得100万美元的奖金。
在接下来的一天半时间里，Sumner虽然并非数学家，却基本上扮演了一个“啦啦队长”的角色，不断鼓励Claude继续尝试。他曾在一条消息中写道：“你可以做到。”
Claude最终没有解决黎曼猜想。该猜想试图揭示支配素数分布规律的模式。不过，在一项相关测试中，Claude取得了比此前任何人类都更进一步的进展，这对于解决数学界最著名、最棘手的问题之一而言，是一个具有重要意义的进展。
这只是最新的一起案例。就在不久之前，人工智能甚至还无法正确完成基本的计数练习，而如今却已经在一系列困扰数学家数十年的难题上取得了突破。
“在大约半年的时间里，它从连数数都无法正确完成，发展到能够解决那些我们需要花费数年时间研究的问题。”哥伦比亚大学数学家Henry Yuen表示。
“如果数学的主要目标就是证明定理，那么现在机器似乎已经可以随时完成这些工作，我们很容易就会开始思考：那么我们的意义和作用是什么？”
（素材来自：Claude 智算芯能前沿网综合）
本文由智算芯能前沿网编辑整理，转载请注明出处。