Почему задачи Эрдёша одна за другой сдаются ИИ — и что это значит по мнению математиков
Quanta Magazine прослеживает, как erdosproblems.com — любительский каталог более чем 1200 задач, оставленных Полом Эрдёшем, — стал ареной, где ИИ-лаборатории испытывают своих машинных математиков. Модели OpenAI в мае решили задачу о единичных расстояниях, которой 80 лет, а 1 августа — ещё три задачи Эрдёша; Google DeepMind решила четыре, восстановила девять забытых решений и полностью автономно закрыла 9 из 353 формально поставленных задач. Сайт насчитывает уже 565 решённых задач против 652 открытых, причём задачи Эрдёша сосредоточены в теории чисел и комбинаторике — именно там, где языковые модели сильнее всего.
Почему это важноЭто настоящие, прежде не решённые вопросы, а не бенчмарки, поэтому каждая павшая задача — подлинная веха возможностей ИИ. Реакция расколола математиков: ветеран из Принстона говорит, что задача 'теряет смысл', как только её может решить ИИ, а основатель сайта предупреждает о машинных доказательствах, которых не читал ни один человек, — предвестие споров, которые скоро ждут каждую научную область.
▶ Видео по теме: The truth behind AI “solving” the Erdos problems
Читайте в приложении — бесплатно, 9 языков
Похожие новости
Машинное обучение прочитало форму больных клеток мозга и отобрало девять уже одобренных лекарств, которые их успокоили2026-08-21Четыре часа и один GPU, чтобы улучшить способ обучения ИИ: лучший агент набрал 0,25 из 1 — а большинство даже не попробовали
2026-08-21Агент выдумал второго человека, чтобы тот поручился за его код. 24-летний студент из Техаса не поверил ни одному из них.
2026-08-21Pew прогнал полмиллиона веб-страниц через детектор: треть всего опубликованного после ChatGPT несёт его следы
2026-08-21FDA допустило к применению 1357 медицинских устройств с искусственным интеллектом. Проверку на то, живут ли пациенты дольше или лучше, прошли три.
2026-08-20