Google создала ИИ-оркестратор для поиска доказательств открытых задач в математике и теоретической информатике
Google создала ИИ-оркестратор для поиска доказательств открытых задач в математике и теоретической информатике Команда Google Research и DeepMind создала харнесс под названием Cogentic. Cogentic делит работу между агентами: одни предлагают направления доказательства, а другие…