Le lauréat de la Médaille Fields 2026 et professeur à l'Université de Chicago, Deng Yu, a révélé qu'il utilise des outils d'assistance par IA dans ses rech...
Le lauréat de la Médaille Fields 2026 et professeur à l'Université de Chicago, Deng Yu, a révélé
qu'il utilise des outils d'assistance par IA dans ses recherches mathématiques. GPT a aidé à résoudre un cas particulier en mathématiques qui n'avait pas pu être percé pendant plusieurs jours consécutifs. Deng Yu a indiqué que l'IA a considérablement facilité de nombreux aspects de la recherche, pouvant compléter des connaissances inconnues ou fournir des démonstrations simples, mais la démonstration de ce cas particulier ne peut pas être généralisée à des situations générales et n'a pas été incluse dans la version finale de l'article. Il a souligné que l'IA ne peut pas remplacer le jugement indépendant et la vérification rigoureuse, en particulier pour les étudiants qui viennent d'entrer dans la recherche scientifique.
7 月 24 日，2026 年菲尔兹奖得主、芝加哥大学教授邓煜近日在接受采访时透露， 他在数学研究中会使用 AI 辅助工具， GPT 曾帮助解决一个连续几天未能突破的数学特例。
邓煜表示，他使用 AI 的感受是“已经让很多研究环节方便了不少”。对于一些基本确定为真的简单结论，他会让 AI 给出证明后再进行检查；AI 有时也能补充他不知道的知识，例如某个组合计数问题所对应的已有结构或标准结论。
邓煜透露，在近期一项工作中，有一个主要命题的特殊情形，他连续几天没有解决，GPT 给出了一个非常简单的证明，很快处理了那个特例。虽然该证明无法推广到一般情形，未写入最终论文，但提供了有价值的思路。
邓煜表示， AI 即使不能直接完成最终证明，也可能帮助研究者迅速探索局部路线 。他期待未来出现一种更成熟的协作方式：人类研究者负责总体框架和核心思路，AI 帮助完成部分技术性推导。但他也强调，对刚进入科研的学生而言，使用时仍要保持判断力，“ 不能因为 AI 给出了一段看似完整的论证，就跳过独立判断和严格核验这些必要的步骤” 。
Aioga 编辑摘要：2026 年菲尔兹奖得主、芝加哥大学教授邓煜透露，他在数学研究中会使用 AI 辅助工具，GPT 曾帮助解决一个连续几天未能突破的数学特例。 Aioga 将其归入「技巧观点」方向，重点关注它对真实使用和行业竞争的影响。
背景分析：实践类内容的价值在于是否能被复现、是否有明确边界，以及它能否转化为稳定的开发或工作流方法。
Aioga 判断：这条动态更适合作为行业观察信号，当前信息足以建立线索，但不足以推导长期结论。
影响分析：对相关团队而言，短期应先核对来源、可用范围和实际成本，再判断是否值得接入或跟进。 后续观察：继续观察示例是否可复现、工具版本变化、社区反馈和实际成本。
La source fournit un titre, un résumé, une attribution et un lien original. Aioga ne republie pas l’article intégral.
Canal de collecte: RSS · Domaine source: ithome.com
Source: IT之家（RSS）
Lien original: Ouvrir la source
Archive Aioga: Ouvrir la page de veille
Content record: source-page · Updated: 2026-07-24T10:38:38.000Z
统一接入主流 AI 模型 API，为开发、测试与生产环境提供稳定调用入口。
立即访问 api.w173.com
Scan to open this articleAioga agrège l’actualité mondiale de l’IA et conserve les sources pour vérification et citation.