OpenAI объявила 26 октября 2026 года, что её модель предоставила естественно-языковые доказательства трёх долго нерешённых результатов, которые ещё не прошли независимую верификацию. Три результата связаны с локальной гладкостью, связанной с гипотезой Какея, ложностью гипотезы экспоненциального времени и существованием завершения квантовой хромодинамики и стандартной модели; доказательство существования Yang–Mills было сгенерировано 9 сентября, но его публикация была отложена до 16 октября после завершения формализации результата в Lean. Комментаторы с бэкграундом в теории сложности считают, что опровержение ETH оказывает наибольшее влияние, поскольку оно является основой для многих результатов о трудности и нижних границах.