Google создала ИИ-оркестратор для поиска доказательств открытых задач в математике и теоретической информатике
Google создала ИИ-оркестратор для поиска доказательств открытых задач в математике и теоретической информатике Команда Google Research и DeepMind создала харнесс под названием Cogentic. Cogentic делит работу между агентами: одни предлагают направления доказательства, а другие…
- 01.Google создала ИИ-оркестратор для поиска доказательств открытых задач в математике и теоретической информатике Команда Google Research и DeepMind создала харнесс под названием Cogentic
- 02.Cogentic делит работу между агентами: одни предлагают направления доказательства, а другие…
Google создала ИИ-оркестратор для поиска доказательств открытых задач в математике и теоретической информатике Команда Google Research и DeepMind создала харнесс под названием Cogentic. Cogentic делит работу между агентами: одни предлагают направления доказательства, а другие пишут черновики, третьи их проверяют и спорят с ними. А то, что прошло проверку, попадает в общий журнал, и следующие итерации опираются уже на него. Cogentic работает на Gemini 3.1 Pro и ранней версии Gemini 4 Argon. Google говорят, что для начала работы Cogentic достаточно только сформулировать проблему без подсказок.
Related Intelligence
All stories →OpenAI 如何将其编码工具转变为 dots，一个始终在线的个人助手
负责 dots 的 OpenAI 高管 Alexander Embiricos 从不想与别人的 AI 代理开会。
It's happening...
One of the most controversial companies in history just filed to go public. And yes, we're talking about Anthropic. The same company that says there's a greater than 10% chance AI kills all of humanity is also simultaneously one of the best built businesses of all time. And in…
OpenAI 宣布三项重大科学发现以及与学术界合作的新方式
OpenAI 大规模发布数百份手稿（据称这些手稿包含了长期存在的数学问题的解决方案）不到一个月，又在数学、计算机科学和物理学领域带来了三项“重大”发现。这次的不同之处在于选择...