Federated frontier

Search what is known.

Coverage currently reflects the checked-in VibeMathed seed or the most recent successful sync. It does not represent every open problem or AI attempt in mathematics.

5 records

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.

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.

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.

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.

retracted rejected

Erdős Problem #7

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