Axiom Math Seed

Axiom Math is developing an AI system that not only solves complex mathematical problems but also generates new mathematical knowledge by proposing conjectures. The model produces rigorous, step-by-step proofs that can be independently verified. This approach aims to transform English-language math into code, enabling the AI to create and validate new problems that push the boundaries of existing knowledge.