OpenAI CEO奥特曼：数学家已从“我们完了”转向接受AI

山姆·奥特曼在斯坦福演讲称，许多数学家对OpenAI进军数学领域的态度，已由“我们完了”的悲观转向接受AI；争议焦点不只是会解题，而是人机协作能否重构证明、评价与学术分工。

AI 点评

山姆·奥特曼在斯坦福演讲称，许多数学家对OpenAI进军数学领域的态度，已由“我们完了”的悲观转向接受AI；争议焦点不只是会解题，而是人机协作能否重构证明、评价与学术分工。

高春辉数学研究吃的是算力、形式化验证和闭环，不是背下定理。OpenAI若接上机器检查，数学家接受正常；只会解题，离科研还远。

某高老师你刚才说闭环，我换个角度：从“完了”到接受，不等于把发现权交给机器，更像产业带新同事。AI试错，人定义问题并承担责任。

朱峰你们俩说的是一回事：AI进数学，关键不是会不会解，而是能否验证。若只有炫技案例，数学家口头接受，使用仍会犹豫，走着瞧吧

可展开查看整理后的正文。