DeepMind 新 AI 成果登 Science 解出悬 56 年等多道数学难题
6 小时前

DeepMind的AlphaProof Nexus研究成果登上《Science》期刊,成功解决了9项埃尔德什问题(其中2道已悬而未决56年)和44项OEIS整数序列猜想。此外,它还为优化算法找到了新的参数设置,并证明了其有效性。AlphaProof Nexus通过Gemini与证明工具的多轮配合架构,完成了研究级证明。其产出的证明可作为数学家后续研究的起点,推动人类与AI协作创造新知识的模式发展,有望加速人类探索未知的进程。