Запуск AI-института Карнеги-Меллон для математических открытий

В августе 2025 года Университет Карнеги-Меллон совместно с NSF запустил институт стоимостью $50M для ускорения математических открытий с помощью ИИ. Фокус направлен на использование машинного обучения для доказательства теорем и генерации гипотез в алгебраической геометрии и комбинаторике.

Институт интегрирует символическую регрессию с формальной верификацией. Уже получены первые результаты в оптимизации и решены три открытые проблемы. Это революционизирует рутинные части исследований, позволяя математикам сосредоточиться на концептуальных задачах.