#mathematics

OpenAI称一万个智能体在纳维-斯托克斯方程中找到奇点并经Lean验证。它不会申领克雷奖金，而一场功劳之争随之爆发。