AITNT · AI头条（网页）·· 2 小时前精选AI 评分78
DeepMind 数学 Agent 框架 AlphaProof Nexus 登《Science》，成功求解 9 道埃尔德什难题
AI破解56年数学难题登Science！还是DeepMind讲究，成果交给同行评审
AI 导读
DeepMind 团队研发的数学证明 Agent 框架 AlphaProof Nexus 登上《Science》，成功解决了包括悬而未决 56 年的 Erdős #12 在内的 9 道埃尔德什开放数学问题。
推荐理由
研究展现了将大模型生成与形式化验证编译器形成闭环的方法，为自动化解决离散数学难题提供了工程参考。
来源：AITNT · AI头条（网页） · aitntnews.com