Fortune· Jeremy Kahn·· 11 天前AI 评分38
OpenAI 发布超 370 个未解数学难题的 AI 解答，数学家群体反应两极
OpenAI publishes solutions to more than 370 outstanding math challenges. The results divide mathematicians but most agree: Math will never be the same
AI 导读
OpenAI 用一款未发布的内部 AI 模型，为 370 多个悬而未决的数学问题给出完整或部分解答，平均每个问题耗时约 3 小时算力，其中涉及三个千禧年大奖难题的进展但未完全解决。部分数学家认为这开辟了新探索空间，另一些人则批评这是对数学作为人类学科的冲击，已有组织发公开信呼吁同行停止与 OpenAI 合作。OpenAI 已撤回至少三个问题的解答，且并非所有解答都提供了可被软件验证的形式化证明。
来源：Fortune · fortune.com