08-09-2026, 04:41 AM
Math problems solved by AI
Summary
VibeMathed is a collaborative platform dedicated to solving challenging, long-standing mathematical problems using artificial intelligence.
It functions as a repository where community members submit open problems and track the progress of AI models (such as various versions of GPT and Claude) as they attempt to prove, disprove, or provide insight into these conjectures. The site catalogs the status of hundreds of problems across diverse fields like combinatorics, number theory, and harmonic analysis, documenting whether solutions have been "AI-discovered," "AI-assisted," or "Lean-verified."
PLATFORM
Summary
VibeMathed is a collaborative platform dedicated to solving challenging, long-standing mathematical problems using artificial intelligence.
It functions as a repository where community members submit open problems and track the progress of AI models (such as various versions of GPT and Claude) as they attempt to prove, disprove, or provide insight into these conjectures. The site catalogs the status of hundreds of problems across diverse fields like combinatorics, number theory, and harmonic analysis, documenting whether solutions have been "AI-discovered," "AI-assisted," or "Lean-verified."
PLATFORM
┌────────────────────────────────┐
│ KONSTANTINOS MICHAILIDIS │
└────────────────────────────────┘
│ KONSTANTINOS MICHAILIDIS │
└────────────────────────────────┘