用 Gemini Deep Think 加速数学与科学发现

Google DeepMind 发布博客，介绍 Gemini Deep Think 在数学、物理和计算机科学专业研究问题上的进展，并公布两篇相关论文。团队构建了由 Deep Think 驱动的数学研究 Agent Aletheia，带有自然语言验证器，可迭代生成、验证和修订解法，并能承认无法求解；随着推理时计算扩展，该模型在 IMO-ProofBench Advanced 上得分最高达 90%。Aletheia 已产出无人工干预的自主研究论文，并在 Bloom 的 Erdős 猜想数据库 700 个开放问题上开展半自主评测，自主解决其中四个开放问题。团队还提出按 AI 贡献程度划分 AI 辅助数学研究的分类法，称目前不主张任何 Level 3 或 Level 4 成果。