M mathoverflow.net Has AI made any progress as a mathematical theory-builder,,,,? 3 points jjgreen 7 days ago 2 comments
