O vencedor da Medalha Fields de 2026 e professor da Universidade de Chicago, Deng Yu, revelou que ele usa ferramentas de auxílio de IA em suas pesquisas ma...
O vencedor da Medalha Fields de 2026 e professor da Universidade de Chicago, Deng Yu, revelou que
ele usa ferramentas de auxílio de IA em suas pesquisas matemáticas, e o GPT ajudou a resolver um caso matemático especial que havia sido impossível de superar por vários dias. Deng Yu afirmou que a IA tornou muitos aspectos da pesquisa muito mais convenientes, podendo complementar conhecimentos desconhecidos ou fornecer provas simples, mas que a prova desse caso especial não pôde ser generalizada para situações gerais e não foi incluída no artigo final. Ele enfatizou que a IA não pode substituir o julgamento independente e a verificação rigorosa, especialmente para estudantes que estão entrando na pesquisa científica.
7 月 24 日，2026 年菲尔兹奖得主、芝加哥大学教授邓煜近日在接受采访时透露， 他在数学研究中会使用 AI 辅助工具， GPT 曾帮助解决一个连续几天未能突破的数学特例。
邓煜表示，他使用 AI 的感受是“已经让很多研究环节方便了不少”。对于一些基本确定为真的简单结论，他会让 AI 给出证明后再进行检查；AI 有时也能补充他不知道的知识，例如某个组合计数问题所对应的已有结构或标准结论。
邓煜透露，在近期一项工作中，有一个主要命题的特殊情形，他连续几天没有解决，GPT 给出了一个非常简单的证明，很快处理了那个特例。虽然该证明无法推广到一般情形，未写入最终论文，但提供了有价值的思路。
邓煜表示， AI 即使不能直接完成最终证明，也可能帮助研究者迅速探索局部路线 。他期待未来出现一种更成熟的协作方式：人类研究者负责总体框架和核心思路，AI 帮助完成部分技术性推导。但他也强调，对刚进入科研的学生而言，使用时仍要保持判断力，“ 不能因为 AI 给出了一段看似完整的论证，就跳过独立判断和严格核验这些必要的步骤” 。
Aioga 编辑摘要：2026 年菲尔兹奖得主、芝加哥大学教授邓煜透露，他在数学研究中会使用 AI 辅助工具，GPT 曾帮助解决一个连续几天未能突破的数学特例。 Aioga 将其归入「技巧观点」方向，重点关注它对真实使用和行业竞争的影响。
背景分析：实践类内容的价值在于是否能被复现、是否有明确边界，以及它能否转化为稳定的开发或工作流方法。
Aioga 判断：这条动态更适合作为行业观察信号，当前信息足以建立线索，但不足以推导长期结论。
影响分析：对相关团队而言，短期应先核对来源、可用范围和实际成本，再判断是否值得接入或跟进。 后续观察：继续观察示例是否可复现、工具版本变化、社区反馈和实际成本。
当前抓取源提供的是标题、摘要、来源和原文入口，不直接搬运完整原文。完整报道请通过下方原文链接前往来源站点查看。
抓取通道: RSS · 原始域名: ithome.com
Fonte: IT之家（RSS）
原文链接: Abrir fonte original
Aioga 归档: 查看情报页
Content record: source-page · Updated: 2026-07-24T10:38:38.000Z
统一接入主流 AI 模型 API，为开发、测试与生产环境提供稳定调用入口。
立即访问 api.w173.com
Scan to open this articleAioga 自动聚合全球 AI 动态，并保留来源信息用于核验与引用。