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
Who has power over AI? Let’s discuss Mozilla’s latest report on the health of the internet.
How do we shift power dynamics in AI to enable more diverse perspectives and use cases to flourish? The latest Internet Health Report by Mozilla compiles research and data visuals about who has power over AI, and asks who should have more power in the future? This year’s report is accompanied by a narrative podcast featuring the personal stories of AI practitioners and policy makers from a dozen different countries who are challenging the status quo.
Follow these links to the podcasts and cited data mentioned in this seminar:
