Новости
Cogentic: Multi-Agent Orchestration for Automated Proof Discovery
arXiv cs.AI · Опубликовано · 3 мин чтения
За 30 секунд
- Что произошло
- Cogentic, a multi-agent system using Gemini, discovered novel results on five open research problems in online learning, auction theory, and mechanism design through iterative prove-verify loops.
- Почему это важно
- Relevant for engineers building AI systems for mathematical reasoning, formal verification, or research automation who need to handle long-horizon exploration of competing hypotheses.
- На что обратить внимание
- Results were verified by domain experts but remain research-stage findings; scalability to broader problem classes and reproducibility with other base models remain undemonstrated.
- agent
- language model
- multi-agent
- long horizon
Паттерны, стоящие за этой новостью
- Deep Research Agent
- Agentic Context Engineering (Evolving Playbook)
- Reinforcement Learning Exploration
Каждый разбирает, как работает техника, когда она оправдывает затраты и где ломается.
The Agent Architect
Один паттерн, один компромисс, одна история сбоя в продакшене. Короткий еженедельный брифинг для тех, кто строит агентные системы.
Одно письмо в неделю, отписка в один клик. Адрес используется только для рассылки брифинга.