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
The Bay Area Tech Economics Seminar is for graduate-trained economists and other quantitative social scientists from academia, policy, or the private sector who are interested in the tech economy and methods for analyzing it, and in making connections with others in this broadly defined space.
The Bay Area Tech Economics Seminar is for graduate-trained economists and other quantitative social scientists from academia, policy, or the private sector who are interested in the tech economy and methods for analyzing it, and in making connections with others in this broadly defined space.
In this talk, Dr. Juan Lavista Ferres will share insights from applying artificial intelligenfe for global impact, as outlines in the AI for Good book. Moving beyond traditional AI discourse, Juan will highlight real-world examples where AI has been harnassed to address some of the world's most presing challenges- from biodiversity conversation to disaster response. Through these stories, Juan demonstrates AI as a force for ethical and impactful change, sparking conversations on how we can use today's technology to drive solutions on a global scale. The smartphones we carry in our pockets surpass the computing power that once sent astronauts to the moon. With this technology at our fingertips, we have the tools to address societal challenges in innovative ways. We no longer have excuses.
