Лауреат Филдсовской премии 2026 года, профессор Чикагского университета Дэн Ю рассказал, что он использует инструменты с поддержкой ИИ в математических исс...
技巧观点IT之家(RSS)
Ежедневный обзор ИИ
Лауреат Филдсовской премии 2026 года, профессор Чикагского университета Дэн Ю рассказал, что он
использует инструменты с поддержкой ИИ в математических исследованиях, и GPT помог ему решить математический частный случай, который в течение нескольких дней не удавалось преодолеть. Дэн Ю отметил, что ИИ значительно облегчает многие этапы исследований, может дополнить неизвестные знания или предоставить простое доказательство, однако доказательство этого частного случая не может быть распространено на общую ситуацию и не было включено в итоговую статью. Он подчеркнул, что ИИ не может заменить независимую оценку и строгую проверку, особенно для студентов, только начинающих научную работу.
Фрагмент оригинальной статьи
7 月 24 日,2026 年菲尔兹奖得主、芝加哥大学教授邓煜近日在接受采访时透露, 他在数学研究中会使用 AI 辅助工具, GPT 曾帮助解决一个连续几天未能突破的数学特例。
邓煜表示,他使用 AI 的感受是“已经让很多研究环节方便了不少”。对于一些基本确定为真的简单结论,他会让 AI 给出证明后再进行检查;AI 有时也能补充他不知道的知识,例如某个组合计数问题所对应的已有结构或标准结论。
邓煜表示, AI 即使不能直接完成最终证明,也可能帮助研究者迅速探索局部路线 。他期待未来出现一种更成熟的协作方式:人类研究者负责总体框架和核心思路,AI 帮助完成部分技术性推导。但他也强调,对刚进入科研的学生而言,使用时仍要保持判断力,“ 不能因为 AI 给出了一段看似完整的论证,就跳过独立判断和严格核验这些必要的步骤” 。
情报判断
Aioga 编辑摘要
Aioga 编辑摘要:2026 年菲尔兹奖得主、芝加哥大学教授邓煜透露,他在数学研究中会使用 AI 辅助工具,GPT 曾帮助解决一个连续几天未能突破的数学特例。 Aioga 将其归入「技巧观点」方向,重点关注它对真实使用和行业竞争的影响。
Лауреат Филдсовской премии 2026 года, профессор Чикагского университета Дэн Ю рассказал, что он использует инструменты с поддержкой ИИ в математических исс...