详细内容或原文请订阅后点击阅览
通过 AI for Math Initiative 加速发现
该倡议汇集了一些世界上最负盛名的研究机构，以开创人工智能在数学研究中的应用。
来源:DeepMind - 新闻与博客数学是宇宙的基础语言，提供了描述从物理定律到复杂的生物学和计算机科学逻辑的一切事物的工具。几个世纪以来，仅靠人类的聪明才智就不断扩大其疆域。在 Google DeepMind，我们相信人工智能可以作为与数学家合作的强大工具，增强创造力并加速发现。
今天，我们将介绍由 Google DeepMind 和 Google.org 支持的 AI for Math Initiative。它汇集了世界上五个最负盛名的研究机构，开创了人工智能在数学研究中的应用。
Google.org首批合作机构是：
- 伦敦帝国学院高等研究院 (IHES) 西蒙斯计算理论研究所 (加州大学伯克利分校) 塔塔基础研究所 (TIFR)
该计划的合作伙伴将致力于实现共同目标，即确定人工智能驱动的洞察力成熟的下一代数学问题，构建基础设施和工具来推动这些进步，并最终加快发现的步伐。
Google 的支持包括来自 Google.org 的资金以及对 Google DeepMind 最先进技术的访问权，例如称为 Gemini Deep Think 的增强推理模式、我们的算法发现代理 AlphaEvolve 以及我们的正式证明完成系统 AlphaProof。该计划将在基础研究和应用人工智能之间建立强大的反馈循环，为更深层次的合作伙伴关系打开大门。
双子座深度思考 阿尔法进化 AlphaProof人工智能和数学的关键时刻
AI for Math 计划是在 AI 推理能力取得显着进步的时期提出的；近几个月来，我们自己的工作取得了快速进展。