VibeMath∴ 中文

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.

Search the frontier Try with Low-Hanging Fruit JSON Feed
717tracked in snapshot
492source-reported resolved
95candidate
117partial
121replay-ready

Bundled snapshot from VibeMathed, generated . Coverage follows this source and is incomplete for open math problems. Run pnpm sync for the current full upstream dataset.

Latest changes

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

Mahler's $Z$-number problem in its generalized form

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

Distribution mod one; Mahler's Z-numbers
resolved unreviewed

Nontriviality of number-restricted arithmetic over subDMQ

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

Paraconsistent logic and foundations
resolved lean verified statement audited replay-ready

Normality of a sum of two Stoneham constants

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

Normal numbers and digit expansions
resolved lean verified statement audited replay-ready

The Hilbert transform-UMD dependence problem

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

Banach space geometry and harmonic analysis

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