Can you explain to me what "navigation" means if AI actually succeeds at automating mathematics? Or is the bet here that the AI companies will fail to deliver?