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
Fred Turner is a professor of Communication at Stanford, where his research focuses on media, technology and American cultural history. His book From Counterculture to Cyberculture: Stewart Brand, the Whole Earth Network, and the Rise of Digital Utopianism shows how 60s counterculture mixed with the personal computing industry to influence generations of techno-political thought.
Event moderated by Jasmine Sun (Stanford Sociology), Jessica Dai (Brown CS), and Ben Wolfson (National Cancer Institute).
This event series is hosted and managed by Reboot, which is an event series and newsletter that convenes book-lovers, writers, and technologists to imagine the future of tech, humanity, and power.