🤯 GPT-5.2 Pro решила задачу Эрдёша... которую уже решили в 1936 году Нил Сомани с помощью новой модели OpenAI доказал задачу Эрдёша #281. Знаменитый математик Теренс Тао верифицировал решение и назвал его «самым чистым примером» работы ИИ. 🔍 Плот-твист: Спустя пару часов на форуме выяснили, что решение логически следует из статьи 1936 года, соавтором которой был... сам Эрдёш. Великий математик просто не связал свою старую работу с новой задачей, так как они относились к разным областям науки. Почему это все равно круто для IT? GPT-5.2 Pro не списала ответ (его не было в прямом виде). Нейросеть нашла совершенно новый путь доказательства через эргодическую теорию. Тао отметил, что ИИ впервые не запутался в сложных перестановках кванторов и пределов, на чем сыпались прошлые модели. В 2026 году ИИ щелкает задачи Эрдёша как орешки — это уже четвертый решенный кейс за месяц. 👉 @proitishky