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 →How OpenAI turned its coding tools into dots, an always-on personal assistant
Alexander Embiricos, the OpenAI executive responsible for dots, never wants to have a meeting with someone else's AI agent.
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 announces three big science discoveries and a new way to work with academics
Less than a month after its mass release of hundreds of manuscripts that it said contained solutions to long-standing mathematics questions, OpenAI is back with three more "major" discoveries in math, computer science, and physics. What's different this time is the choice to…