This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Mark Crowley
compthink.bsky.social
did:plc:7xmdqtvxy43625hisyy4wksb
Very nice update on how LLM based AI systems are being used to solve various open math problems. The big distinction I try to keep in mind is, why can they do this and programming so well, but can't do other kinds of complex reasoning?
https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803/
2026-08-07T15:13:37.774Z