Аннотация:
Помните ранее в этом месяце, когда математики обвинили OpenAI в попытке захватить лидерство и побороться за результаты сверхсложной математической задачи, что вызвало общественный резонанс в компании? По словам людей, знакомых с ходом исследований, дело в том, что OpenAI очень близка к решению еще одной математической задачи в задаче Премии тысячелетия. Задача Премии тысячелетия включает в себя в общей сложности семь известных математических задач, и ранее спорный вопрос о существовании и гладкости уравнения Навье-Стокса является одной из них.
Источник сообщил, что сотрудники компании ожидают, что следующая цель — гипотеза Ходжа — будет доказана в относительно короткий период времени. Гипотеза Ходжа изучает, всегда ли определенные геометрические особенности геометрии, определяемой полиномиальными уравнениями, могут быть описаны более простыми алгебраическими компонентами. Однако OpenAI может потребоваться больше времени, чтобы объявить результаты доказательства. Причина в том, что компания изучает, как сотрудничать с математическим сообществом, чтобы опубликовать результаты соответствующим образом, чтобы избежать нового кризиса в отношениях с общественностью.
Почему OpenAI интересуются этими сложными и сложными математическими задачами? В конце концов, решение таких задач стоит дорого: предварительное доказательство результатов, связанных с уравнением Навье-Стокса, могло стоить миллионы долларов. Источник сообщил, что OpenAI использовал вариант предварительно обученной модели следующего поколения (под кодовым названием «Doug») для завершения этого доказательства.
Некоторые исследователи OpenAI считают, что после разработки программного обеспечения математика — следующая логическая область, которую следует освоить для больших моделей. Эти два поля имеют схожие характеристики: оба требуют пошаговых логических рассуждений, и большинство результатов можно проверить автоматически. Некоторые исследователи даже полагают, что изменения в автоматизации, произошедшие в области разработки программного обеспечения в прошлом году, повторятся и в области математики в ближайшие 6–9 месяцев.
Кроме того, решение сложных математических задач также поможет разработчикам ИИ продвигать автоматизацию исследований в области машинного обучения — машинное обучение само по себе требует большого количества математических вычислений. Этот тип автоматизации является важной частью их цели рекурсивного самосовершенствования (ИИ самостоятельно разрабатывает новый ИИ).
Проверка способности новейших моделей решать математические задачи, которые никогда не были доказаны, также может помочь исследователям оценить уровень прогресса и сложные логические способности моделей. Если модель может решать сложные проблемы, такие как уравнение Навье-Стокса и гипотеза Ходжа, это может означать, что она также способна решать столь же сложные проблемы в других областях, таких как биология и химия.
Кроме того, пока результаты публикуются, не вызывая сильного недовольства среди математиков, такие прорывы могут также создать привлекательные новые вехи для OpenAI и послужить рекламными фишками в гонке за всеобщим суперискусственным интеллектом, что, естественно, выгодно компании.
Комментарии