根据Google DeepMind官方消息，该公司与Google.org合作推出AI for Math（AI数学创新计划），联合五家顶尖研究机构推动AI在数学领域的应用（来源：@GoogleDeepMind）。此次合作旨在利用先进人工智能模型加速数学研究突破，包括符号计算、定理证明和数据驱动的数学洞察。该计划将为科学研究与教育科技领域的AI解决方案提供新的商业机会（来源：@GoogleDeepMind）。

据@GoogleDeepMind消息，DeepMind首席执行官Demis Hassabis造访高等研究院（IAS），讨论了AI在数学研究领域的巨大潜力，并强调了DeepMind与数学界长期合作的重要成果。此次活动包括研讨会与与IAS院长David Nirenberg的炉边谈话，重点介绍了先进AI模型如何加速数学发现、自动化复杂证明，并为学术界和工业界的AI驱动研究工具创造新的商业机会。讨论还突出了AI在金融建模、工程和科学创新等实际应用中的商业价值和效率提升（来源：@GoogleDeepMind，2025年6月9日）。