Industry
160d agoAI Cuts Idea Costs, Verification Becomes Bottleneck
Terence Tao notes that AI has slashed the cost of generating new mathematical ideas to almost zero, likening the shift to automobiles reshaping cities. The real challenge now lies in verifying these ideas, a bottleneck that could slow progress.
The Signal
This insight, shared in The Decoder, highlights the need for new verification tools.