Cogentic: Multi-Agent Orchestration for Automated Proof Discovery
Cogentic, a multi-agent proof harness using Gemini, produced expert-verified novel results on five open math and CS problems.
1 stories, newest first · one card per story
Cogentic, a multi-agent proof harness using Gemini, produced expert-verified novel results on five open math and CS problems.
Today 1.6K readers · 2.5K views · 779 reads · all time 189K views