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
In his book, "The Proof in the Code: How a Truth Machine Is Transforming Math and AI," @kevinhartnett.bsky.social tells the story of computer program Lean in an effort to answer a longstanding question: Can computers reveal universal truths? Out today from @quantabooks.org: https://bit.ly/43X5To1
2026-06-09T18:43:15.468Z