Research Math Agent: Агент для математических исследований

Официальный релиз кода к исследованию RMA, представляющему агентов для автоматизации математических исследований. Проект позволяет использовать ИИ для решения сложных задач и генерации доказательств. Доступен в открытом доступе на GitHub.