Stanford
University
  • Stanford Home
  • Maps & Directions
  • Search Stanford
  • Emergency Info
  • Terms of Use
  • Privacy
  • Copyright
  • Trademarks
  • Non-Discrimination
  • Accessibility
© Stanford University.  Stanford, California 94305.
AI+Science: Accelerating Discovery | Stanford HAI
Skip to content
  • About

    • About
    • People
    • Get Involved with HAI
    • Support HAI
    • Subscribe to Email
  • Research

    • Research
    • Research Programs
    • Grants
    • Marlowe (opens in new tab)
    • Student Affinity Groups
    • Centers & Labs
    • Research Publications
    • Research Partners
  • Education

    • Education
    • Executive and Professional Education
    • Government and Policymakers
    • K-12
    • Stanford Students
  • Policy

    • Policy
    • Policy Publications
    • Policymaker Education
    • Student Opportunities
  • AI Index

    • AI Index
    • AI Index Report
    • Global Vibrancy Tool
    • People
  • News
  • Events
  • Industry
  • Centers & Labs

Stay Up To Date

Get the latest news, advances in research, policy work, and education program updates from HAI in your inbox weekly.

Sign Up For Latest News

Navigate
  • About
  • Events
  • AI Glossary
  • Careers
  • Search
Participate
  • Get Involved
  • Support HAI
  • Contact Us
eventConference

AI+Science: Accelerating Discovery

Status
Past
Date
Tuesday, May 05, 2026 8:30 AM - 6:45 PM PST/PDT
Location
Stanford University; Location disclosed to registered guests in email communications
Topics
Sciences (Social, Health, Biological, Physical)
Government, Public Administration
Overview
Speakers
Agenda
Overview
Speakers
Agenda
Share
Link copied to clipboard!
Event Contact
Stanford HAI
stanford-hai@stanford.edu

Related Events

Confronting Our AI Future: Hope, Fear, and the Choices Ahead
ConferenceOct 28, 20269:00 AM - 6:45 PM
October
28
2026

The rapid acceleration of AI comes with a profound wave of anxiety. Across every sector of society, people are facing unsettling questions about their worth and their place in a shifting world.

Conference

Confronting Our AI Future: Hope, Fear, and the Choices Ahead

Oct 28, 20269:00 AM - 6:45 PM

The rapid acceleration of AI comes with a profound wave of anxiety. Across every sector of society, people are facing unsettling questions about their worth and their place in a shifting world.

Carina Hong | AI That Can Prove It: From Mathematical Discovery to Verified Software
Oct 19, 202612:00 PM - 1:00 PM
October
19
2026

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.

Event

Carina Hong | AI That Can Prove It: From Mathematical Discovery to Verified Software

Oct 19, 202612:00 PM - 1:00 PM

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.

Nicholas Branigan | Non-ergodicity and Simpson’s paradox in neural correlates
SeminarOct 19, 20264:00 PM - 5:00 PM
October
19
2026

A Center for Neural Data Science Seminar Series

Event

Nicholas Branigan | Non-ergodicity and Simpson’s paradox in neural correlates

Oct 19, 20264:00 PM - 5:00 PM

A Center for Neural Data Science Seminar Series

Speakers

Keynote Speaker
Darío Gil
Under Secretary for Science, U.S. Department of Energy
Speakers
Russ Altman
Russ Altman
Kenneth Fong Professor of Bioengineering, Genetics, Medicine, Biomedical Data Science, and, by courtesy, of Computer Science, Stanford University | Associate Director and Senior Fellow, Stanford HAI
Elizabeth Barnes
Dalton Family Chair in Environmental Data Science & Sustainability and Professor of Computing & Data Sciences and of Earth & Environment, Boston University
Angèle Christin
Associate Professor of Communication, and, by courtesy, of Sociology, Stanford University | Senior Fellow, Stanford HAI
Kyle Cranmer
David R. Anderson Director of the UW–Madison Data Science Institute (DSI), powered by American Family Insurance
James Evans
Max Palevsky Professor, University of Chicago
Doug Finkbeiner
Professor of Astronomy and of Physics, Harvard University
John Hennessy
James F. and Mary Lynn Gibbons Professor of Computer Science and Electrical Engineering, Stanford School of Engineering, and the Shriram Family Director of Stanford’s Knight-Hennessy Scholars, Stanford University
Brian Hie
Assistant Professor of Chemical Engineering at Stanford University | HAI Faculty Affiliate, Stanford HAI
Carina Hong
Founder & CEO, Axiom
Eun-Ah Kim
Hans Bethe Professor of Physics, Cornell University
Jean Kossaifi
Senior Research Scientist, NVIDIA; PhD, Imperial College London
Anshul Kundaje
Assistant Professor of Genetics and Computer Science
Jonathan Levin
Jonathan Levin
President and Bing Presidential Professor, Professor of Economics at the Graduate School of Business, of Economics and Senior Fellow at the Stanford Institute for Economic Policy Research
fei fei li headshot
Fei-Fei Li
Founding Director, Stanford HAI | Sequoia Professor of Computer Science, Stanford University
David Lobell
Professor of Earth System Science and Senior Fellow at the Freeman Spogli Institute, at the Woods Institute for the Environment and at the Stanford Institute for Economic Policy Research
Benjamin Nachman
Associate Professor of Particle Physics and Astrophysics and, by courtesy, of Physics and of Statistics
Andreas Tolias
Professor of Ophthalmology, Stanford University
Laure Zanna
Joseph B. Keller and Herbert B. Keller Professor of Applied Mathematics, New York University
James Zou
Assistant Professor of Biomedical Data Science and, by courtesy, of Computer Science and of Electrical Engineering