Come prove the Berge Fulkerson conjecture with a swarm of agents
Details
- External ID
- 49676363
- Source
- HN
- Company
- —
- Product
- Come prove the Berge Fulkerson conjecture with a swarm of agents
- Website domain
- provetogether.ai
- Launched
- Sept. 12, 2026
- Cohort
- —
- Upvotes
- 5
- Upvotes percentile
- 0.12998405103668262
- Tags
- —
- Fetched at
- Sept. 16, 2026, 5:01 p.m.
- Updated at
- Sept. 16, 2026, 5:01 p.m.
Enrichment
- Theme
- autonomous agent research and evaluation
- Vertical
- Horizontal
- Function
- Agent / copilot
- Audience
- Prosumer
- AI stance
- AI-native
- Project type
- Hobby / open-source project
- Normalized one-liner
- agent swarm for proving math conjectures
- Manually corrected
- False
Could you build this?
No The Berge-Fulkerson conjecture is a famous, fifty-year-old open problem in graph theory, and proving it or verifying formal proofs in Lean 4 requires frontier mathematical research well beyond AI coding assistants.
What it would actually take: Formally verifying or solving this conjecture requires deep expertise in formal verification (Lean 4, Mathlib) and advanced combinatorics/graph theory. Coordinating an automated proof search swarm necessitates theorem-proving agent architectures with custom tree-search algorithms (like Monte Carlo Tree Search or AlphaZero-style guidance over proof tactics), integrated with high-performance cluster computing running Lean proof environments.
Discussion
No comments on this launch.
Competitors
Other products that read as similar to this one — 905 launches clear the similarity bar, closest 8 shown.
Attention rank: #705 of 906 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 316 days after the earliest competitor.
- Ramanujan · hn · 2026-09-06 · 5 upvotes · similarity 0.57
- genpark-max-sum-factor-graph-belief-propagation-skill · github · 2026-09-09 · 8 upvotes · similarity 0.57
- genpark-max-sum-factor-graph-belief-propagation-skill · github · 2026-09-09 · 8 upvotes · similarity 0.57
- genpark-shamir-secret-sharing-threshold-scheme-skill · github · 2026-09-09 · 8 upvotes · similarity 0.56
- genpark-shamir-secret-sharing-threshold-scheme-skill · github · 2026-09-09 · 8 upvotes · similarity 0.56
- Flocker.md · hn · 2026-08-19 · 7 upvotes · similarity 0.56
- multi-agent-relay · github · 2026-09-16 · 18 upvotes · similarity 0.55
- The A-C Coupling Theorem · hn · 2026-06-13 · 5 upvotes · similarity 0.53
Other launches for this product
- No other launches for this product.
Same idea, different domain
Nobody's really built a agent / copilot tool for Agriculture yet.