This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Jesse Alama
jessealama.net
did:plc:iqtcettaszdo4xpf7d5hqitt
Incredible results with #lean and Gemini Deep Think by Tao in the Erdős Problem. It feels like a lot of doors in the formalization space, whether that's math or hardware/software verification, are opening quickly. https://mathstodon.xyz/@tao/115591487350860999
2025-11-26T13:58:01.329Z