Гипотезу о двойном покрытии циклами в графах доказали с помощью 64 субагентов

Гипотеза о двойном покрытии циклами в графах, существовавшая около 50 лет, была доказана за час. Для этого использовали 64 параллельных субагента.

Гипотеза о двойном покрытии циклами в графах, возраст которой составлял около 50 лет, была доказана за один час с помощью 64 параллельных субагентов. В заметке это названо третьим случаем за последние недели, когда ИИ помогает опровергать или доказывать давние математические гипотезы.

Источники 1

Гипотезу о двойном покрытии циклами в графах доказали с помощью 64 субагентов Habr AI

Нейронки опрокинули гипотезы, которым было по 50–90 лет. И тут есть нюанс

Любая гипотеза жива ровно до тех пор, пока о ней не спросят языковую модель в правильном настроении. Звучит как шутка. Но за последние недели эта шутка перестала быть шуткой трижды — и каждый раз по-разному эффектно.

1) Сначала чувак из Anthropic между таймами финала ЧМ опроверг гипотезу, которой было 87 лет — прямо в X. 2) Потом модель OpenAI закрыла проблему Эрдёша про расстояния на плоскости, 80 лет никто не мог. 3) А следом — доказательство полувековой гипотезы о двойном покрытии циклами в графах, добытое за час силами 64 параллельных субагентов. Если это совпадение, то очень организованное.

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

#anthropic #математика #openai #левент_альпёге #claude_fable_5 #эрдёш #lean #sqlite | @habr_ai