Get the latest news, advances in research, policy work, and education program updates from HAI in your inbox weekly.
Sign Up For Latest News
Artificial intelligence is poised to change every sector of the economy. How do we ensure that this technology will augment, not replace, humans?
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
During HAI’s 2021 spring conference, scholars and industry professionals in the fields of healthcare, education, art, and others will discuss how AI technology can best support humans as they approach these critical global challenges.
