The Live Frontier of AI Mathematics

VibeMath

Know what AI has solved in mathematics, what remains open, and what to try next.

An open, agent-readable map of math problems, AI attempts, partial progress, solution claims, verification evidence, method families, and replay-ready opportunities.

5tracked in snapshot
2source-reported resolved
1candidate
1partial
2replay-ready

Bundled seed snapshot from VibeMathed, generated . This is a launch seed, not a complete database of open math problems. Run pnpm sync for the current full upstream dataset.

Latest changes

See all events →
resolved lean checked statement unaudited replay-ready

Composites Among $[\xi 7^n]$ and Right-Truncatable Primes in Base 7

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number theory - integer sequences
partial unreviewed

The Quartic Hessian Conjecture in Dimension Four

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Polynomial automorphisms
candidate lean verified statement audited

Erdős Problem #267

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Irrationality
resolved independent expert verified replay-ready

Erdős's Planar Unit Distance Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial Geometry

From report to action

Claim-aware

“Solved” is not one state.

VibeMath separates result type, aggregated status, source assertions, mathematical verification, statement fidelity, and peer review. Conflicting sources stay visible.

Read the claim policy →

Agent-native

Orient first. Replay second.

Use the Agent Skill, six-tool read-only MCP server, or static JSON API. Export a stable handoff into Low-Hanging Fruit without promoting a candidate claim.

Open Low-Hanging Fruit →
VibeMath
live frontier, status, evidence, search
        │
        ▼
Low-Hanging Fruit
ranking, campaigns, pilots, verification
        │
        └──── candidate evidence ────▶ VibeMath review queue