Full threadjjgreen·Full title: Has AI made any progress as a mathematical theory-builder, rather than just a problem-solver?View on HN