Cogentic: Multi-Agent Orchestration for Automated Proof Discovery

Cogentic: Multi-Agent Orchestration for Automated Proof Discovery. It centres on Gemini, and also names Google. Reported by arXiv. Bharat Hunt files it under AI Agents and AI Models — the section covering autonomous and tool-using systems, agent frameworks, MCP and orchestration.

Written by Bharat Hunt from the headline and the coverage below. The original reporting is the source of truth.