ИИ-агенты сообщили о прорыве в математике
Компания OpenAI заявила о заметном достижении своих искусственных интеллектов: по ее словам, агенты смогли решить одну из семи знаменитых "задач тысячелетия".
Эти математические проблемы считаются одними из самых сложных в современной науке, а за решение каждой из них Фонд Клэя назначил премию в миллион долларов. Речь идет о гипотезе Ходжа - фундаментальной задаче алгебраической геометрии.
Она посвящена связи между геометрическими объектами и их алгебраическим описанием.
Несмотря на десятилетия исследований, математикам до сих пор не удалось доказать гипотезу в полном объеме. По утверждению OpenAI, ее ИИ-агенты смогли получить результат, который может стать важным шагом к доказательству.
При этом компания пока не раскрыла все технические детали работы системы и не представила общедоступное доказательство, которое можно было бы независимо проверить.
Что представляют собой "задачи тысячелетия"
В 2000 году Институт Клэя объявил список из семи математических проблем, решение которых способно повлиять на развитие целых научных направлений.
Эти вопросы получили известность как "задачи тысячелетия". Каждая из них требует не просто вычислений, а создания новых методов и глубокого теоретического анализа.
На сегодняшний день полностью решена только одна задача из списка. В 2003 году российский математик Григорий Перельман доказал гипотезу Пуанкаре, описывающую свойства трехмерных пространств.
От предложенной за это награды он отказался. Остальные шесть проблем по-прежнему остаются открытыми. Среди них - гипотеза Римана, задача о существовании и гладкости решений уравнений Навье - Стокса, проблема P и NP, гипотеза Бёрча - Свиннертон-Дайера, гипотеза Ходжа и вопрос о массовом разрыве в теории Янга - Миллса.
Почему заявление вызвало вопросы
Специалисты отмечают, что даже получение убедительного промежуточного результата еще не означает окончательного решения задачи.
Доказательство должно быть изложено в строгой форме, пройти проверку независимых экспертов и выдержать научную критику.
Для подобных проблем особенно важно исключить скрытые предположения и логические пробелы. Кроме того, математическое сообщество пока не получило достаточно информации о том, каким именно образом работали агенты OpenAI. Неясно, создали ли они принципиально новый подход или смогли эффективно объединить уже известные идеи и результаты исследований.
Может быть интересно: Курс лазерной эпиляции подмышек: что влияет на количество сеансов и итоговый результат
Математики заподозрили использование чужих наработок
Ситуацию осложнило заявление двух математиков, которые допустили, что система OpenAI могла опираться на результаты их собственной работы.
По их мнению, сходство между опубликованными компанией выводами и ранее проведенными ими исследованиями может быть слишком заметным, чтобы считать его случайным. Ученые не утверждают однозначно, что компания присвоила их идеи.
Однако они указали на необходимость выяснить, какие материалы использовались при обучении и работе ИИ-агентов.
Вопрос происхождения математических решений имеет большое значение: система могла не самостоятельно вывести новое доказательство, а восстановить или переформулировать сведения, уже присутствовавшие в научных публикациях.
Где проходит граница между открытием и переработкой данных
Для искусственного интеллекта это одна из наиболее сложных этических и научных проблем. Если модель находит решение, опираясь на множество ранее опубликованных текстов, важно понять, добавила ли она собственный вклад или лишь объединила уже существующие знания.
В математике такой вопрос особенно принципиален.
Новая формулировка известного рассуждения может быть полезной, но сама по себе не всегда считается самостоятельным открытием. Поэтому заявления о решении "задачи тысячелетия" должны сопровождаться подробным описанием метода, ссылками на предшествующие работы и возможностью для других ученых воспроизвести результат.
Что будет дальше
Теперь OpenAI предстоит представить полный материал, объясняющий ход рассуждений ИИ-агентов. Если доказательство окажется корректным, его проверят специалисты по алгебраической геометрии и другим связанным областям.
Только после такой экспертизы можно будет говорить о реальном продвижении в решении гипотезы Ходжа.
Пока заявление компании следует воспринимать как предварительное. Оно демонстрирует растущие возможности искусственного интеллекта в сложных научных задачах, но одновременно показывает необходимость прозрачности.
Чем громче заявленный результат, тем важнее раскрыть исходные данные, методику и вклад исследователей, чьи работы могли быть использованы. История с OpenAI может стать значимым тестом не только для математических ИИ-систем, но и для научных стандартов в эпоху генеративных технологий.
Даже если агенты действительно помогли приблизиться к доказательству, окончательную оценку их достижения даст не пресс-релиз компании, а независимая проверка математического сообщества.
Об авторе
