This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Techpresso
techpresso.bsky.social
did:plc:t3o4nfbk4lq62necw2n35m4f
BREAKING: AI systems have now autonomously solved longstanding open math problems, with Google DeepMind's AlphaProof Nexus cracking nine Erdős problems that had remained unsolved for up to 56 years.
2026-05-25T20:45:28.991Z