根据Jeff Dean在推特上的消息，数学家Michel van Garrel介绍了谷歌最新的Gemini Deep Think AI模型如何通过与传统人类方法截然不同的创新路径成功证明了一个数学猜想（来源：Jeff Dean，推特，2025年8月1日）。这一突破展示了先进大语言模型在数学发现和自动化推理领域的强大能力，为AI赋能的科研、自动定理证明和知识生成等高附加值业务带来全新机遇。