GPT-5.4 Pro решила задачу Эрдёша приемом, который не заметили математики. Теренс Тао уже строит новую теорию
habr.comGPT-5.4 Pro уже несколько раз закрывала задачи из базы великого математика Пола Эрдёша — а в последний месяц это происходит почти еженедельно.
Но 13 апреля случилось то, чего раньше не было: Джаред Дукер Лихтман — оксфордский математик, который сам семь лет работал над задачей #1196, — назвал решение GPT-5.4 Pro "первым доказательством уровня Книги Эрдёша" ("Книгой" Эрдёш в шутку называл воображаемую книгу Бога, в которой собраны самые красивые доказательства всех теорем.).
