Automated Reasoning

Cogentic：用於自動化定理證明發現的多 Agent 協調框架

Cogentic: Multi-Agent Orchestration for Automated Proof Discovery

Cogentic 是一個多 Agent 協調框架，透過「證明-驗證」迭代循環與共享帳本，以 Gemini 為底座模型，成功在線上學習和機制設計等領域解開了 5 個數學未解難題。