80+ задач Эрдоша затронуты AI
– математика ускоряется
С января AI-модели внесли вклад в решение более 80 задач из списка Пола Эрдоша. Это не просто экзаменационный тест, это поиск решений теорем, у которых не было решения.
На сайте erdosproblems.com сейчас 1179 задач, из них решено 488 (41%).
На 7 февраля, что сделал AI:
— ~26 задач с полностью AI-решениями
— ~15 — решения нашлись, но потом обнаружились литературные аналоги (то есть AI нашёл это решение
— ~30 — AI улучшил известные частичные решения
— 12 — решены в коллаборации человек + AI
— ~80 доказательств формализованы AI-инструментами в Lean
Ну а мы запомним задачу #728: первую, решённую AI практически автономно. GPT-5.2 справился, Теренс Тао (филдсовский лауреат) верифицировал.
Важный нюанс от Тао: это «lowest hanging fruit» — задачи, решаемые стандартными техниками. Но раньше до них просто не доходили руки.
Казалось бы скрость исследований от AI должна падать по мере исчерпания «низковисящих плодов», но на деле буквально позавчера вышли новые версии основных LLM, то есть всё более высокие плоды оказываются низковисящими.
Источники:
erdosproblems.com
https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems