📌 📄 内容摘要:
@HCPTangHY 在 谷歌AI智能体攻克埃尔德什#1051问题 中发帖
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驱动的自动化数学发现系统正在成为前沿科学探索的标准配置。
────────── 链接信息 ──────────
🔗 论坛链接: linux.do
📎 访问地址: https://linux.do/t/topic/1544763/1
─────────────────────────────
📢 来源：LINUX DO | 标签：#1051问题
