В январе 2026 года было объявлено об открытии решения одной из математических задач, поставленных венгерским математиком Палом Эрдёшем, которая до сих пор не имела полного решения в науке. Задача 1975 года, касающаяся делимости факториалов, известная как «Задача 728».

Решение было получено с использованием модели ИИ, что подтвердил профессор Теренс Тао из Калифорнийского университета, лауреат Филдсовской премии.

Гипотеза теперь официально считается доказанной, с пометкой «с помощью ChatGPT».

Эрдёш был автором более 1400 научных статей и активно ставил задачи, за решение которых назначал денежные награды. Эти задачи продолжают решать с помощью ИИ. @banksta