新闻资讯8

华人女学霸AI Putnam竞赛12题全对

新智元2026-01-10

AI 摘要

24岁华人女学霸Carina Hong打造的AxiomProver在2025 Putnam数学竞赛12题全对获满分，自主Lean证明公开。同时，GPT - 5.2 Pro数学表现惊艳，陶哲轩等认为AI已取得重要里程碑，奇点临近。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

陶哲轩：AI开启数学2.0时代

本文报道菲尔兹奖得主陶哲轩发表《数学2.0》演讲，梳理近期AI接连攻克重大数学难题的进展，提出AI将数学带入证明过剩的新时代，警示人类不能丢失对数学的理解，呼吁人机合作增强认知。

本文带来谷歌新发布Gemini 4 Argon大模型的多场景实测，对比竞品性能价格，验证其物理推理能力，同时曝光该模型现存问题。

本文报道谷歌正式全球上线Gemini 4 Argon，详细说明了开放范围与定价规则，放出大量谷歌内部及合作方的实际应用案例，覆盖多领域，回应了此前对该模型实用性的质疑。

宇树科技创始人王兴兴在2025工博会圆桌论坛上，坦诚反思过去十几年最大错误是对AI不够相信，分享了具身智能、人形机器人领域的核心判断，预判临界点最快一两年到来。