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 витрачаються майже вчетверо швидше
Користувач Reddit порівняв використання токенів за два тижні та виявив, що на кожен 1% тижневого ліміту Claude Code тепер припадає значно менше вихідних токенів, а основними підозрюваними стали субагенти, тривалість міркувань і фонові запити інтерфейсу.