3 ms·This has been the standard in the world of "AI-produces-math-proofs" for a whileby odo1242 3mo agoThis has been the standard in the world of "AI-produces-math-proofs" for a while