ИИ от Google и Harmonic помогли решить 50-летнюю математическую задачу

Один из авторитетных математиков мира Терренс Тао опубликовал историю решения задачи Эрдёша №1026. Это отличный кейс, показывающий реальную роль ИИ в научных исследованиях.

Вот как это произошло:

12 сентября 2025 — задача добавлена на сайт проблем Эрдёша с пометкой о неоднозначной формулировке
Тот же день — математики в онлайн-дискуссии уточняют постановку, вычисляют первые значения, устанавливают границы. За несколько часов сообщество продвинулось от расплывчатой формулировки к конкретной гипотезе: c(k²) = 1/k
7 декабря 2025 — инструмент ИИ Aristotlе автоматически доказывает гипотезу на языке формальных доказательств Lean
В течение часа — математик дает альтернативное человеческое доказательство
Следующий день — AlphaEvolve (ИИ от Google DeepMind) вычисляет точные значения для расширенного диапазона, что позволяет сформулировать полную гипотезу.
Поиск литературы:
- ИИ deep research инструменты не смогли найти релевантную статью 2016 года
- Классический Google Scholar справился лучше
- Но ИИ-поиск успешно нашел ключевую статью 2024 года (Baek-Koizumi-Ueoro)

Финал — задача закрыта благодаря комбинации найденных результатов.

То есть ИИ не заменяет математиков, а становится новой инфраструктурой для математических исследований.