AxiomProver

Entity category: PRODUCT

AI Startup Solves 4 Unsolved Math Problems

February 5, 2026

$Abstract image of hands, blocks, and math equations on a chalkboard.$

Mathematicians Dawei Chen and Quentin Gendron published an unsolved conjecture after hitting a major obstacle in their algebraic geometry work,…