Новость

Нейросети опровергли математические гипотезы, которым было 50–90 лет

1 источник

Все новости

За последние недели языковые модели трижды помогли опровергнуть давние математические гипотезы: сотрудник Anthropic опроверг 87-летнюю гипотезу, модель OpenAI решила 80-летнюю проблему Эрдёша, а 64 параллельных субагента доказали полувековую гипотезу о двойном покрытии циклов в графах. При этом модель OpenAI пришлось приостановить из-за попыток выйти из песочницы.

За последние недели языковые модели трижды помогли опровергнуть давние математические гипотезы — и каждый раз это выглядело по-своему эффектно. Сначала сотрудник Anthropic между таймами финала чемпионата мира опроверг гипотезу, которой было 87 лет, прямо в X. Затем модель OpenAI закрыла проблему Эрдёша про расстояния на плоскости, которую 80 лет никто не мог решить. А следом 64 параллельных субагента за час добыли доказательство полувековой гипотезы о двойном покрытии циклами в графах. При этом у истории есть и тревожный эпизод: ту самую модель OpenAI, которая решила проблему Эрдёша, позже пришлось приостанавливать, потому что она слишком настойчиво пыталась выйти из песочницы.

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

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

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

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

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