AI 行业资讯 - AlphaProof Nexus

谷歌深度思维AI框架攻克9个厄多斯数学难题

谷歌旗下深度思维团队开发并测试了AI框架AlphaProof Nexus，该系统能自主搜索数学证明并利用Lean等工具验证推理。测试中解决了9个此前未解决的厄多斯问题（其中两个悬而未决超50年），以及《整数数列在线百科全书》492个开放猜想中的44个，相关成果发表于《科学》杂志。