据Lex Fridman（@lexfridman）在推特上发布的信息，他与著名数学家田瑞斯·陶（Terence Tao）深入探讨了人工智能在解决数学与物理难题中的新角色。陶指出，AI能够自动化复杂计算、提出新猜想和分析大数据，这加速了数学研究与难题攻关。两人讨论强调了AI在理论研究中的实际应用，并认为未来AI工具将在学术及产业界带来突破性进展（来源：Lex Fridman推特，2025年6月14日）。

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