When Computers Write Proofs, What's the Point of Mathematicians?youtube.com2 points·deterministic··0 commentsOpen articleSaveView on HN