Deng Yu, the 2026 Fields Medal winner and a professor at the University of Chicago, revealed that he uses AI-assisted tools in his mathematical research. G...
Deng Yu, the 2026 Fields Medal winner and a professor at the University of Chicago, revealed that he
uses AI-assisted tools in his mathematical research. GPT once helped solve a mathematical special case that had remained unresolved for several days. Deng Yu stated that AI has made many aspects of research much more convenient, capable of supplementing unknown knowledge or providing simple proofs. However, the proof of this special case could not be generalized to the general situation and was not included in the final paper. He emphasized that AI cannot replace independent judgment and rigorous verification, especially for students who have just entered scientific research.
7 月 24 日，2026 年菲尔兹奖得主、芝加哥大学教授邓煜近日在接受采访时透露， 他在数学研究中会使用 AI 辅助工具， GPT 曾帮助解决一个连续几天未能突破的数学特例。
邓煜表示，他使用 AI 的感受是“已经让很多研究环节方便了不少”。对于一些基本确定为真的简单结论，他会让 AI 给出证明后再进行检查；AI 有时也能补充他不知道的知识，例如某个组合计数问题所对应的已有结构或标准结论。
邓煜透露，在近期一项工作中，有一个主要命题的特殊情形，他连续几天没有解决，GPT 给出了一个非常简单的证明，很快处理了那个特例。虽然该证明无法推广到一般情形，未写入最终论文，但提供了有价值的思路。
邓煜表示， AI 即使不能直接完成最终证明，也可能帮助研究者迅速探索局部路线 。他期待未来出现一种更成熟的协作方式：人类研究者负责总体框架和核心思路，AI 帮助完成部分技术性推导。但他也强调，对刚进入科研的学生而言，使用时仍要保持判断力，“ 不能因为 AI 给出了一段看似完整的论证，就跳过独立判断和严格核验这些必要的步骤” 。
Aioga 编辑摘要：2026 年菲尔兹奖得主、芝加哥大学教授邓煜透露，他在数学研究中会使用 AI 辅助工具，GPT 曾帮助解决一个连续几天未能突破的数学特例。 Aioga 将其归入「技巧观点」方向，重点关注它对真实使用和行业竞争的影响。
背景分析：实践类内容的价值在于是否能被复现、是否有明确边界，以及它能否转化为稳定的开发或工作流方法。
Aioga 判断：这条动态更适合作为行业观察信号，当前信息足以建立线索，但不足以推导长期结论。
影响分析：对相关团队而言，短期应先核对来源、可用范围和实际成本，再判断是否值得接入或跟进。 后续观察：继续观察示例是否可复现、工具版本变化、社区反馈和实际成本。
The readable text on this page was extracted from the public source and organized with attribution, publication time and the original link. Copyright remains with the original author and publisher.
Ingestion channel: RSS · Source domain: ithome.com
Source: IT之家（RSS）
Original link: Open original source
Aioga archive: Open intelligence page
Content record: source-page · Updated: 2026-07-24T10:38:38.000Z
统一接入主流 AI 模型 API，为开发、测试与生产环境提供稳定调用入口。
立即访问 api.w173.com
Scan to open this articleAioga aggregates global AI updates and preserves source information for verification and citation.