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 достаточно только сформулировать проблему без подсказок.
Байланысты материалдар
Барлығы →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 математика, информатика және физика бойынша тағы үш «ірі» жаңалықпен оралды. Бұл жолғы ерекшелік – таңдау…
Жаңа толық стек дизайнері
Бүгін маған Shopify-тегі өнім дизайн студиясын басқаратын Марвин Швайболд қосылды. Ол бізге өз процесін сахна сыртында көрсетеді, >> [музыка] >> мұнда оның дизайнын өмірге келтіру үшін соңғы AI құралдарын қалай пайдаланып жатқанын көреміз, содан кейін көрермендер жіберген кейбіреулерді қарап шығыңыз…