谷歌AI框架AlphaProof Nexus攻克两道悬置56年数学难题

OmniTools 5月26日消息，IT之家5月26日消息，谷歌研发的AI推理框架AlphaProof Nexus近期成功证明了两道悬置长达56年的数学难题。该成果标志着AI在形式化数学推理领域取得重要进展。

据悉，该框架结合了强化学习与形式化验证技术，在国际数学奥林匹克（IMO）风格问题库及经典数论难题集上进行了系统性验证。

目前相关技术细节尚未正式发表论文，但部分验证代码已在GitHub开源，支持Coq与Lean两种主流形式化证明助手环境。