AI数学批量破纪录,审稿人却被逼成侦探:顶会四成论文无法复现
源自160位全网作者
08-29 14:03
精选参考来源
1
AI推翻近80年猜想,数学家却开始缺时间 曾经,一道数学证明,人类要查三年。2026年,一个没有为数学特训的通用模型,推翻了埃尔德什在1946年提出的单位距离猜想。菲尔兹奖得主高尔斯评价:此前,没有任何AI证明接近这个水平。
三个月后,OpenAI又公布十项成果。成果一多,数学家不只要验对错,还要查思路是否原创、有没有遗漏已有研究。陶哲轩把这种局面叫“证明消化不良”。
AI证明一道没人解过的题,你先信机器,还是等数学家点头?
#二十年前的今天 #人工智能 #AI数学 #OpenAI #抖音前沿科技首发计划
2
当AI开始"推翻"猜想:2021–2026年人工智能数学重大进展全景调研
全部
来源
来源
内容由AI生成
0
0
0评论
当前文章无评论,是时候发表评论了
提示信息
取消
确认
评论举报
最新文章
热门文章
已收藏
去我的收藏夹