What the Machine Invented: Mining New Mathematical Instrumentsarxiv.org2 points·Anon84··0 commentsOpen articleSaveView on HN