3 ms·
In a recent talk (https://news.ycombinator.com/item?id=49056620 https://news.ycombinator.com/item?id=49056620), Terence Tao plainly says that AI generating and
by ThrowawayR2 2mo ago
In a recent talk (https://news.ycombinator.com/item?id=49056620 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.
- david-gpu 2mo agoThe 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.
- ThrowawayR2 2mo agoI'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.