Ну что ж, пришло время для ИИ решить одну из семи математических "проблем тысячелетия" - всего два месяца после того, как в июле математики увидели, как новые топ-модели начинают решать известные открытые проблемы, над которыми работало много первоклассных математиков.

Сегодня OpenAI заявила, что их внутренняя модель (намного более мощная, чем выпущенная на днях Astra, и в формате "рой из 10 тысяч агентов") за несколько дней решила проблему гладкости решений уравнения Навье-Стокса. Эта задача связана с пониманием движения жидкости и особенно турбулентности в ней. Возьмите чашку молока и начните размешивать его ложечкой круговыми движениями. Вы создаете вихри, и ваши вихри в процессе своего кручения закручивают сильнее другие мини-вихри меньшего радиуса в молоке; одновременно вязкость молока ослабляет и гасит эти мини-вихри, и распределяет энергию однородным образом. Верно ли, что теоретически может быть такое, что, пока вы продолжаете помешивать молоко одинаковым образом, и несмотря на сглаживающую вихри вязкость, мини-вихри в молоке будут становиться все тоньше и одновременно быстрее, так что их угловая скорость за конечное время увеличивается неограниченно, стремясь к бесконечности? Такое явление называют "взрыв" (blow-up). Это чисто математический вопрос - физически это невозможно, потому что более тонким, чем одна молекула, вихрь стать не может. Но тем не менее ответ на него влияет на наше понимание турбулентности в жидкости вообще. OpenAI опубликовала полученное AI доказательство, что для любых разумных начальных условий возможно существование "взрывов", таким образом опровергая гипотезу о том, что решения Навье-Стокса должны быть гладкими.

Похоже, вместе с тем, что скандал, связанный с этим открытием, затмевает само открытие. За 12 часов до публикации OpenAI уважаемый математик Тристан Бакмастер опубликовал статьи с частичным прогрессом к той же цели (не доходящим до полного решения), и одновременно обвинил OpenAI в неэтичном поведении. Он рассказал, что весь последний год вместе с другим математиком Левентом Альпёге работал над решением проблемы Навье-Стокса с помощью AI. При этом они делали это по своей частной инициативе, хотя Альпёге работает в конкуретной фирме Anthropic и не раз за последний год анонсировал решение важных открытых проблем с помощью Клода, ИИ от Антропик. Несколько дней назад OpenAI связались с Бакмастером и сообщили (я тут сильно сокращаю), что ввиду слухов о прогрессе в Anthropic над "проблемой тысячелетия" они сформировали отдельную команду, дали ей "безумное количество ИИ-ресурсов", и смогли решить проблему Навье-Стокса; они предложили Бакмастеру соавторство и даже главное авторство в статье о результатах, но только ему, а не Альпёге, сотруднику конкурентов. Самое жесткое обвинение Бакмастера - это что он подозревает, что OpenAI использовали логи общения Бакмастера и Альпёге с ChatGPT (а они использовали как модели Anthropic, так и OpenAI в своем исследовании), чтобы "украсть" то направление, в котором они бились над задачей, подсказать его гораздо более мощной модели с безумным количеством ресурсов, и таким образом обогнать их в гонке к результату (он утверждает, что они выбрали одно из самых мало-перспективных, по общему мнению до того, направлений, и что модель вряд ли выбрала бы его сама по себе). OpenAI ответили на эти обвинения сегодня утром и отрицают, что сознательно смотрели на логи кого-либо для решения этой задачи, хотя не могут в принципе исключить возможность того, что эти логи когда-то раньше, вместе с миллионами других, использовались для тренировки этой самой внутренней модели.

Я воспользуюсь ясным и четким разбором Jaime Sevilla, главой компании EpochAI, в твиттере - он разделил длинный документ Тристана Бакмастера на пять четких обвинений в сторону OpenAI, и под каждым напишу, как на него ответила или не ответила OpenAI сегодня. Это больше, чем вы получите от пересказов этого скандала в прессе. Несомненно, этот скандал еще не закончен, но мне пока этого хватит.
👇