This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Simons Foundation
simonsfoundation.org
did:plc:sr7gktoswdiw4bawp26xfrdx
Our Presidential Lecture with Terence Tao on "Machine-Assisted Proofs" is now available to watch online: https://www.simonsfoundation.org/event/machine-assisted-proofs/ #math #AI
2025-02-21T17:00:54.659Z