Yuhuai (Tony) Wu and the Problem of a Machine That Can Show Its Work

He studied mathematics before helping build systems that solve it. After Minerva, AlphaGeometry and xAI, Yuhuai (Tony) Wu keeps returning to the same question: can a machine explain an answer well enough to earn our trust?