Develops an AI mathematician capable of generating conjectures and verifiable formal proofs.
Create a free EquityFlow account to see Axiom Math's 1 funding round, 4 investors, 12 similar companies.