Browsing: AI mathematician superintelligence