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.
Scientific progress is a key driver of economic growth and prosperity. There is great excitement- but also concerns- about the impacts of AI on science, but so far little data. We provide early insights on this from three data sources: a sample of 15 million Gemini interactions, an inventory of over 2,600 specialized AI models across disciplines, and a survey of over 600 scientists.

Scientific progress is a key driver of economic growth and prosperity. There is great excitement- but also concerns- about the impacts of AI on science, but so far little data. We provide early insights on this from three data sources: a sample of 15 million Gemini interactions, an inventory of over 2,600 specialized AI models across disciplines, and a survey of over 600 scientists.
Clinical Mind AI is a Stanford-developed, international collaborative platform designed to strengthen clinical reasoning education through AI-simulated patient encounters across health professions.

Clinical Mind AI is a Stanford-developed, international collaborative platform designed to strengthen clinical reasoning education through AI-simulated patient encounters across health professions.
From improving medical diagnosis to optimizing supply chains, AI holds the promise of transforming every industry. However, many companies and teams--particularly ones outside the consumer internet industry--are still struggling to take research breakthroughs or promising proof-of-concept demonstrations and turn them into practical production deployments. How can researchers and AI professionals help bridge this gap? In this talk, I’ll describe some key challenges facing AI deployments, and also discuss some solutions, ranging from techniques for working with small data, to improving algorithms’ robustness and generalizability, to systematically planning out the full-cycle of machine learning projects.