Почему задачи Эрдёша одна за другой сдаются ИИ — и что это значит по мнению математиков
Quanta Magazine прослеживает, как erdosproblems.com — любительский каталог более чем 1200 задач, оставленных Полом Эрдёшем, — стал ареной, где ИИ-лаборатории испытывают своих машинных математиков. Модели OpenAI в мае решили задачу о единичных расстояниях, которой 80 лет, а 1 августа — ещё три задачи Эрдёша; Google DeepMind решила четыре, восстановила девять забытых решений и полностью автономно закрыла 9 из 353 формально поставленных задач. Сайт насчитывает уже 565 решённых задач против 652 открытых, причём задачи Эрдёша сосредоточены в теории чисел и комбинаторике — именно там, где языковые модели сильнее всего.
Почему это важноЭто настоящие, прежде не решённые вопросы, а не бенчмарки, поэтому каждая павшая задача — подлинная веха возможностей ИИ. Реакция расколола математиков: ветеран из Принстона говорит, что задача 'теряет смысл', как только её может решить ИИ, а основатель сайта предупреждает о машинных доказательствах, которых не читал ни один человек, — предвестие споров, которые скоро ждут каждую научную область.
▶ Видео по теме: The truth behind AI “solving” the Erdos problems
Читайте в приложении — бесплатно, 9 языков
Похожие новости
США собрали 16 стран, чтобы поставить ИИ в центр науки.2026-10-05Пять открытых задач пали в обычном окне чата.
2026-10-05Сырые модели решили задачи, которые не берёт их отточенная версия.
2026-10-04Обычные фотографии вывели модель на 70% в тесте на логику.
2026-10-04Google вывел свои чипы для ИИ на орбиту ради проверки на прочность.
2026-10-03