形式化验证

• AI连破数学世纪难题：费马大定理形式化验证与千禧年难题攻坚

  AI攻克数学难题的进展在9月中旬集中爆发。Anthropic宣布Claude模型用11天时间完成费马大定理的Lean形式化验证，此前人类数学家预估这项工作需要10年；OpenAI宣…

  资讯 8小时前