GPT-5.4 Pro решил задачу из высшей математики. 23-летний парень без высшего математического образования решает сложнейшую задачу, над которой бились лучшие умы.

Как это произошло: Лиам Прайс, 23 года, без глубокой математической подготовки. В GPT-5.4 Pro Лиаму понадобился всего один точный промпт.
Около 80 минут. Результат: Доказана знаменитая Проблема Эрдёша #1196, причем ИИ выдал даже более сильную версию!

В чем суть математического прорыва?
Проблема касается примитивных множеств. Доказано, что для любого примитивного множества A⊂[x,∞)справедливо следующее утверждение при x→∞:

Как ИИ это сделал?
Модель использовала абсолютно новаторский трюк, объединив функцию фон Мангольдта и марковские цепи на частично упорядоченном множестве делимости. Инструменты были известны математикам давно, но никто из людей раньше не догадался применить их именно в такой комбинации.

Доказательство не осталось незамеченным. Его проверили легендарный математик Теренс Тао и Джаред Лихтман (который ранее решил смежную гипотезу). Будущее не за ИИ, который заменит людей. Будущее за людьми, которые умеют работать с ИИ. Нейросеть не отменяет гениальность – она дает ей суперсилу.

Хотите стать дирижером инструментов ИИ? Ждем на курсе по AI for Work🚀 https://lnkd.in/dt6QgAZW