A somewhat optimistic view of AI in mathematicsproofsandprompts.com1 point·bearseascape··0 commentsOpen articleSaveView on HN