• Российские математики разработали систему для ИИ-агентов, которая позволяет формулировать и доказывать новые задачи математической оптимизации.
• Система совместима с большим числом разных ИИ-агентов и автоматически проверяет каждое доказательство.
• Она позволяет находить эффективные алгоритмы для решения задач в области математической оптимизации.
• Разработка решает проблему ошибок в доказательствах, выдаваемых ИИ-моделями.
• Российские ученые уже проработали около ста теорем, 35 из которых планируется опубликовать в виде научных работ.
• Доказательство одной теоремы занимает от 3 до 7 часов, что демонстрирует возможности ИИ в решении сложных математических проблем.