Stanford
University
  • Stanford Home
  • Maps & Directions
  • Search Stanford
  • Emergency Info
  • Terms of Use
  • Privacy
  • Copyright
  • Trademarks
  • Non-Discrimination
  • Accessibility
© Stanford University.  Stanford, California 94305.
Yoav Shoham | Understanding Understanding | Stanford HAI

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

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
Navigate
  • About
  • Events
  • AI Glossary
  • Careers
  • Search
Participate
  • Get Involved
  • Support HAI
  • Contact Us
eventSeminar

Yoav Shoham | Understanding Understanding

Status
Past
Date
Wednesday, May 10, 2023 10:00 AM - 11:00 AM PST/PDT
Location
Virtual
Topics
Arts, Humanities
Sciences (Social, Health, Biological, Physical)
Overview
Watch Event Recording
Overview
Watch Event Recording
Share
Link copied to clipboard!
Event Contact
Madeleine Wright
mwright7@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.

Serena Wang: From Metric Selection to Metric Discovery in AI Evaluation
SeminarOct 16, 20261:00 PM - 2:15 PM
October
16
2026
Seminar
Your browser does not support the video tag.

Serena Wang: From Metric Selection to Metric Discovery in AI Evaluation

Oct 16, 20261:00 PM - 2:15 PM
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.

The question of whether machines can really understand. Lovelace and Searle thought not. Turing thought yes. (Ok that’s not totally accurate, but let’s not ruin a good story.) With the advent of LLMs the question has resurfaced in force, again with some strong skeptics such as Bender et al. In this seminar, Yoav Shoham shares his views, based mostly on work at AI21 Labs. Spoilers: (1) He’s with Turing. (2) LLMs, as currently built, are necessary but not sufficient. (3) The question is more interesting than the answer.

Speaker
Yoav Shoham
Professor Emeritus of Computer Science, Stanford University