2 ms·When Computers Write Proofs, What's the Point of Mathematicians?2 points by deterministic 2y ago