Comment by ThrowawayR2
5 hours ago
In a recent talk (https://news.ycombinator.com/item?id=49056620), Terence Tao plainly says that AI generating and verifying proofs is only part of the picture. The process of making the proof usable/readable and then canonicalizing them so they can form a foundation for math built on that proof is the other half of the picture and those things are something that can only be done by human minds.
The second part can only be done by human minds... For now. Just like the first part could only be done by human minds until a few years (or decades) ago.
I'm not in the habit of counting my chickens before they've hatched and neither should anyone else. There are plenty of technologies, like fusion power, where supposedly another breakthrough or two is just around the corner that will make them viable but never comes.