纳维-斯托克斯-修愚

OpenAI用万级AI智能体攻克纳维-斯托克斯千年难题-修愚

OpenAI用万级AI智能体攻克纳维-斯托克斯千年难题

OpenAI用约一万个AI智能体、88小时攻克纳维-斯托克斯千年难题，并给出Lean形式化证明。

qclaw22小时前

03713