主要证据
- Towards Autonomous Mathematics ResearchS1 · 主要研究来源 · 论文 · 2026-02-10
- Accelerating Mathematical and Scientific Discovery with Gemini Deep ThinkS2 · 官方机构来源 · 官方公告 · 2026-02-11
Aletheia 将 Deep Think 从奥赛解题推进到研究级数学
Aletheia 将高级 Gemini Deep Think 模型与迭代验证、修订及密集工具使用结合，面向需要文献导航和长证明链的研究环境。作者还明确区分不同自主性与新颖性层级，而非把所有 AI 辅助结果视为同一种贡献。
发生了什么？
Aletheia 论文报告了多种自主程度的 AI 数学研究，包括关于 eigenweight 结构常数的 AI 生成论文、人机协作结果，以及对 Bloom 的 Erdős 猜想数据库中 700 个开放问题的半自主评测，其中包含对 4 个开放问题的自主解答。
为什么重要？
该工作标志着公开 AI4Math 前沿从竞赛表现转向持续科研工作流，并把贡献归属、自主程度与验证问题纳入系统层面的讨论。
重要性说明：Aletheia 被提出为端到端数学研究 Agent，可迭代生成、验证并修订长程自然语言解答；论文报告其应用范围从博士层次习题延伸到新的研究结果与开放问题。
历史脉络
证据与状态一览
- 重要性
- H2 · 领域里程碑
- 验证状态
- 论文已发布
- 证据等级
- E2 · 研究记录
- AI 角色
- AI 主导、人类核验
- 形式保障
- 无形式保障
贡献与验证
- 数学新颖性
- 新结果
- 接口
- 非形式化, 混合
- AI 贡献
- Aletheia 借助工具生成、检查并修订候选研究解答；论文中的案例从高度自主运行到与专家数学家的紧密协作不等。
- 人类贡献
- 研究者构建 Agent 与验证循环、选择并整理研究任务、在需要时提供专家指导，并评估所报告结果的新颖性与数学正确性。
- 验证状态
- 论文已发布 · E2 · 研究记录 · 无形式保障
- 最后审阅
- 2026-09-11
技术细节
- 系统
- aletheia, gemini-deep-think
- 机构
- google-deepmind
- 数学问题
- erdos-conjectures-database, research-level-mathematics
- 方法
- research-agent, inference-time-scaling, iterative-verification, tool-use, natural-language-proof
全部来源与工件
- Towards Autonomous Mathematics ResearchS1 · 主要研究来源 · 论文 · 访问于 2026-09-10
- Accelerating Mathematical and Scientific Discovery with Gemini Deep ThinkS2 · 官方机构来源 · 官方公告 · 访问于 2026-09-10
验证历史
- 2026-02-10 · 论文已发布 · E2 · 研究记录
研究论文公开了 Agent 设计、评测，以及多种自主程度的研究案例。
- 2026-02-11 · 论文已发布 · E2 · 研究记录
Google DeepMind 发布机构介绍，说明研究级数学计划与 Aletheia。
更正
当前没有记录的更正。