💡 Знаете ли вы, что GPT-5.2 предложил новое решение задачи Эрдёша №281? В январе 2026 года GPT-5.2 Pro вывел новое, ранее не опубликованное решение одной из задач, сформулированных математиком Палем Эрдёшем. Лауреат Филдсовской премии Теренс Тао назвал этот случай самым «недвусмысленным» примером математического открытия, сделанного с помощью ИИ. Это уже третья задача Эрдёша, решённая ИИ-моделями. Гипотезы №728 и №124 «доказала» нейросеть Aristotle стартапа Harmonic, оптимизированная для математических задач. 🔍 Ещё недавно считалось, что ИИ плохо справляется с математикой. Но все изменилось с появлением «рассуждающих» моделей. В 2024 году OpenAI представила архитектуру, позволяющую решать задачи шаг за шагом, проверять промежуточные выводы и возвращаться к ошибкам. 🚀 Уже в 2025 году экспериментальные модели OpenAI и Google получили «золотые медали» за решение 5 из 6 задач Международной математической олимпиады (IMO). А на олимпиаде по программированию ICPC рассуждающая система OpenAI показала результат выше официальных победителей. 📌 При этом разработчики подчёркивают: ИИ пока не решает сложные математические проблемы автономно. Направляет поиск и проверяет результаты по-прежнему человек Еще больше об ИИ и науке читайте в DSCS.pro