Как и многие другие доказательства, полученные с помощью ИИ, это решение отличается крайней запутанностью: оно настолько объемно и сложно, что человеческому разуму трудно сразу вникнуть в его суть. Чтобы избежать повторения ситуации, которую окрестили «потоком помоев» (slop drop) — когда в октябре OpenAI за один день опубликовала более 700 доказательств, сгенерированных нейросетью, — компания пригласила выдающегося американского физика-теоретика Дэвида Гросса. Он возглавил комитет, который курировал процесс представления доказательства теории Янга — Миллса.
На днях комитет сообщил о ходе работ по оценке результата, полученного с помощью большой языковой модели, сообщает Scientific American. Эксперты подтвердили, что результат OpenAI «доказывает существование чистой теории Янга — Миллса в соответствии с постановками задач, принятыми в физике и математике». Следом был опубликован документ с разъяснением сути доказательства. В нем также приводится подтверждение того, что доказательство прошло формальную верификацию в системе Lean — языке программирования, предназначенном для проверки математических выкладок.
Впрочем, такой подход — «сопровождение» публикации экспертами — противоречит рекомендациям по обеспечению прозрачности, предложенным консультативной группой, которую ранее компания OpenAI сформировала для оценок работ, созданных ИИ. Это вызвало недовольство некоторых математиков, которые усмотрели в подобных действиях излишнее ограничение доступа к научной информации.
Доказательство, представленное OpenAI, касается «проблемы Янга — Миллса» — одной из пяти нерешенных «задач тысячелетия», отобранных Математическим институтом Клэя в 2000 году. Решение проблемы Янга — Миллса может принести большую пользу для науки: оно способно устранить математическую нестрогость, присущую современной физике элементарных частиц.
Эта задача состоит из двух частей. Первая — доказать, что эта теория, лежащая в основе Стандартной модели, «существует» (то есть может быть построена с помощью корректных математических шагов). Вторая часть — более количественная (и значительно более сложная) — заключается в том, чтобы показать, что из уравнений Янга — Миллса вытекает существование фундаментальной физической величины, называемой «массовой щелью» (mass gap).
В конце октября компания OpenAI объявила, что ее модель решила первую часть задачи. Это заявление опередило аналогичную работу, которую другой математик вел совместно с сотрудником компании Anthropic — конкурента OpenAI. Вопрос о массовой щели по-прежнему остается нерешенным.
Документ, подготовленный группой экспертов, оказался слишком кратким, чтобы дать глубокое понимание того, как именно работает доказательство, полученное с помощью БЯМ. Более того, Гросс и его коллеги признали, что сами пока не до конца понимают его суть.
«Мы использовали модель Astra компании OpenAI, чтобы разобраться в предоставленном коде на языке Lean, — написали они. — Мы пока не утверждаем, что полностью понимаем доказательство». Однако теперь, когда доказательство и соответствующий код на языке Lean стали доступны для всестороннего изучения, специалисты в этой области могут задействовать собственные программные агенты, чтобы провести обратный анализ и приступить к детальному разбору предложенного решения.
В сентябре OpenAI заявила, что ее искусственный интеллект впервые в истории решил одну из «задач тысячелетия» — уравнение Навье — Стокса, описывающее движение жидкостей и газов. ИИ доказал, что в определенных условиях математическая модель Навье — Стокса дает сбой, предсказывая бесконечную скорость течения, что невозможно в реальной физике.
