PricingLoginTell your story
Vol. II — No. 184Remarkable People · Exceptional CompaniesToday's Edition

autoformalization

(2)
AllCompaniesPeopleStoriesProducts
Legend
Christian Szegedy and the Long Road to a Proof You Can Check
Founder · Scientist · Engineer

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.

christian-szegedy · xaiRead →
Legend
Yuhuai (Tony) Wu and the Problem of a Machine That Can Show Its Work
Founder · Scientist · Engineer

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?

yuhuai-wu · tony-wuRead →