Get the latest news, advances in research, policy work, and education program updates from HAI in your inbox weekly.
Sign Up For Latest News
A eureka moment is a two-step process: discovering something new and surprising, and establishing that it is correct. Drawing on her work at Axiom, Carina will discuss the transition from solving mathematical benchmarks to contributing to research, and from proving individual theorems to formalizing mathematical theories in Lean.

A eureka moment is a two-step process: discovering something new and surprising, and establishing that it is correct. Drawing on her work at Axiom, Carina will discuss the transition from solving mathematical benchmarks to contributing to research, and from proving individual theorems to formalizing mathematical theories in Lean.
A Center for Neural Data Science Seminar Series

A Center for Neural Data Science Seminar Series
Watch now to hear AI Index Steering Committee Co-Chair Jack Clark share a presentation on the key findings of the 2022 AI Index Report, released on March 16.The AI Index is an independent initiative at Stanford HAI led by an interdisciplinary steering committee of experts from across academia and industry. Its goal is to be the world’s most credible and authoritative source for data and insights about AI to provide policymakers, researchers, journalists, executives, and the general public a deeper understanding of the field.
Co-Founder, Anthropic; Co-Chair of the AI Index Steering Committee, Stanford HAI
No tweets available.