3 ms·

The proofs also seem more human reable than openai's?