谷歌DeepMind的AI赋能数学计划 - 谷歌DeepMind发起“AI赋能数学计划”，集结全球五大顶尖研究机构，旨在利用AI探索数学新领域[1][2] - 合作机构包括伦敦帝国学院、普林斯顿高等研究院、法国高等科学研究所、西蒙斯计算理论研究所和塔塔基础科学研究所[2] - 计划目标为发掘可借助AI获得突破的数学难题、构建相关基础设施与工具，并最终加速科学发现[6] AI在数学领域的近期技术进展 - 搭载Deep Think的Gemini模型在2024年IMO竞赛中达到金牌水平，完美破解5题拿下35分[11] - AlphaEvolve在数学分析、几何学等领域的50个公开难题上，于20%的题目中取得了最优解[14] - AlphaEvolve发明了全新的矩阵乘法方法，例如在4x4矩阵乘法问题上仅需48次标量乘法，打破了长达50年的历史纪录[14][16] 关于AI在数学研究中应用的讨论与建议 - 陶哲轩发起关于如何最佳融入AI、透明披露其作用并缓解风险的讨论[2][23] - 建议论文中对超出基础功能的AI实质性使用进行明确声明[26] - 建议讨论所用AI工具的一般性风险及已采取的缓解措施，例如应对内容虚构、缺乏可复现性等问题[27][28][29][31][32][33] - 强调论文所有作者必须为AI贡献内容承担最终责任[35]