Cogentic: мультиагентная система доказала теоремы по пяти открытым задачам

Представлен Cogentic — мультиагентный фреймворк для автоматического доказательства теорем на базе Gemini. Система получила новые результаты по пяти открытым задачам в онлайн-обучении, теории аукционов и дизайне механизмов, используя цикл «доказательство — проверка» с общим реестром подтверждённых лемм.

• Новые результаты получены по пяти открытым задачам в онлайн-обучении и теории аукционов
• Архитектура Prove-Verify: оркестратор, пул доказывающих агентов и адверсариальная проверка
• Подтверждённые леммы попадают в общий реестр, чтобы агенты не доказывали одно и то же
• Оркестратор балансирует разведку и эксплуатацию ветвей и отсекает бесперспективные гипотезы