OpenAI 称生成 Navier-Stokes 证明
在 Bloomberg 的这段视频中，MIT 工程教育副院长 Justin Solomon 介绍了纯数学与应用数学界如何应对 AI 的快速进展。他提到，OpenAI 上月宣布已为 Navier-Stokes 问题生成 AI 证明，而这份证明即便对专业数学家来说也难解读。与此同时，LLM 已能代做学生作业，教师仍在艰难适应这一变化。
为什么重要：如果这类 AI 生成的证明能够被验证，数学界就需要正式回应“AI 能否做出原创数学发现”这一问题。
Last month, OpenAI announced that it had produced an AI-generated proof for the Navier-Stokes problem. LLMs used to be bad at counting, but now they are solving math problems that have stumped humans for decades. Meanwhile, at universities, the problem of AI in education continues: Now that LLMs can do a student's homework, teachers are struggling to keep up.
It is clear that AI is very quickly changing how math is taught and how it is practiced by professionals. Justin Solomon, who is the associate dean for engineering education at MIT, gives us a primer on how mathematicians (both pure and applied) are responding to all the advances in AI. He also explains what exactly the Navier-Stokes problem is and why the OpenAI proof is hard for even the pros to parse, what movies get wrong about how mathematicians do their jobs, and how he's changing his pedagogical approach in the age of AI.
(Source: Bloomberg)
这里只有来源提供的摘要，全文请到原站阅读。
阅读原始来源 →前因后果
- AI 的“拒绝机制”为何成为安全的承重墙MIT Technology Review AI · OpenAI
- 好莱坞扎堆上映科技巨头丑闻电影，含 OpenAI 传记片CNET · OpenAI
- 辛顿：人类或仅剩一两年AI监管准备窗口虎嗅 AI · OpenAI
- Proton 创始人：年龄验证等于全民上网查验身份TechRadar · OpenAI
- 英伟达支持的Firmus撤回IPO，AI估值担忧升温Bloomberg Technology · OpenAI
- 微软开源 Agent Framework 智能体框架GitHub Trending · Python · OpenAI