
OpenAI заявила про розв’язання Navier–Stokes: 10 000 AI-агентів, 130 млрд токенів і суперечка за пріоритет
OpenAI опублікувала доказ для задачі Navier–Stokes і його Lean-формалізацію. Розбираємо 10 000 агентів, 130 млрд токенів, межі заяви та суперечку за науковий пріоритет.




