GPT-5.6 Sol доказала 50-летнюю гипотезу о двойном покрытии циклами
Новая модель GPT-5.6 Sol сгенерировала доказательство 50-летней гипотезы о двойном покрытии циклами, что может стать значительным достижением в теории графов.
GPT-5.6 Sol доказала 50-летнюю гипотезу о двойном покрытии циклами
Это одна из самых давних открытых проблем теории графов, сформулированная Дьердем Секерешем в 1973 году.
В ней утверждается, что для любого графа без мостов найдется набор циклов, такой что каждое ребро графа входит ровно в два из этих циклов.
Гипотеза, на самом деле, очень важная, потому что связана, в том числе, с теорией нигде-не-нулевых потоков – центральной темой структурной теории графов. Двойное покрытие пытались доказать много раз, но ни одна из попыток так и не была признана как окончательное решение.
А пару часов назад сотрудник OpenAI заявил, что новая модель GPT-5.6 Sol сгенерировала доказательство этой гипотезы всего за час, используя 64 субагента!
Доказательство выложили, но оно пока не подтверждено математическим сообществом, идут обсуждения. Если его верифицируют, это будет одно из крупнейших и самых значимых ИИ-доказательств на данный момент.
Почему это важно
АналитикаЭто открытие может иметь огромное влияние на развитие теории графов и искусственного интеллекта, открывая новые возможности для исследований в этой области.
Обсудить в сообществе
Делитесь опытом и мыслями с ИИ-разработчиками
Связанные материалы экосистемы
Практические гайды, терминология и агентские скиллы
JSON — структурированные данные для программ, API и AI-агентов
Полное практическое руководство по формату JSON: синтаксические правила, сериализация через parse/stringify, работа с REST API, валидация по JSON Schema и структурированный вывод для ИИ.
Форматы DOCX и XLSX: когда от ИИ требуется полноценный финальный документ
Практическое руководство по созданию и обработке документов DOCX и таблиц XLSX с помощью ИИ: сравнение с Markdown и CSV, промпт-инжиниринг, работа с формулами и автоматизация в коде.
Binance опубликовали расследование кражи $6,3 млрд
Расследование связывает кражу с заражённым Homebrew, фальшивым собеседованием и использованием внутреннего ИИ-инструмента Binance.
Пользователь Reddit объяснил почти четырёхкратный расход недельных лимитов Claude Code
Сравнение токенов за две недели показало, что эффективность использования недельного лимита Claude Code упала в 3,8 раза; вероятные причины — субагенты, рост времени рассуждений и фоновые запросы интерфейса.