It's funny that AI systems are all still pretty bad at elementary school arithmetic, but getting increasingly good at very high-end abstract math. That raises some big questions for the field of advanced math.
Humans are becoming the bottleneck of verification for AI. And now the question is, where does that leave us? Is this the end of the road for reliable mathematical discovery? Are we resigned to drowning in a sea of unverified claims where we can't really tell truth from fiction?
