Der Fields-Medaillen-Gewinner 2026 und Professor an der University of Chicago, Yu Deng, hat offenbart, dass er bei der mathematischen Forschung KI-gestützt...
技巧观点IT之家(RSS)
KI-Informationsbrief des Tages
Der Fields-Medaillen-Gewinner 2026 und Professor an der University of Chicago, Yu Deng, hat
offenbart, dass er bei der mathematischen Forschung KI-gestützte Werkzeuge verwendet. GPT habe ihm dabei geholfen, ein mathematisches Spezialproblem zu lösen, das mehrere Tage lang nicht zu überwinden war. Deng erklärte, dass KI viele Forschungsprozesse deutlich erleichtert habe, unbekanntes Wissen ergänzen oder einfache Beweise liefern könne, dieser spezielle Beweis jedoch nicht auf den allgemeinen Fall übertragbar sei und daher nicht in die endgültige Arbeit aufgenommen wurde. Er betonte, dass KI unabhängiges Urteilsvermögen und sorgfältige Überprüfung nicht ersetzen kann, besonders für Studierende, die gerade erst in die Forschung einsteigen.
Originaler Artikelauszug
7 月 24 日,2026 年菲尔兹奖得主、芝加哥大学教授邓煜近日在接受采访时透露, 他在数学研究中会使用 AI 辅助工具, GPT 曾帮助解决一个连续几天未能突破的数学特例。
邓煜表示,他使用 AI 的感受是“已经让很多研究环节方便了不少”。对于一些基本确定为真的简单结论,他会让 AI 给出证明后再进行检查;AI 有时也能补充他不知道的知识,例如某个组合计数问题所对应的已有结构或标准结论。
邓煜表示, AI 即使不能直接完成最终证明,也可能帮助研究者迅速探索局部路线 。他期待未来出现一种更成熟的协作方式:人类研究者负责总体框架和核心思路,AI 帮助完成部分技术性推导。但他也强调,对刚进入科研的学生而言,使用时仍要保持判断力,“ 不能因为 AI 给出了一段看似完整的论证,就跳过独立判断和严格核验这些必要的步骤” 。
情报判断
Aioga 编辑摘要
Aioga 编辑摘要:2026 年菲尔兹奖得主、芝加哥大学教授邓煜透露,他在数学研究中会使用 AI 辅助工具,GPT 曾帮助解决一个连续几天未能突破的数学特例。 Aioga 将其归入「技巧观点」方向,重点关注它对真实使用和行业竞争的影响。
Der Fields-Medaillen-Gewinner 2026 und Professor an der University of Chicago, Yu Deng, hat offenbart, dass er bei der mathematischen Forschung KI-gestützt...