Hacker Newsroom for 10 May: ChatGPT Proofs, Archive Switzerland, Bun Rust Rewrite, EU VPN Push

Hacker Newsroom for 10 May recaps major Hacker News stories, moving through chatgpt proofs, archive switzerland, bun rust rewrite, eu vpn push. 1. ChatGPT Proofs Tim Gowers’s recent post on ChatGPT 5. 5 Pro says the model helped produce a PhD-level math result in about an hour, including a stronger bound on a combinatorics problem that a human expert thought looked correct. Story link Hacker News discussion 2. Archive Switzerland The next story is about Internet Archive Switzerland, a new Swiss non-profit in St. Gallen that says it will preserve endangered archives and start collecting AI models. Story link Hacker News discussion 3. Bun Rust Rewrite The next story is a tweet about Bun’s experimental Rust rewrite, which the team says now passes 99. 8% of its existing Linux x64 glibc test suite after six days of work. Story link Hacker News discussion 4. EU VPN Push The next article looks at a European Parliamentary Research Service warning that VPNs are becoming a loophole in age-verification rules, and suggesting lawmakers may try to close it. The article says regulators across Europe and the US are pushing harder on online child-safety checks, but VPNs still let users route around location-based blocks, which raises privacy and surveillance concerns. Story link Hacker News discussion 5. Claude HTML The next story is a tweet about why Claude Code works so well when it generates HTML instead of plain Markdown. The basic argument is that HTML is a stronger output format for agent-produced docs, interactive prototypes, and small tools because it is easier to render, link, and use directly without extra conversion. Story link Hacker News discussion 6. LLM Doc Corruption The next story is about a new arXiv paper arguing that LLMs can quietly corrupt documents when you hand them delegated editing work. The article describes a benchmark called DELEGATE-52 across 52 professional domains and says even frontier models accumulated sparse but severe errors, with roughly 25% of document content degraded by the end of long workflows and no clear improvement from agentic tool use. Story link Hacker News discussion That's it for today, I hope this is going to help you build some cool things.