Science Magazine News· Celina Zhao·· 7 天前AI 评分30
AI 正在撼动数学界，但它的证明值得信任吗？
AI is shaking up math. But can its proofs be trusted?
AI 导读
随着 AI 公司不断推出数学突破，研究人员对使用 Lean 软件作为证明检查器提出了质疑。这一争议引发了学界对 AI 生成的数学证明究竟是否值得信任的讨论。
来源：Science Magazine News · science.org
AI is shaking up math. But can its proofs be trusted?
随着 AI 公司不断推出数学突破，研究人员对使用 Lean 软件作为证明检查器提出了质疑。这一争议引发了学界对 AI 生成的数学证明究竟是否值得信任的讨论。
来源：Science Magazine News · science.org