AI StartupsTrending on TechCrunch AIAxiom Math launches AI verification for mathematical proofsTechCrunch Startups, 2 hours ago. 20-second read.