GPT-5.6 Sol Ultra has successfully produced a proof for the Cycle Double Cover Conjecture. The proof is documented in a PDF file available online.

The cost and tooling of formal verification have become widely accessible, allowing for increased use in software development. AI is reducing the barriers to formal verification by eliminating the costs associated with writing proofs, enabling the creation of software that guarantees mathematically correct business rules.

MaxProof is a framework designed for population-level test-time scaling in mathematical proof, specifically within the MiniMax-M3 series. It trains three key capabilities: proof generation, proof verification, and critique-conditioned proof repair.