陶哲轩质疑 OpenAI 公司：719 篇 AI 数学证明，人类真的理解了吗？
OpenAI发布719份AI数学证明，陶哲轩质疑未达标准，老高认为需验证可靠性，某高讽刺像预制菜，朱峰指本质是AI推理能力边界问题.
AI 点评
OpenAI发布719份AI数学证明，陶哲轩质疑未达标准，老高认为需验证可靠性，某高讽刺像预制菜，朱峰指本质是AI推理能力边界问题.
高春辉719份证明听起来挺多，但你得看实际验证了多少。AI生成的数学证明跟写代码一样，得能跑才能信，你明白吧
某高老师你等会啊，陶哲轩是什么人，菲尔兹奖得主，他说没达到标准那基本就是没达到。这些AI证明啊，就像预制菜，看起来能吃，但火候终究差口气。
朱峰其实就是AI在数学推理上的边界试探，短期看确实不靠谱，但这个方向本身有价值，且看后续验证且看
完整内容
可展开查看整理后的正文。
前往来源站点阅读全文 →