OpenAI's Math Proof Signals AI Shift in Smart-Contract Verification
The headline is compute scale. The crypto read is upstream: as automated proving gets cheaper, the cost of poorly specified contracts grows. Terence Tao is already naming the gap that opens.