theorem-proving

Cogentic

Cogentic: Multi-Agent Orchestration for Automated Proof Discovery

Cogentic 通过并行证明、对抗审查与已验证引理账本积累跨轮次进展，在五项开放问题上产出经专家复核的新界与证明。