Axiom Math wants to keep AI slop out of mathematics

A startup is using AI to verify mathematical proofs and catch errors in research, helping ensure the accuracy of advanced mathematics. This is valuable for the research community and mathematics field but has limited impact on everyday life.