{"@context":"https://schema.org","@type":"NewsArticle","generatedAt":"2026-07-28T06:20:51.496Z","headline":"菲尔兹奖得主邓煜谈 AI：GPT 已能辅助数学证明，但不能替代独立思考","description":"2026 年菲尔兹奖得主、芝加哥大学教授邓煜透露，他在数学研究中会使用 AI 辅助工具，GPT 曾帮助解决一个连续几天未能突破的数学特例。邓煜表示，AI 已让很多研究环节方便不少，能补充未知知识或给出简单证明，但该特例证明无法推广到一般情形，未写入最终论文。他强调，AI 不能替代独立判断与严格核验，尤其对刚进入科研的学生而言。","url":"https://www.aioga.com/news/cmrytjl3304xcrolgyjnpyvko/","mainEntityOfPage":"https://www.aioga.com/news/cmrytjl3304xcrolgyjnpyvko/","datePublished":"2026-07-24T10:38:38.000Z","dateModified":"2026-07-24T10:38:38.000Z","inLanguage":"zh-CN","publisher":{"@type":"NewsMediaOrganization","name":"Aioga","url":"https://www.aioga.com"},"citation":["https://www.ithome.com/0/981/356.htm","https://aihot.virxact.com/items/cmrytjl3304xcrolgyjnpyvko"],"canonicalUrl":"https://www.aioga.com/news/cmrytjl3304xcrolgyjnpyvko/","directAnswer":{"@type":"Answer","text":"Aioga 编辑摘要：2026 年菲尔兹奖得主、芝加哥大学教授邓煜透露，他在数学研究中会使用 AI 辅助工具，GPT 曾帮助解决一个连续几天未能突破的数学特例。 Aioga 将其归入「技巧观点」方向，重点关注它对真实使用和行业竞争的影响。","url":"https://www.aioga.com/news/cmrytjl3304xcrolgyjnpyvko/","dateCreated":"2026-07-24T10:38:38.000Z","author":{"@type":"Organization","@id":"https://www.aioga.com/authors/aioga-editorial/#editorial-team","name":"Aioga Editorial Team","url":"https://www.aioga.com/authors/aioga-editorial/"}},"evidence":[{"@type":"CreativeWork","name":"IT之家 source article","url":"https://www.ithome.com/0/981/356.htm","datePublished":"2026-07-24T10:38:38.000Z","provider":{"@type":"Organization","name":"IT之家","url":"https://www.ithome.com/0/981/356.htm"}},{"@type":"CreativeWork","name":"AIHot archive record","url":"https://aihot.virxact.com/items/cmrytjl3304xcrolgyjnpyvko","datePublished":"2026-07-24T10:38:38.000Z","provider":{"@type":"Organization","name":"AIHot","url":"https://aihot.virxact.com/items/cmrytjl3304xcrolgyjnpyvko"}}],"aggregationSource":"IT之家（RSS）","originalPublisher":{"name":"IT之家","url":"https://www.ithome.com/0/981/356.htm"},"article":{"id":"cmrytjl3304xcrolgyjnpyvko","slug":"cmrytjl3304xcrolgyjnpyvko","url":"https://www.aioga.com/news/cmrytjl3304xcrolgyjnpyvko/","title":"菲尔兹奖得主邓煜谈 AI：GPT 已能辅助数学证明，但不能替代独立思考","title_en":"菲尔兹奖得主邓煜谈 AI：已能帮助数学证明，但不能替代独立思考","summary":"2026 年菲尔兹奖得主、芝加哥大学教授邓煜透露，他在数学研究中会使用 AI 辅助工具，GPT 曾帮助解决一个连续几天未能突破的数学特例。邓煜表示，AI 已让很多研究环节方便不少，能补充未知知识或给出简单证明，但该特例证明无法推广到一般情形，未写入最终论文。他强调，AI 不能替代独立判断与严格核验，尤其对刚进入科研的学生而言。","source":"IT之家（RSS）","sourceUrl":"https://www.ithome.com/0/981/356.htm","aiHotUrl":"https://aihot.virxact.com/items/cmrytjl3304xcrolgyjnpyvko","publishedAt":"2026-07-24T10:38:38.000Z","category":"技巧观点","score":51,"selected":false,"articleBody":["7 月 24 日，2026 年菲尔兹奖得主、芝加哥大学教授邓煜近日在接受采访时透露， 他在数学研究中会使用 AI 辅助工具， GPT 曾帮助解决一个连续几天未能突破的数学特例。","邓煜表示，他使用 AI 的感受是“已经让很多研究环节方便了不少”。对于一些基本确定为真的简单结论，他会让 AI 给出证明后再进行检查；AI 有时也能补充他不知道的知识，例如某个组合计数问题所对应的已有结构或标准结论。","邓煜透露，在近期一项工作中，有一个主要命题的特殊情形，他连续几天没有解决，GPT 给出了一个非常简单的证明，很快处理了那个特例。虽然该证明无法推广到一般情形，未写入最终论文，但提供了有价值的思路。","邓煜表示， AI 即使不能直接完成最终证明，也可能帮助研究者迅速探索局部路线 。他期待未来出现一种更成熟的协作方式：人类研究者负责总体框架和核心思路，AI 帮助完成部分技术性推导。但他也强调，对刚进入科研的学生而言，使用时仍要保持判断力，“ 不能因为 AI 给出了一段看似完整的论证，就跳过独立判断和严格核验这些必要的步骤” 。"],"articleImages":[{"sourceUrl":"https://img.ithome.com/newsuploadfiles/2026/7/fa6f7efa-3a24-4e40-8544-c2a1e9706296.png?x-bce-process=image/format,f_auto","alt":"","afterParagraph":1,"url":"/media/articles/cmrytjl3304xcrolgyjnpyvko/401ffd1cee0d9d87.png"}],"mediaStatus":"ok","articleBodyZh":[],"translationStatus":"","bodyOrigin":"source-page","editorial":{"summary":"Aioga 编辑摘要：2026 年菲尔兹奖得主、芝加哥大学教授邓煜透露，他在数学研究中会使用 AI 辅助工具，GPT 曾帮助解决一个连续几天未能突破的数学特例。 Aioga 将其归入「技巧观点」方向，重点关注它对真实使用和行业竞争的影响。","background":"背景分析：实践类内容的价值在于是否能被复现、是否有明确边界，以及它能否转化为稳定的开发或工作流方法。","viewpoint":"Aioga 判断：这条动态更适合作为行业观察信号，当前信息足以建立线索，但不足以推导长期结论。","implications":"影响分析：对相关团队而言，短期应先核对来源、可用范围和实际成本，再判断是否值得接入或跟进。","nextStep":"后续观察：继续观察示例是否可复现、工具版本变化、社区反馈和实际成本。","evidenceRefs":["title","summary","articleBody"],"confidence":"medium","status":"published","aiGenerated":false,"autoApproved":true,"generatedBy":"rule-safe-fallback","generatedAt":"2026-07-28T06:29:10.548Z","sourceHash":"af906388e73aaca4","validation":{"passed":true,"mode":"rule-safe-fallback","checks":["schema","length","source-attribution","no-html"]}},"tags":["技巧观点","IT之家（RSS）"],"translations":{"zh-CN":{"title":"菲尔兹奖得主邓煜谈 AI：GPT 已能辅助数学证明，但不能替代独立思考","summary":"2026 年菲尔兹奖得主、芝加哥大学教授邓煜透露，他在数学研究中会使用 AI 辅助工具，GPT 曾帮助解决一个连续几天未能突破的数学特例。邓煜表示，AI 已让很多研究环节方便不少，能补充未知知识或给出简单证明，但该特例证明无法推广到一般情形，未写入最终论文。他强调，AI 不能替代独立判断与严格核验，尤其对刚进入科研的学生而言。","category":"技巧观点","source":"IT之家","aggregationSource":"IT之家（RSS）","pageTitle":"菲尔兹奖得主邓煜谈 AI：GPT 已能辅助数学证明，但不能替代独立思考 - Aioga AI资讯","description":"2026 年菲尔兹奖得主、芝加哥大学教授邓煜透露，他在数学研究中会使用 AI 辅助工具，GPT 曾帮助解决一个连续几天未能突破的数学特例。邓煜表示，AI 已让很多研究环节方便不少，能补充未知知识或给出简单证明，但该特例证明无法推广到一般情形，未写入最终论文。他强调，AI 不能替代独立判断与严格核验，尤其对刚进入科研的学生而言。","url":"https://www.aioga.com/news/cmrytjl3304xcrolgyjnpyvko/"},"en":{"title":"Fields Medalist Deng Yu talks about AI: GPT can now assist with mathematical proofs, but it cannot replace independent thinking","summary":"Deng Yu, the 2026 Fields Medal winner and a professor at the University of Chicago, revealed that he uses AI-assisted tools in his mathematical research. GPT once helped solve a mathematical special case that had remained unresolved for several days. Deng Yu stated that AI has made many aspects of research much more convenient, capable of supplementing unknown knowledge or providing simple proofs. However, the proof of this special case could not be generalized to the general situation and was not included in the final paper. He emphasized that AI cannot replace independent judgment and rigorous verification, especially for students who have just entered scientific research.","category":"Insights","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Fields Medalist Deng Yu talks about AI: GPT can now assist with mathematical proofs, but it cannot replace independent thinking - Aioga AI News","description":"Deng Yu, the 2026 Fields Medal winner and a professor at the University of Chicago, revealed that he uses AI-assisted tools in his mathematical research. GPT once helped solve a ma...","url":"https://www.aioga.com/en/news/cmrytjl3304xcrolgyjnpyvko/","contentTranslated":true,"sourceHash":"3bcac6f84384b388","translatedAt":"2026-07-27T00:22:18.059Z"},"ja":{"title":"フィールズ賞受賞者の鄧煜がAIについて語る：GPTは数学の証明を補助できるが、独立した思考を代替することはできない","summary":"2026年フィールズ賞受賞者でシカゴ大学の教授である邓煜は、数学の研究でAI支援ツールを使用していることを明らかにし、GPTが数日間解決できなかった数学の特例を解決するのに役立ったと述べた。邓煜は、AIは多くの研究過程をかなり便利にし、未知の知識を補ったり簡単な証明を示すことができるが、その特例の証明は一般的な場合に拡張できず、最終的な論文には書き入れなかったと述べた。彼は、AIは独立した判断や厳密な検証に取って代わることはできず、特に研究に入ったばかりの学生にとっては重要だと強調した。","category":"ヒントと視点","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"フィールズ賞受賞者の鄧煜がAIについて語る：GPTは数学の証明を補助できるが、独立した思考を代替することはできない - Aioga AIニュース","description":"2026年フィールズ賞受賞者でシカゴ大学の教授である邓煜は、数学の研究でAI支援ツールを使用していることを明らかにし、GPTが数日間解決できなかった数学の特例を解決するのに役立ったと述べた。邓煜は、AIは多くの研究過程をかなり便利にし、未知の知識を補ったり簡単な証明を示すことができるが、その特例の証明は一般的な場合に拡張できず、最終的な論文には書き入れなかっ...","url":"https://www.aioga.com/ja/news/cmrytjl3304xcrolgyjnpyvko/","contentTranslated":true,"sourceHash":"3bcac6f84384b388","translatedAt":"2026-07-27T00:22:27.161Z"},"ko":{"title":"필즈상 수상자 덩위, AI에 대해 언급: GPT는 이미 수학 증명을 보조할 수 있지만, 독립적인 사고를 대체할 수는 없다","summary":"2026년 필즈상 수상자이자 시카고 대학교 교수인 등욱은 자신의 수학 연구에서 AI 보조 도구를 사용한다고 밝혔다. GPT는 며칠 동안 해결하지 못했던 수학적 특수 사례를 해결하는 데 도움을 준 적이 있다. 등욱은 AI가 많은 연구 과정에서 상당히 편리함을 제공하며, 알려지지 않은 지식을 보충하거나 간단한 증명을 제시할 수 있다고 말했지만, 해당 특수 사례 증명은 일반적인 상황으로 확장할 수 없어 최종 논문에는 포함되지 않았다고 밝혔다. 그는 AI가 독립적인 판단과 철저한 검증을 대체할 수 없으며, 특히 연구를 갓 시작한 학생들에게 그렇다고 강조했다.","category":"인사이트","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"필즈상 수상자 덩위, AI에 대해 언급: GPT는 이미 수학 증명을 보조할 수 있지만, 독립적인 사고를 대체할 수는 없다 - Aioga AI 뉴스","description":"2026년 필즈상 수상자이자 시카고 대학교 교수인 등욱은 자신의 수학 연구에서 AI 보조 도구를 사용한다고 밝혔다. GPT는 며칠 동안 해결하지 못했던 수학적 특수 사례를 해결하는 데 도움을 준 적이 있다. 등욱은 AI가 많은 연구 과정에서 상당히 편리함을 제공하며, 알려지지 않은 지식을 보충하거나 간단한 증명을 제시할...","url":"https://www.aioga.com/ko/news/cmrytjl3304xcrolgyjnpyvko/","contentTranslated":true,"sourceHash":"3bcac6f84384b388","translatedAt":"2026-07-27T00:23:10.104Z"},"es":{"title":"El ganador del Premio Fields, Deng Yu, habla sobre la IA: GPT ya puede ayudar en las demostraciones matemáticas, pero no puede reemplazar el pensamiento independiente","summary":"El galardonado con la Medalla Fields 2026 y profesor de la Universidad de Chicago, Deng Yu, reveló que utiliza herramientas de asistencia de IA en su investigación matemática. GPT lo ayudó a resolver un caso matemático especial que durante varios días no pudo superar. Deng Yu señaló que la IA ha facilitado muchos aspectos de la investigación, puede complementar conocimientos desconocidos o proporcionar demostraciones simples, pero la prueba de ese caso especial no se puede generalizar a situaciones comunes y no se incluyó en el artículo final. Enfatizó que la IA no puede reemplazar el juicio independiente y la verificación rigurosa, especialmente para los estudiantes que recién se inician en la investigación científica.","category":"Ideas","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"El ganador del Premio Fields, Deng Yu, habla sobre la IA: GPT ya puede ayudar en las demostraciones matemáticas, pero no puede reemplazar el pensamiento independiente - Aioga Noticias de IA","description":"El galardonado con la Medalla Fields 2026 y profesor de la Universidad de Chicago, Deng Yu, reveló que utiliza herramientas de asistencia de IA en su investigación matemática. GPT...","url":"https://www.aioga.com/es/news/cmrytjl3304xcrolgyjnpyvko/","contentTranslated":true,"sourceHash":"3bcac6f84384b388","translatedAt":"2026-07-27T00:23:03.976Z"},"fr":{"title":"Le lauréat de la médaille Fields Deng Yu parle de l'IA : GPT peut aider à la démonstration mathématique, mais ne peut pas remplacer la pensée indépendante","summary":"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.","category":"Analyses","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Le lauréat de la médaille Fields Deng Yu parle de l'IA : GPT peut aider à la démonstration mathématique, mais ne peut pas remplacer la pensée indépendante - Aioga Actualités IA","description":"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...","url":"https://www.aioga.com/fr/news/cmrytjl3304xcrolgyjnpyvko/","contentTranslated":true,"sourceHash":"3bcac6f84384b388","translatedAt":"2026-07-27T00:23:48.084Z"},"de":{"title":"Fields-Preisträger Deng Yu über KI: GPT kann mathematische Beweise unterstützen, aber nicht unabhängiges Denken ersetzen","summary":"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.","category":"技巧观点","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Fields-Preisträger Deng Yu über KI: GPT kann mathematische Beweise unterstützen, aber nicht unabhängiges Denken ersetzen - Aioga KI-News","description":"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. GP...","url":"https://www.aioga.com/de/news/cmrytjl3304xcrolgyjnpyvko/","contentTranslated":true,"sourceHash":"3bcac6f84384b388","translatedAt":"2026-07-27T00:23:50.103Z"},"pt-BR":{"title":"Deng Yu, ganhador do Prêmio Fields, fala sobre IA: GPT já pode auxiliar em provas matemáticas, mas não pode substituir o pensamento independente","summary":"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.","category":"技巧观点","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Deng Yu, ganhador do Prêmio Fields, fala sobre IA: GPT já pode auxiliar em provas matemáticas, mas não pode substituir o pensamento independente - Aioga Notícias de IA","description":"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...","url":"https://www.aioga.com/pt-BR/news/cmrytjl3304xcrolgyjnpyvko/","contentTranslated":true,"sourceHash":"3bcac6f84384b388","translatedAt":"2026-07-27T00:24:30.817Z"},"ru":{"title":"Лауреат Филдсовской премии Дун Ю о ИИ: GPT уже может помогать в математических доказательствах, но не может заменить независимое мышление","summary":"Лауреат Филдсовской премии 2026 года, профессор Чикагского университета Дэн Ю рассказал, что он использует инструменты с поддержкой ИИ в математических исследованиях, и GPT помог ему решить математический частный случай, который в течение нескольких дней не удавалось преодолеть. Дэн Ю отметил, что ИИ значительно облегчает многие этапы исследований, может дополнить неизвестные знания или предоставить простое доказательство, однако доказательство этого частного случая не может быть распространено на общую ситуацию и не было включено в итоговую статью. Он подчеркнул, что ИИ не может заменить независимую оценку и строгую проверку, особенно для студентов, только начинающих научную работу.","category":"技巧观点","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Лауреат Филдсовской премии Дун Ю о ИИ: GPT уже может помогать в математических доказательствах, но не может заменить независимое мышление - Aioga Новости ИИ","description":"Лауреат Филдсовской премии 2026 года, профессор Чикагского университета Дэн Ю рассказал, что он использует инструменты с поддержкой ИИ в математических исследованиях, и GPT помог е...","url":"https://www.aioga.com/ru/news/cmrytjl3304xcrolgyjnpyvko/","contentTranslated":true,"sourceHash":"3bcac6f84384b388","translatedAt":"2026-07-27T00:24:32.954Z"},"ar":{"title":"الفائز بجائزة فيلدز دنغ يو يتحدث عن الذكاء الاصطناعي: لقد أصبح GPT قادرًا على مساعدة الإثباتات الرياضية، لكنه لا يمكن أن يحل محل التفكير المستقل","summary":"كشف دنغ يو، الحائز على جائزة فيلدز لعام 2026 وأستاذ جامعة شيكاغو، أنه يستخدم أدوات مساعدة بالذكاء الاصطناعي في أبحاثه الرياضية، حيث ساعده GPT في حل حالة خاصة في الرياضيات لم يتمكن من تجاوزها لعدة أيام متتالية. وأوضح دنغ يو أن الذكاء الاصطناعي جعل العديد من مراحل البحث أسهل إلى حد كبير، ويمكن أن يكمّل المعرفة المجهولة أو يقدم برهانًا بسيطًا، لكن برهان هذه الحالة الخاصة لا يمكن تعميمه على الحالات العامة ولم يتم تضمينه في الورقة النهائية. وأكد أن الذكاء الاصطناعي لا يمكن أن يحل محل الحكم المستقل والمراجعة الدقيقة، خاصة للطلاب الذين يدخلون مجال البحث العلمي حديثًا.","category":"技巧观点","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"الفائز بجائزة فيلدز دنغ يو يتحدث عن الذكاء الاصطناعي: لقد أصبح GPT قادرًا على مساعدة الإثباتات الرياضية، لكنه لا يمكن أن يحل محل التفكير المستقل - Aioga أخبار الذكاء الاصطناعي","description":"كشف دنغ يو، الحائز على جائزة فيلدز لعام 2026 وأستاذ جامعة شيكاغو، أنه يستخدم أدوات مساعدة بالذكاء الاصطناعي في أبحاثه الرياضية، حيث ساعده GPT في حل حالة خاصة في الرياضيات لم يتمكن...","url":"https://www.aioga.com/ar/news/cmrytjl3304xcrolgyjnpyvko/","contentTranslated":true,"sourceHash":"3bcac6f84384b388","translatedAt":"2026-07-27T00:25:21.028Z"},"hi":{"title":"フィール्ड्स奖 विजेता डेंग यु ने AI के बारे में बताया: GPT अब गणितीय प्रमेय में मदद कर सकता है, लेकिन स्वतंत्र सोच की जगह नहीं ले सकता","summary":"2026 के फील्ड्स पुरस्कार विजेता और शिकागो विश्वविद्यालय के प्रोफेसर डेंग यु ने खुलासा किया कि वे गणितीय अनुसंधान में AI सहायक उपकरण का उपयोग करते हैं, GPT ने एक ऐसे गणितीय विशेष मामले को हल करने में मदद की जिसे कई दिनों तक तोड़ा नहीं जा सका। डेंग यु ने कहा कि AI ने कई अनुसंधान प्रक्रियाओं को काफी आसान बना दिया है, अज्ञात ज्ञान की पूर्ति कर सकता है या सरल प्रमाण दे सकता है, लेकिन उस विशेष मामले का प्रमाण सामान्य परिस्थितियों में लागू नहीं किया जा सकता, और इसे अंतिम शोध पत्र में नहीं लिखा गया। उन्होंने जोर दिया कि AI स्वतंत्र निर्णय और सख्त सत्यापन की जगह नहीं ले सकता, खासकर नए शोधकर्ताओं के लिए।","category":"技巧观点","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"フィール्ड्स奖 विजेता डेंग यु ने AI के बारे में बताया: GPT अब गणितीय प्रमेय में मदद कर सकता है, लेकिन स्वतंत्र सोच की जगह नहीं ले सकता - Aioga AI समाचार","description":"2026 के फील्ड्स पुरस्कार विजेता और शिकागो विश्वविद्यालय के प्रोफेसर डेंग यु ने खुलासा किया कि वे गणितीय अनुसंधान में AI सहायक उपकरण का उपयोग करते हैं, GPT ने एक ऐसे गणितीय विशेष मा...","url":"https://www.aioga.com/hi/news/cmrytjl3304xcrolgyjnpyvko/","contentTranslated":true,"sourceHash":"3bcac6f84384b388","translatedAt":"2026-07-27T00:25:19.452Z"},"it":{"title":"Il vincitore del premio Fields Deng Yu parla di AI: GPT può già assistere nelle dimostrazioni matematiche, ma non può sostituire il pensiero indipendente","summary":"Deng Yu, vincitore del Premio Fields 2026 e professore all'Università di Chicago, ha rivelato che utilizza strumenti di supporto AI nella ricerca matematica. GPT lo ha aiutato a risolvere un caso matematico speciale che non era riuscito a superare per diversi giorni. Deng Yu ha dichiarato che l'AI ha reso molti aspetti della ricerca notevolmente più comodi, può integrare conoscenze sconosciute o fornire dimostrazioni semplici, ma la dimostrazione di quel caso particolare non può essere generalizzata alle situazioni generali e non è stata inclusa nel documento finale. Ha sottolineato che l'AI non può sostituire il giudizio indipendente e la verifica rigorosa, specialmente per gli studenti che si avvicinano per la prima volta alla ricerca.","category":"技巧观点","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Il vincitore del premio Fields Deng Yu parla di AI: GPT può già assistere nelle dimostrazioni matematiche, ma non può sostituire il pensiero indipendente - Aioga Notizie IA","description":"Deng Yu, vincitore del Premio Fields 2026 e professore all'Università di Chicago, ha rivelato che utilizza strumenti di supporto AI nella ricerca matematica. GPT lo ha aiutato a ri...","url":"https://www.aioga.com/it/news/cmrytjl3304xcrolgyjnpyvko/","contentTranslated":true,"sourceHash":"3bcac6f84384b388","translatedAt":"2026-07-27T00:25:58.335Z"},"nl":{"title":"Fieldsprijswinnaar Deng Yu over AI: GPT kan al helpen bij wiskundige bewijzen, maar kan onafhankelijk denken niet vervangen","summary":"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.","category":"技巧观点","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Fieldsprijswinnaar Deng Yu over AI: GPT kan al helpen bij wiskundige bewijzen, maar kan onafhankelijk denken niet vervangen - Aioga AI-nieuws","description":"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...","url":"https://www.aioga.com/nl/news/cmrytjl3304xcrolgyjnpyvko/","contentTranslated":true,"sourceHash":"3bcac6f84384b388","translatedAt":"2026-07-27T00:26:04.536Z"},"tr":{"title":"Fields Ödülü sahibi Deng Yu AI hakkında konuştu: GPT artık matematik kanıtlamada yardımcı olabiliyor, ama bağımsız düşünmenin yerini alamıyor","summary":"2026 Fields Ödülü sahibi ve Chicago Üniversitesi profesörü Deng Yu, matematik araştırmalarında AI destekli araçlar kullandığını açıkladı; GPT, birkaç gün boyunca çözülemeyen bir matematik özel durumunun çözülmesine yardımcı oldu. Deng Yu, AI'nın birçok araştırma sürecini oldukça kolaylaştırdığını, bilinmeyen bilgileri tamamlayabileceğini veya basit kanıtlar sunabileceğini ancak söz konusu özel durum kanıtının genel duruma genellenemediğini ve nihai makaleye dahil edilmediğini belirtti. Ayrıca AI'nın bağımsız yargıyı ve titiz doğrulamayı yerine geçemeyeceğini, özellikle araştırmaya yeni başlayan öğrenciler için bunun çok önemli olduğunu vurguladı.","category":"技巧观点","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Fields Ödülü sahibi Deng Yu AI hakkında konuştu: GPT artık matematik kanıtlamada yardımcı olabiliyor, ama bağımsız düşünmenin yerini alamıyor - Aioga AI Haberleri","description":"2026 Fields Ödülü sahibi ve Chicago Üniversitesi profesörü Deng Yu, matematik araştırmalarında AI destekli araçlar kullandığını açıkladı; GPT, birkaç gün boyunca çözülemeyen bir ma...","url":"https://www.aioga.com/tr/news/cmrytjl3304xcrolgyjnpyvko/","contentTranslated":true,"sourceHash":"3bcac6f84384b388","translatedAt":"2026-07-27T00:26:43.457Z"},"vi":{"title":"Người đoạt giải Fields Đặng Dục nói về AI: GPT đã có thể hỗ trợ chứng minh toán học, nhưng không thể thay thế tư duy độc lập","summary":"Người đoạt giải Fields năm 2026 và giáo sư Đại học Chicago, Đặng Dực, tiết lộ rằng ông sử dụng công cụ hỗ trợ AI trong nghiên cứu toán học, GPT từng giúp giải quyết một trường hợp đặc biệt trong toán học mà ông đã gặp bế tắc suốt vài ngày liền. Đặng Dực cho biết, AI đã làm nhiều khâu nghiên cứu thuận tiện hơn đáng kể, có thể bổ sung kiến thức chưa biết hoặc đưa ra minh chứng đơn giản, nhưng minh chứng cho trường hợp đặc biệt đó không thể áp dụng cho các tình huống chung, nên không được đưa vào bài báo cuối cùng. Ông nhấn mạnh, AI không thể thay thế đánh giá độc lập và kiểm chứng nghiêm ngặt, đặc biệt đối với những sinh viên mới bước vào nghiên cứu khoa học.","category":"技巧观点","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Người đoạt giải Fields Đặng Dục nói về AI: GPT đã có thể hỗ trợ chứng minh toán học, nhưng không thể thay thế tư duy độc lập - Tin tức AI Aioga","description":"Người đoạt giải Fields năm 2026 và giáo sư Đại học Chicago, Đặng Dực, tiết lộ rằng ông sử dụng công cụ hỗ trợ AI trong nghiên cứu toán học, GPT từng giúp giải quyết một trường hợp...","url":"https://www.aioga.com/vi/news/cmrytjl3304xcrolgyjnpyvko/","contentTranslated":true,"sourceHash":"3bcac6f84384b388","translatedAt":"2026-07-27T00:26:42.407Z"},"id":{"title":"Pemenang Hadiah Fields Deng Yu berbicara tentang AI: GPT sudah dapat membantu pembuktian matematis, tetapi tidak bisa menggantikan pemikiran mandiri","summary":"Penerima Hadiah Fields 2026 dan profesor di Universitas Chicago, Deng Yu, mengungkapkan bahwa ia menggunakan alat bantu AI dalam penelitian matematika. GPT pernah membantu memecahkan kasus khusus matematika yang selama beberapa hari berturut-turut tidak bisa ditembus. Deng Yu menyatakan bahwa AI telah mempermudah banyak aspek penelitian, dapat melengkapi pengetahuan yang belum diketahui atau memberikan bukti sederhana, tetapi bukti kasus khusus tersebut tidak dapat diterapkan pada situasi umum dan tidak dimasukkan ke dalam makalah akhir. Ia menekankan bahwa AI tidak dapat menggantikan penilaian independen dan verifikasi yang ketat, terutama bagi mahasiswa yang baru memasuki penelitian ilmiah.","category":"技巧观点","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Pemenang Hadiah Fields Deng Yu berbicara tentang AI: GPT sudah dapat membantu pembuktian matematis, tetapi tidak bisa menggantikan pemikiran mandiri - Berita AI Aioga","description":"Penerima Hadiah Fields 2026 dan profesor di Universitas Chicago, Deng Yu, mengungkapkan bahwa ia menggunakan alat bantu AI dalam penelitian matematika. GPT pernah membantu memecahk...","url":"https://www.aioga.com/id/news/cmrytjl3304xcrolgyjnpyvko/","contentTranslated":true,"sourceHash":"3bcac6f84384b388","translatedAt":"2026-07-27T00:27:27.062Z"},"th":{"title":"ผู้ชนะรางวัลฟีลด์ส ด่งหยู่ กล่าวถึง AI: GPT สามารถช่วยในการพิสูจน์ทางคณิตศาสตร์ได้ แต่ไม่สามารถแทนที่การคิดอย่างอิสระ","summary":"เด้ง หยู่ อาจารย์มหาวิทยาลัยชิคาโก และผู้ได้รับรางวัลฟีลด์สในปี 2026 เปิดเผยว่า เขาใช้เครื่องมือช่วยเหลือ AI ในการทำวิจัยทางคณิตศาสตร์ GPT เคยช่วยแก้ปัญหาพิเศษทางคณิตศาสตร์ซึ่งเขาไม่สามารถผ่านอุปสรรคได้ต่อเนื่องหลายวัน เด้ง หยู่กล่าวว่า AI ทำให้งานวิจัยหลายขั้นตอนสะดวกขึ้นมาก สามารถเติมเต็มความรู้ที่ไม่ทราบหรือให้วิธีพิสูจน์ง่าย ๆ ได้ แต่การพิสูจน์ปัญหาพิเศษนี้ไม่สามารถขยายไปใช้กับกรณีทั่วไป จึงไม่ได้เขียนลงในบทความฉบับสมบูรณ์ เขาเน้นว่า AI ไม่สามารถทดแทนการตัดสินใจด้วยตนเองและการตรวจสอบอย่างเข้มงวดได้ โดยเฉพาะอย่างยิ่งสำหรับนักเรียนที่เพิ่งเข้าวิจัย","category":"技巧观点","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"ผู้ชนะรางวัลฟีลด์ส ด่งหยู่ กล่าวถึง AI: GPT สามารถช่วยในการพิสูจน์ทางคณิตศาสตร์ได้ แต่ไม่สามารถแทนที่การคิดอย่างอิสระ - ข่าว AI Aioga","description":"เด้ง หยู่ อาจารย์มหาวิทยาลัยชิคาโก และผู้ได้รับรางวัลฟีลด์สในปี 2026 เปิดเผยว่า เขาใช้เครื่องมือช่วยเหลือ AI ในการทำวิจัยทางคณิตศาสตร์ GPT เคยช่วยแก้ปัญหาพิเศษทางคณิตศาสตร์ซึ่งเขาไ...","url":"https://www.aioga.com/th/news/cmrytjl3304xcrolgyjnpyvko/","contentTranslated":true,"sourceHash":"3bcac6f84384b388","translatedAt":"2026-07-27T00:27:26.682Z"},"pl":{"title":"Laureat Nagrody Fields, Deng Yu, o AI: GPT może wspomagać dowody matematyczne, ale nie zastąpi samodzielnego myślenia","summary":"Laureat Medalu Fieldsa w 2026 roku, profesor Uniwersytetu Chicagowskiego Deng Yu ujawnił, że w swoich badaniach matematycznych korzysta z narzędzi wspomaganych przez AI. GPT pomogło mu rozwiązać pewien matematyczny przypadek, który od kilku dni nie mógł przełamać. Deng Yu stwierdził, że AI znacznie ułatwiło wiele etapów badań, może uzupełniać nieznaną wiedzę lub podać proste dowody, jednak dowód tego przypadku nie może być rozszerzony na ogólne sytuacje i nie został uwzględniony w ostatecznym artykule. Podkreślił, że AI nie może zastąpić niezależnego osądu ani rygorystycznej weryfikacji, zwłaszcza dla studentów dopiero wchodzących w badania naukowe.","category":"技巧观点","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Laureat Nagrody Fields, Deng Yu, o AI: GPT może wspomagać dowody matematyczne, ale nie zastąpi samodzielnego myślenia - Aioga Wiadomości AI","description":"Laureat Medalu Fieldsa w 2026 roku, profesor Uniwersytetu Chicagowskiego Deng Yu ujawnił, że w swoich badaniach matematycznych korzysta z narzędzi wspomaganych przez AI. GPT pomogł...","url":"https://www.aioga.com/pl/news/cmrytjl3304xcrolgyjnpyvko/","contentTranslated":true,"sourceHash":"3bcac6f84384b388","translatedAt":"2026-07-27T00:28:14.290Z"}}}}