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.
The Live Frontier of AI Mathematics
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.
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.
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Claim-aware
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
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