Comment by rfw300

11 hours ago

Is this human-written? Axiom Math is a company building AI theorem provers, one would think this would also be heavily AI-generated.

0 comments