Модель Anthropic опровергла 87-летнюю математическую гипотезу

Сотрудник Anthropic сообщил в X об опровержении математической гипотезы, существовавшей 87 лет. Это произошло между таймами финала чемпионата мира.

Сотрудник Anthropic сообщил в X об опровержении математической гипотезы, которой было 87 лет. По данным из заметки, это произошло между таймами финала чемпионата мира и стало одним из недавних случаев, когда ИИ помогает решать давние математические задачи.

Источники 1

Модель Anthropic опровергла 87-летнюю математическую гипотезу Habr AI

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

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

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

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

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