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 достаточно только сформулировать проблему без подсказок.
Связанные материалы
Все материалы →OpenAI объявляет о трех крупных научных открытиях и новом способе работы с учеными
Менее чем через месяц после массового выпуска сотен рукописей, которые, по их словам, содержат решения давних математических вопросов, OpenAI вернулся с еще тремя «крупными» открытиями в области математики, информатики и физики. Что изменилось на этот раз, так это выбор…
Новый полнофункциональный дизайнер
Сегодня ко мне присоединился Марвин Швайболд, который возглавляет студию дизайна продуктов в Shopify. Он расскажет нам о своем процессе из-за кулис >> [музыка] >> где мы увидим, как он использует новейшие инструменты искусственного интеллекта для воплощения своих проектов в жизнь, а затем рассмотрим некоторые присланные зрителями…