AI-Has-Taste
200+ open problems in mathematics investigated by AI agents — proofs, disproofs, counterexamples, exact certificates, and AI-proposed conjectures. From answer generation to research-agenda generation.
Get picks like this daily. Today's launch numbers, the top launches, AI and tech news, and a daily opportunity pick, straight to your inbox.
Want to reach these readers? Sponsor an issue.
GITHUB · launched Sep 12, 2026 · 19 upvotes (top 41%) · 0 views
Niche: autonomous ai research agents · 109 launches, 5 in the last 7 days ▼ -55% · Explore this niche →
Category and tags
- Horizontal
- Agent / copilot
- Developer
- AI-native
- Hobby / open-source project
Visit website ↗ Source listing ↗
More like this: all 109 launches in autonomous ai research agents →
Could you build this?
No Investigating 200+ open mathematical conjectures with exact formal certificates and valid proofs requires cutting-edge research in automated theorem proving, formal verification (Lean/Isabelle), and mathematical discovery systems.
What it would actually take: A system producing verifiable mathematical breakthroughs requires integrating large language models with formal proof assistants (like Lean 4 or Coq), symbolic algebra engines (Mathematica/SymPy), and SAT/SMT solvers (Z3). It demands deep research expertise in formal mathematics, custom tree search algorithms, and high-performance computing clusters to verify theorems and eliminate mathematical hallucinations.
Competitors
Other products that read as similar to this one : 3442 launches clear the similarity bar, closest 8 shown.
Attention rank: #1296 of 3443 (itself plus its competitors, highest first, normalized so YC and Product Hunt are compared fairly).
Launched 318 days after the earliest competitor.
- ai-math-discussion · github · 2026-11-09 · 13 upvotes · similarity 0.71
- Ramanujan · hn · 2026-09-06 · 5 upvotes · similarity 0.69
- MathmoBench · github · 2026-09-23 · 88 upvotes · similarity 0.61
- AI-Scientist-v3 · github · 2026-10-11 · 51 upvotes · similarity 0.60
- Euler · github · 2026-10-11 · 14 upvotes · similarity 0.60
- agentic-ai-system-design-primer-zh · github · 2026-09-25 · 38 upvotes · similarity 0.59
- Mathematician-Humanizer · github · 2026-10-01 · 8 upvotes · similarity 0.59
- ai-explorations · github · 2026-10-11 · 41 upvotes · similarity 0.59
The niche, labels, vibe code rating and competitor comparison on this page are analysis by Nicheloom. If you use them, please credit nicheloom.com. How you may use our data.