Truth, proof, and AI: AI and the V challenge

Name: Truth, proof, and AI: AI and the V challenge
Start: 2026-12-03T17:00:00+00:00
Location: Oxford

community

Date & Time

Thu, 3 Dec 2026

17:00

Tickets

View original & register

On Mathematical Institute - Events

Hugh Woodin explores AI’s theorem-proving advances and the challenges posed by the universe of sets V.

• Discover something new in Oxford

• Be part of the city's vibrant events scene

website