Тысячи ИИ-агентов подключают к решению сложнейших математических задач

Над одной математической проблемой теперь могут одновременно работать тысячи цифровых агентов. Такой подход уже испытывают при исследовании уравнений Навье — Стокса.

В одном из проектов OpenAI задействовали около 10 000 ИИ-агентов. Для сравнения: над задачей, связанной с уравнениями Эйлера, работали примерно сто агентов в течение 50 часов.

Скорость вычислений создаёт новую проблему: машинные доказательства могут быть формально верными, но слишком громоздкими для быстрой проверки человеком. Научному сообществу приходится разбираться с постоянно растущим потоком результатов.

Поэтому роль математика меняется: всё больше времени требуется на проверку, объяснение и включение машинных решений в существующую теорию.

Подробнее о будущем таких исследований рассказывает Наука Mail.