A mathematician's experience proving a new theorem with AItwitter.com1 point·hackinthebochs··0 commentsOpen articleSaveView on HN