DeepLearning.AI· DeepLearningAI·· 26 天前AI 评分42
万智能体解纳维方程引争议
10,000 AI agents spent 88 hours tackling Navier-Stokes equations in Lean. The resulting controversy teaches vital lessons to AI developer...
AI 导读
10,000 AI agents spent 88 hours tackling Navier-Stokes equations in Lean. The resulting controversy teaches vital lessons to AI developers. Agents can formalize complex mathematical proofs at massive scale Human evaluation remains essential to interpret why proofs work
来源：DeepLearning.AI · x.com