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.
Details
- External ID
- 1366950529
- Source
- GITHUB
- Company
- —
- Product
- AI-Has-Taste
- Website domain
- github.com
- Launched
- Sept. 12, 2026
- Cohort
- —
- Upvotes
- 19
- Upvotes percentile
- 0.5840379195490648
- Tags
- —
- Fetched at
- Sept. 16, 2026, 5:02 p.m.
- Updated at
- Sept. 16, 2026, 5:02 p.m.
Enrichment
- Theme
- autonomous agent research and evaluation
- Vertical
- Education
- Function
- Agent / copilot
- Audience
- Developer
- AI stance
- AI-native
- Project type
- Hobby / open-source project
- Normalized one-liner
- ai agents for mathematical research and open problem solving
- Manually corrected
- False
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 — 1587 launches clear the similarity bar, closest 8 shown.
Attention rank: #566 of 1588 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 318 days after the earliest competitor.
- Ramanujan · hn · 2026-09-06 · 5 upvotes · similarity 0.67
- MathmoBench · github · 2026-09-23 · 88 upvotes · similarity 0.59
- agentic-ai-system-design-primer-zh · github · 2026-09-25 · 38 upvotes · similarity 0.57
- Tessera · hn · 2026-07-07 · 5 upvotes · similarity 0.56
- Design Taste for AI Agents · hn · 2026-05-06 · 7 upvotes · similarity 0.55
- I solved a 12yr math problem using AI (formalized; awaiting review) [pdf] · hn · 2026-09-15 · 5 upvotes · similarity 0.55
- Maith · hn · 2026-07-21 · 6 upvotes · similarity 0.54
- Traverse - Data Research for the Non-Verifiable · yc · 2026-03-06 · 41 upvotes · similarity 0.54
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.