Разработанная в России система помогла ИИ-агентам доказать более 30 новых теорем

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