OpenAI представила кандидатное доказательство решения уравнений Навье–Стокса, одной из задач тысячелетия.
Кратко:
- ●OpenAI представила кандидатное доказательство уравнений Навье–Стокса
- ●Использована система из 10 000 ИИ-агентов
- ●Доказательство требует независимой верификации
- ●Вопросы о праве интеллектуальной собственности
OpenAI заявила о решении задачи тысячелетия
OpenAI заявила, что её ИИ предложил кандидатное доказательство решения задачи о существовании и гладкости решений уравнений Навье–Стокса. Это одно из самых сложных математических уравнений, за решение которого Институт Клэя обещает миллион долларов.
Как это было сделано
Для достижения результата OpenAI использовала систему из 10 000 агентов, которые трудились над задачей 88 часов. В процессе было создано около 2,7 миллиона сообщений и 130 миллиардов токенов. Финальную формализацию доказательства провела система GPT‑6 Astra.
Суть доказательства
Суть предложенного решения заключается в конструкции вихря, который ведёт к возникновению сингулярности. Это происходит при сохранении конечной энергии системы, что делает доказательство уникальным и потенциально решающим задачу тысячелетия.
Конфликт и сомнения
В то же время возникла напряжённость с исследователями из NYU и Anthropic, которые работали над схожими проблемами. OpenAI утверждает, что не использовала их данные, однако это не исключает возможного влияния внешней информации. Это поднимает вопросы о границах использования ИИ в научных исследованиях.
Статус доказательства
Хотя OpenAI опубликовала все материалы, включая 166-страничную статью и формализацию в Lean, Институт Клэя пока не признал доказательство официальным. Оно ожидает независимой экспертизы.
Перспективы и вызовы
Решение этой задачи может стать революционным шагом в математике и физике, однако остаются вызовы, связанные с правами на интеллектуальную собственность и этикой использования ИИ.
Частые вопросы
Что такое уравнения Навье–Стокса?
▾
Это система уравнений, описывающая движение вязкой несжимаемой жидкости. Задача тысячелетия — доказать существование и гладкость решений.
Почему это важно для OpenAI?
▾
Решение задач тысячелетия укрепляет позиции OpenAI как лидера в использовании ИИ для решения сложных научных проблем.
Признано ли доказательство официально?
▾
Пока нет. Институт Клэя требует независимой экспертизы для признания доказательства.
