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