Google создала ИИ-оркестратор для поиска доказательств открытых задач в математике и теоретической информатике

Команда Google Research и DeepMind создала харнесс под названием Cogentic.

Cogentic делит работу между агентами: одни предлагают направления доказательства, а другие пишут черновики, третьи их проверяют и спорят с ними.

А то, что прошло проверку, попадает в общий журнал, и следующие итерации опираются уже на него.

Cogentic работает на Gemini 3.1 Pro и ранней версии Gemini 4 Argon.

Google говорят, что для начала работы Cogentic достаточно только сформулировать проблему без подсказок.