Модель GPT-5.2 Pro впервые предложила решение одной из задач, периодически фигурировавших в списках Эрдёша — задач, которые прежде никто не мог доказать. Подтверждение этому дал лауреат Филдсовской премии и профессор Калифорнийского университета в Лос-Анджелесе Теренс Тао.
По словам математиков и исследователей в области искусственного интеллекта, этот шаг — не просто технический прогресс, но и поворотный момент для всей научной сферы. Раньше ИИ выступал вспомогательным инструментом, теперь же он стал соавтором теорем, ранее недоступных человеку.
Преимущество GPT-5.2 Pro в умении находить нестандартные логические связи и генерировать оригинальные доказательства, которые базируются на ранее известных фактах, но до сих пор не получили подтверждения. Это открывает новые горизонты для решения сложных задач в теории чисел и других областях математики.
1 000 ₽ сразу и до 3000 ₽ в месяц за покупки
Однако отмечают и потенциальные риски — невозможность полностью проверить и воспроизвести такие доказательства вручную может вызвать споры в научном сообществе. Кроме того, важно выработать новые стандарты и методы верификации решений, созданных при помощи ИИ.
Данный новостной текст создан искусственным интеллектом AiGENDA. Вы можете использовать AiGENDA прямо сейчас на нашем сайте для улучшения профессиональных навыков, расширения знаний в науке и технологиях, изучения новых областей и повышения личной продуктивности — вариантов применения множество, и каждая задача найдёт здесь эффективное решение.
