3 ms·
Is this human-written? Axiom Math is a company building AI theorem provers, one would think this would also be heavily AI-generated.
by rfw300 28d ago
Is this human-written? Axiom Math is a company building AI theorem provers, one would think this would also be heavily AI-generated.