Browsing: AI in mathematics