1月29日，谷歌DeepMind研发的数学研究智能体Aletheia（由Gemini Deep Think驱动）与凯文·巴雷托（Kevin Barreto）等五位人类数学家合作，成功证明了埃尔德什第1051号问题Erdős problem #1051。这一由保罗·埃尔德什和罗纳德·格雷厄姆于1980年提出的关于快速收敛级数无理性的著名猜想。本次突破不仅解决了具体的数学问题，更展示了人工智能从辅助工具向独立研究者转变的潜力。 
 [image] 
 [image] 

在本月18日，OpenAI的GPT-5.2 Pro模型刚刚成功解出了埃尔德什第281号问题。 45年数论猜想被GPT-5.2 Pro独立完成证明 - 前沿快讯 - LINUX DO 随着不同架构的智能体相继在数论、组合数学等高度抽象的领域取得实质性进展，AI驱动的自动化数学发现系统正在成为前沿科学探索的标准配置。