Comment by jjgreen

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

No comments yet

Be the first to share your thoughts.