A mathematician's experience proving a new theorem with AItwitter.com5 points·hackinthebochs··1 commentOpen articleSaveView on HN