GPT-5.4 Pro решила математическую задачу Эрдёша 1196 — и открыла путь к решению еще четырех гипотез
habr.comНа симпозиуме Future of Mathematics в Стэнфорде 2 мая 2026 года математик Джаред Дукер Лихтман со анонсировал совместную статью с Теренсом Тао и еще шестью соавторами об использовании GPT-5.4 Pro для решения задач из списка знаменитого математика Пола Эрдёша.
Метод, который модель предложила при решении задачи Эрдёша 1196, закрыл еще четыре гипотезы из той же области теории чисел — включая еще одну гипотезу Эрдёша, Шаркёзи и Семереди, остававшуюся открытой 60 лет.Главное в новой работе — даже не отдельные результаты, а то, что апрельское доказательство удалось масштабировать.
