Comment by cloudbonsai

Reading your comment, I’m curious if AI models will eventually “fork” mathematics. (Sorry for beating the same cranky analogy)

Like, not expecting human experts to review and merge their results, but developing math branches on their own. I guess it’s at least doable for applied math. For example, if AI agents find a fast method of prime factorization, they can demonstrate it by cracking RSA encryption. No human review required.

I’m less sure how it plays out for pure math, though. My intuition is fairly limited here.