Математики оспаривают, что OpenAI понимает собственное возможное доказательство задачи Навье — Стокса
Материал подготовлен Sintelligent с помощью ИИ. Опубликовано в SI: . Обновлено: .
Формальная проверка может подтвердить, что доказательство верно, но люди пока не поняли, как именно ИИ к нему пришёл.
По данным The Decoder, OpenAI в начале сентября представила 166-страничное возможное решение задачи Навье — Стокса, заявив, что оно следует подходу испанских математиков Диего Кордобы и Луиса Мартинеса-Сороа. Гонсало Као-Лабора из EPFL возразил: «когда смотришь на детали, это другой подход», сходство только поверхностное. Тристан Бакмастер из Нью-Йоркского университета обвинил OpenAI в опоре на открытые результаты его и Левента Алпёджа из Anthropic; OpenAI это отрицает, проверить это окончательно невозможно. По словам исследователя OpenAI Ноама Брауна, задействовали около 10 000 экземпляров модели на 88 часов (130 млрд токенов), но «никто не знает, какой вклад внёс этот рой агентов». Доказательство записано на языке формальной проверки Lean; Математический институт Клэя проверяет его с момента публикации. В октябре OpenAI, по тем же данным, выложила на GitHub ещё около 400 сгенерированных ИИ доказательств, что вызвало недовольство части математиков.
Источники 1