De winnaar van de Fields-medaille van 2026 en professor aan de University of Chicago, Deng Yu, onthulde dat hij AI-hulpmiddelen gebruikt in zijn wiskundig...
技巧观点IT之家(RSS)
Dagelijkse AI-briefing
De winnaar van de Fields-medaille van 2026 en professor aan de University of Chicago, Deng Yu,
onthulde dat hij AI-hulpmiddelen gebruikt in zijn wiskundig onderzoek. GPT heeft ooit geholpen bij het oplossen van een wiskundig specifiek geval dat hij enkele dagen niet kon doorbreken. Deng Yu verklaarde dat AI veel onderzoekstaken aanzienlijk heeft vergemakkelijkt, onbekende kennis kan aanvullen of eenvoudige bewijzen kan leveren, maar dat dit specifieke bewijs niet kan worden uitgebreid naar algemene gevallen en daarom niet in het uiteindelijke artikel is opgenomen. Hij benadrukte dat AI onafhankelijke oordeelsvorming en strikte verificatie niet kan vervangen, vooral voor studenten die net beginnen met onderzoek.
Fragment uit het originele artikel
7 月 24 日,2026 年菲尔兹奖得主、芝加哥大学教授邓煜近日在接受采访时透露, 他在数学研究中会使用 AI 辅助工具, GPT 曾帮助解决一个连续几天未能突破的数学特例。
邓煜表示,他使用 AI 的感受是“已经让很多研究环节方便了不少”。对于一些基本确定为真的简单结论,他会让 AI 给出证明后再进行检查;AI 有时也能补充他不知道的知识,例如某个组合计数问题所对应的已有结构或标准结论。
邓煜表示, AI 即使不能直接完成最终证明,也可能帮助研究者迅速探索局部路线 。他期待未来出现一种更成熟的协作方式:人类研究者负责总体框架和核心思路,AI 帮助完成部分技术性推导。但他也强调,对刚进入科研的学生而言,使用时仍要保持判断力,“ 不能因为 AI 给出了一段看似完整的论证,就跳过独立判断和严格核验这些必要的步骤” 。
情报判断
Aioga 编辑摘要
Aioga 编辑摘要:2026 年菲尔兹奖得主、芝加哥大学教授邓煜透露,他在数学研究中会使用 AI 辅助工具,GPT 曾帮助解决一个连续几天未能突破的数学特例。 Aioga 将其归入「技巧观点」方向,重点关注它对真实使用和行业竞争的影响。
De winnaar van de Fields-medaille van 2026 en professor aan de University of Chicago, Deng Yu, onthulde dat hij AI-hulpmiddelen gebruikt in zijn wiskundig...