TGStat
TGStat
Введите текст для поиска
Расширенный поиск каналов
Russian
Язык сайта
Russian
English
Uzbek
Вход на сайт
Каталог
Каталог каналов и чатов
Поиск каналов
Добавить канал/чат
Рейтинги
Рейтинг каналов
Рейтинг чатов
Рейтинг публикаций
Рейтинги брендов и персон
Аналитика
Поиск по публикациям
Мониторинг Telegram
YetAnotherChannel
8 Sep, 23:00
Открыть в Telegram
Поделиться
Пожаловаться
https://openai.com/index/navier-stokes-solution/
On the Navier–Stokes Millennium Prize Problem
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
140
0
0
1
×
