OpenAI заявила о решении одной из «задач тысячелетия» с помощью внутренней модели ИИ
Внутренняя модель искусственного интеллекта OpenAI решила одну из семи задач тысячелетия — уравнение Навье — Стокса. С таким заявлением выступили в компании, отметив, что новая модель значительно превосходит по возможностям GPT-6 Astra.
Что было представлено
«Мы представляем решение задачи о существовании и гладкости решений уравнений Навье — Стокса — одной из «задач тысячелетия». <…> Мы публикуем как описание самого доказательства, так и его формализацию на языке Lean», — говорится в заявлении.
Уравнения Навье — Стокса описывают движение вязкой жидкости и являются одними из ключевых в математической физике. Их решение считается одной из сложнейших нерешенных задач современной математики.
Реакция научного сообщества
Вместе с тем, математик из Нью-Йоркского университета Тристан Бакмастер заявил, что OpenAI опиралась на результаты его с коллегой работы. Это вызвало вопросы о степени оригинальности представленного доказательства и о том, насколько корректно компания ссылается на чужие исследования. В научных кругах уже начались дискуссии о том, действительно ли ИИ смог создать принципиально новое доказательство или лишь скомпилировал и формализовал уже существующие наработки. Также обсуждается возможность проверки доказательства другими математиками, поскольку задачи тысячелетия считаются решёнными только после официального признания математическим сообществом.
Значение и перспективы
Если заявление OpenAI подтвердится, это станет одним из первых случаев, когда искусственный интеллект самостоятельно решает фундаментальную научную проблему, которая не поддавалась человечеству десятилетиями. Это открывает новые горизонты для использования ИИ в фундаментальной науке, математике и физике. Однако пока научное сообщество скептически относится к заявлению, ожидая публикации полного доказательства и его независимой проверки.
В случае успеха это может изменить подход к решению сложнейших научных задач, ускорив прогресс в областях, которые традиционно считались прерогативой человеческого интеллекта. Эксперты также отмечают, что способность ИИ к формализации доказательств на языке Lean может существенно облегчить проверку сложных математических построений, делая их более прозрачными и доступными для верификации.
Тем временем OpenAI пока не раскрывает подробностей о самой внутренней модели, оставляя открытым вопрос о том, как именно она пришла к решению. Это может стать предметом дальнейших исследований и споров в научном сообществе.
Напомним, что Snickers создал цифровой батончик для искусственного интеллекта.