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
Really alarming to see this story of "LLM psychosis".I first saw it in a video by Nate Jones. It looks like there's an attempt to solve the wildly difficult Navier-Stokes problem, backed up by a Lean formalization. youtu.be/AzOJ9QLgfIk
https://youtu.be/AzOJ9QLgfIk
2026-01-10T13:58:03.232Z