Math AI startup Axiom Math gets algorithm-generated proofs into peer-reviewed journals

Comments

Join the discussion on this story.