Christian Szegedy and the Long Road to a Proof You Can Check

He helped teach neural networks to see, then turned toward a harder question: can a machine show its work in mathematics? The xAI co-founder now pursues that question at AletheAI.