Дмитрий
Фотография
нажмите — покажем
нажмите — покажем
Только ленивый
еще не опубликовал в своём канале про ИИ разбор задачи "Навье-Стокса" - одну из математических задач тысячелетия. А я всё таки ленивый, поэтому разбора не будет, а будет анонс, где вы можете все прочитать)
Вот тут смотрим полную статью на русском без регистрации и смс.
Коротко:
1. с 28 августа OpenAI обучала новую модель, превосходящую по математическим задачам недавно вышедшую GPT-6 Astra;
2. 1 сентября, узнав о возможном решении сразу нескольких Задач тысячелетия, в OpenAI поручили этой модели решение всех открытых проблем института Клэя одновременно;
3. на задачи компания направила около 10000 параллельно работающих и взаимодействующих друг с другом агентов;
4. сначала система справилась с более простой задачей — по уравнениям Эйлера (той самой, что незадолго до этого опубликовали Бакмастер и Альпёге), после чего все ресурсы перебросили на Навье — Стокса;
5. итоговое доказательство потребовало порядка 130 миллиардов токенов и было формализовано в Lean.
🐵 Код нашего разума
2 · 100 ·