Axiom Math wants to keep AI slop out of mathematics · Bharat Hunt