Fields Medalist says OpenAI solved 350 of his problems

A cybersecurity expert with 10 years in the field watched GLM 5.3, described as ancient by LLM standards, reverse engineer a Dell monitor in 15 minutes using the Ghidra MCP. The demo was posted to r/Singularity.

A Reddit r/ClaudeAI user reports Claude refuses to help reverse engineer or bypass proprietary software while attempting custom firmware for a Titan One device. No workaround or resolution is described in the post.

Gavriel Cohen built NanoClaw in a 40-hour weekend as a container-isolated alternative to OpenClaw, released under the MIT license. The project became a viral open source hit and the foundation of enterprise AI company NanoCo, built on containers, TypeScript, and a two-database SQLite design.

Guest post by Thomas Hales on Terry Tao's blog covers formal proof systems, noting Lean was introduced by Leo de Moura in 2013 while at Microsoft and made open-source. Fermat's Last Theorem, Navier-Stokes forced blowup, and the 8- and 24-dimensional sphere packing problem were all formalized this year.

Jane Street research intern Kavish built a diffusion model to synthesize order-book events, including order arrival timing, as part of the firm's 2026 summer intern projects. The post weighs whether market data is continuous like video or discrete like text, noting spiky distributions such as pennying being more common than two-tick improvements.

A Reddit user created four mockups of what ChatGPT might have looked like on Windows 98, XP, Vista, and 7, imagining the interface evolving from a clunky Netscape-era question-and-answer page.