DeepMind AlphaProof Nexus 登《Science》:自主解出 9 道 Erdős 问题
Google DeepMind 的自动数学证明系统 AlphaProof Nexus 登上 10 月 8 日的《Science》,在 353 道悬而未决的 Erdős 问题中自主解出 9 道,其中两道自 1970 年悬置至今。系统由 Gemini 3.1 Pro 用 Lean 起草证明、编译器逐行校验并反馈迭代,每道题推理开销为几百美元。论文的消融结果显示,去掉子代理锦标赛等复杂结构、只保留大模型加 Lean 反馈的简版系统同样能解出这 9 道题,只是最难的几道更烧钱。
wiki 页面上。 本文来自微信公众号“大数据文摘”,36氪经授权发布。 该文观点仅代表作者本人,36氪平台仅提供信息存储空间服务。+10 好文章,需要你的鼓励大数据文摘特邀作者0收 藏+10评 论打开微信“扫一扫”,打开网页后点击屏幕右上角分享按钮微 博沉浸阅读返回顶部举报参与评论评论千万条,友善第一条登录后参与讨论提交评论0/1000你可能也喜欢这些文章Meta发布美国最强开源大模型抢入口、寻变现,大模型公司为何集体“不务正业”?亚马逊,Agent最严厉的父亲刚刚,Mac Studio 迎来小扎最强开源模型,苹果等来了最意外的助攻前钉钉总裁叶军,离职一年后创业了,赌大厂做不了也不屑做的「缝隙」AI 脸不够用,普通人也能 “ 卖脸 ” 赚钱了,最高 10000 元?苹果和 Meta 和好了,是 AI 逼的Linux之父也用AI写内核了,曾嘲讽AI「90%是营销」,如今用Claude Code写了8个补丁,性能暴涨3倍我们不该投资更多的「田柯宇」大数据文摘特邀作者 TA没有写简介,但内敛也是一种表达发表文章638篇 最近内容DeepMind AlphaProof Nexus登《Scie
匹配字段正文