新闻资讯8

17岁高中生用AI破数学界难题

机器之心2026-01-25

AI 摘要

17岁高中生 Enrique 解决埃尔德什第347号问题，获陶哲轩、Jeff Dean 点赞。他借助 AI 工具完成证明，成果获认可，预示数学研究将走向人类与 AI 深度融合新阶段。

关注公众号

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

公众号专辑

Kimi K3 DeepRSI夺国产第一

本文报道Jeff Dean投资的AI初创公司推出DeepRSI新基准，测试大模型递归自我改进能力，设置48小时无网络自主科研挑战，最终Kimi K3拿下国产第一、开源第一，成果引发行业关注。

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

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

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