Axiom.AI Just Solved a Math Problem No Human Could Crack

There’s a difference between an AI that solves known problems faster and an AI that discovers something genuinely new. The first is impressive. The second changes everything.Axiom’s AxiomProver just crossed that line when it solved Fel’s open conjecture, a real unsolved math problem that’s been sitting in the research literature waiting for someone (or something) to crack it.Here’s how AxiomProver actually solved itAxiomProver got three inputs: a document explaining