ChatGPT обошел математиков, доказав гипотезу 50-летней давности за час

OpenAI сообщила, что новая модель GPT за час доказала гипотезу о двойном покрытии циклов, сформулированную в 1970-х годах в области теории графов.

Для решения задачи генеративная модель задействовала 64 виртуальных AI-ассистента, распределив между ними различные типы алгоритмов и предложив каждому максимально долго искать решение перед тем, как дать ответ или отказаться.

Полученное доказательство сейчас проходит проверку математиками. При этом специалисты уже называют результат серьезным прорывом. По данным Scientific American, предложенное нейросетью доказательство оказалось сравнительно коротким. Эксперты отмечают, что искусственный интеллект не создал принципиально нового метода, а объединил уже известные подходы, добившись более эффективного результата. Также специалисты считают, что подобные системы способны находить решения научных задач, которые долгое время оставались без внимания исследователей.

OpenAI также опубликовала инструкцию, использованную при доказательстве гипотезы. Представленный подход эксперты сравнили с методикой школьного учителя, сочетающей поощрение и строгие указания.