Что произошло
10 июля OpenAI анонсировала, что их новая модель GPT-5.6 Sol Ultra смогла найти доказательство одной из самых известных математических гипотез — гипотезы о двойном покрытии циклами. Эта задача в области теории графов оставалась нерешенной на протяжении почти полувека. По словам представителей компании, процесс доказательства занял меньше часа и использовал 64 параллельных сабагента.
Почему это важно
Если доказательство окажется верным, это станет значительным прорывом не только в математике, но и в области искусственного интеллекта. Успех модели может изменить представление о том, что ИИ способен решать сложные задачи, которые раньше считались прерогативой только человеческого интеллекта. Это также поднимет вопросы о том, как можно использовать такие модели для решения других математических и научных проблем.
Контекст
Гипотеза о двойном покрытии циклами была сформулирована в 1970-х годах и с тех пор привлекала внимание многих математиков. Эта задача касается графов и их свойств, а решение подобных вопросов имеет большое значение для различных областей науки и технологий, от компьютерных систем до сложных сетевых структур. Запуск новой модели GPT-5.6 стал значимым событием в мире ИИ, и её достижения вызывают большой интерес.
Что это значит
На данном этапе доказательство, предоставленное GPT-5.6, должно пройти проверку математическим сообществом. Это означает, что, хотя ИИ может генерировать новые идеи и подходы, окончательное подтверждение истинности этих идей всё же зависит от людей. Тем не менее, сам факт, что ИИ может предложить решение такой сложной проблемы, открывает новые горизонты для исследований и применения ИИ в науке. Это также поднимает важные вопросы о надежности и методах, которые используются для проверки результатов, предложенных искусственным интеллектом.
