Has AI made any progress as a mathematical theory-builder,,,,?

(mathoverflow.net) by jjgreen | Oct 24, 2026 | 1 comments on HN