🧠 GPT-5.2 Pro «решил» задачу Эрдёша

Исследователь с помощью GPT-5.2 Pro решил знаменитую задачу Эрдёша #281, но вскоре выяснилось, что её решение было известно с 1936 года.

Однако подход модели оказался принципиально новым: ИИ использовал эргодическую теорию — аппарат, не входящий в стандартный арсенал комбинаторики. В отличие от математиков прошлого, смотревших на задачу через покрывающие конгруэнции, нейросеть нашла путь через теорему Биркгофа и максимальное неравенство Харди-Литтлвуда. По словам Теренса Тао, это доказывает, что GPT не воспроизвёл известное доказательство, а пришёл к результату независимо.

Модель также избежала типичных для LLM ошибок при работе с пределами и кванторами, что особенно впечатлило Тао.

#ai_math #gpt5 #erdos #terence_tao #mathematics

🧠 GPT-5.2 Pro «решил» задачу Эрдёша
Исследователь с помощью GPT-5.2 Pro решил знаменитую задачу Эрдёша #281, но вскоре выяснилось, что её решение было известно с 1936 года | Сетка — социальная сеть от hh.ru