FrontierMath

人类数学家终于迎来了自己的“超级队友”。谷歌云首席科学家、DeepMind研究副总裁Pushmeet Kohli今日正式宣布推出 AI Co-Mathematician——一套专为数学研究设计的层级式多智能体协作系统。 性能有多强？ 在Epoch AI组织的FrontierMath Tier 4基准测试中（该测试包含50道由教授和博士后专门设计的“短期科研项…

数学界著名的“悬案簿”——Kourovka Notebook，如今迎来了AI的突破性进展。 群论领域一个困扰学界数十年的问题（第21.10号），被牛津大学数学家 Marc Lackenby 借助谷歌的新系统成功攻克。 有趣的是，AI首次提供的证明是错误的，但系统中的审查Agent敏锐地发现了其中的漏洞。 Lackenby在发现这个问题后，瞬间意识到：“等等，…