Computer Math Proof Shows Reasoning Power (1996)nytimes.com1 point·scscsc··0 commentsOpen articleSaveView on HN