Новые свершения на полях 🤖ИИ
OpenAI заявила о решении проблемы Навье — Стокса (или украла его у ученого)
Компания объявила, что её невыпущенная внутренняя ИИ-модель совместно с примерно 10 тыс. параллельно работающих AI-агентов 💪🏻за 88 часов сгенерировала доказательство проблемы существования и гладкости решений уравнений Навье — Стокса.
Почему это важно?
🤔Уравнения Навье — Стокса описывают движение жидкостей и газов и лежат в основе аэродинамики, прогнозирования погоды и моделирования кровотока.
Вопрос о том, может ли гладкое течение со временем породить «сингулярность» 🤫(точку с бесконечной скоростью), оставался открытым около 90 лет и входит в список семи «Проблем тысячелетия» Института Клэя с призом 🤤$1 млн.
OpenAI выбрала направление C/D (доказательство возможности сингулярности) и подтвердила вывод с помощью формальной верификации на языке Lean.
Но не тут-то было...🤩
Анонс OpenAI совпал с публикацией результатов математика Тристана Бакмастера из Нью-Йоркского университета, 🥲который ранее работал над смежной задачей.
Бакмастер обвинил OpenAI в том, что компания использовала его неопубликованные черновики, загруженные в инструмент Codex (это вам в копилку про работу с чувствительными данными с облачной моделькой), и 🧐пошла по «его» исследовательскому пути.
Независимая проверка и разрешение спора о приоритете определят, 🥸станет ли это событие поворотным моментом в применении ИИ к фундаментальной науке.
А вам предлагаю ознакомиться с мнением 😎отечественных ученых и разборе этой спорной ситуации - в статье
OpenAI заявила о решении проблемы Навье — Стокса (или украла его у ученого)
Компания объявила, что её невыпущенная внутренняя ИИ-модель совместно с примерно 10 тыс. параллельно работающих AI-агентов 💪🏻за 88 часов сгенерировала доказательство проблемы существования и гладкости решений уравнений Навье — Стокса.
Почему это важно?
🤔Уравнения Навье — Стокса описывают движение жидкостей и газов и лежат в основе аэродинамики, прогнозирования погоды и моделирования кровотока.
Вопрос о том, может ли гладкое течение со временем породить «сингулярность» 🤫(точку с бесконечной скоростью), оставался открытым около 90 лет и входит в список семи «Проблем тысячелетия» Института Клэя с призом 🤤$1 млн.
OpenAI выбрала направление C/D (доказательство возможности сингулярности) и подтвердила вывод с помощью формальной верификации на языке Lean.
Но не тут-то было...🤩
Анонс OpenAI совпал с публикацией результатов математика Тристана Бакмастера из Нью-Йоркского университета, 🥲который ранее работал над смежной задачей.
Бакмастер обвинил OpenAI в том, что компания использовала его неопубликованные черновики, загруженные в инструмент Codex (это вам в копилку про работу с чувствительными данными с облачной моделькой), и 🧐пошла по «его» исследовательскому пути.
Независимая проверка и разрешение спора о приоритете определят, 🥸станет ли это событие поворотным моментом в применении ИИ к фундаментальной науке.
А вам предлагаю ознакомиться с мнением 😎отечественных ученых и разборе этой спорной ситуации - в статье