Google DeepMind 发布 Aletheia：从 IMO 级推理推进到自主数学研究，并报告 4 个 Erdős 开放问题的自主解决

Google DeepMind 团队提出 Aletheia，一个由 advanced Gemini Deep Think 驱动、能够反复生成—验证—修订长程自然语言证明并使用搜索/浏览工具的 math research agent。论文报告多个 research-level milestones：一篇关于 arithmetic geometry eigenweights 的论文由 AI 在无人工数学干预下生成；一项 human-AI collaboration 证明 interacting-particle independent-set bounds；以及对 Bloom Erdős Conjectures database 中 700 个开放问题的半自主评估，其中 4 个开放问题被模型自主解决。团队同时提出按 novelty 与 autonomy 分级记录 AI-assisted mathematics。