Christian Szegedy is a research scientist and co-founder at xAI. He holds a Ph.D. in mathematics and used to work on mathematical methods for timing-driven placement and synthesis in chip design. Since 2016, he's been working on automated reasoning using neural networks, with a special interest in retrieval-augmented generation. In 2016, he co-authored the DeepMath which was the first demonstration of the usefulness of large neural networks for large-scale mathematical theorem proving. Before that, he worked on computer vision and is known for discovering adversarial examples, the Inception network, and batch normalization.