AI资讯新闻榜单内容搜索-AxiomProve

关键词: AI新闻,Carina Hong,AxiomProver,AI数学测试,人工智能,Axiom

在人类满分都罕见的普特南数赛上，AI直接12题全对拿满分。陶哲轩等大佬预言AI已经取得了重要里程碑，再加上GPT-5.2 Pro在数学上强到「离谱」的表现，那种「奇点将近」的直觉，真的压不住了。