AI数学的又一次重要胜利: Claude用11天形式化费马大定理

摘要

社交媒体帖文称，Claude 用 11 天完成了费马大定理的形式化，并称这是 AI 在数学上的又一次重要胜利。帖文推测，AI 现在或许终于能够自动化完成将人类高等数学转化为软件可逐行检查的证明这一极其费力的工作；帖文未给出方法、验证程序、论文或数据集等进一步技术细节。