⚡ МОЛНИЯ
GPT-5.6 Sol за час доказала математическую гипотезу, над которой учёные бились более 50 лет
OpenAI
Модель OpenAI GPT-5.6 Sol доказала гипотезу о двойном покрытии циклов, остававшуюся нерешённой более 50 лет. Для этого использовался специальный промпт с 64 параллельными агентами, и решение было получено за час.
OpenAI объявила, что модель GPT-5.6 Sol смогла доказать гипотезу о двойном покрытии циклов (Cycle Double Cover Conjecture), сформулированную в 1970-х годах и относившуюся к теории графов. Ранее математикам удавалось доказать её лишь для отдельных классов графов. Доказательство показывает, что любой граф, удовлетворяющий условиям гипотезы, может быть покрыт не более чем восемью циклами. Для получения результата OpenAI использовала специальный промпт, в котором модели было предложено распределить решение между 64 параллельно работающими агентами и не прекращать поиск в течение не менее восьми часов. Математик Нога Алон из Принстонского университета отметил, что это свидетельство влияния ИИ на математические исследования, а Эндрю Сазерленд из MIT предположил, что подобные случаи могут повторяться, так как LLM способны объединять существующие методы для решения давних гипотез.
- Сокращения
- GPT = Generative Pre-trained Transformer — генеративный предварительно обученный трансформер
- LLM = Large Language Model — большая языковая модель
- MIT = Massachusetts Institute of Technology — Массачусетский технологический институт
Источник: 3DNews —
оригинал