An internal OpenAI system, not GPT-6 Astra, produced a 166 page proof concerning the Navier-Stokes equations in 88 hours. The claim is now caught in a dispute over credit.
Spline's V2 rewrites its 3D editor on WebGPU, but the bigger shift is an MCP server that lets coding agents edit a scene's objects and materials directly.
Inside Chiltern House, a full workplace interior we designed end to end in Marlow, our own home town, and what characterful but functional actually means for a space people use every working day.
Open House Festival's 35th year and London Design Festival's 24th edition both run 12 to 20 September 2026. Highlights include the 40th anniversary opening of Richard Rogers' Lloyd's Building and AI themed installations at the V&A.
Adobe's Substance 3D Painter 12.1 makes OpenPBR the default shading model for new projects and is converting its entire 14,000 plus asset library to match. Here is why a shared shading standard matters for anyone moving materials between tools.
Designing Lab Coffee, a coffee shop with no natural daylight and no street frontage in a basement under an office block, and building warmth into the space rather than apologising for the constraint.
Anthropic says Claude Code agents produced the first complete, machine checked Lean 4 formalisation of Andrew Wiles' proof of Fermat's Last Theorem in 11 days. Here is what machine checked formalisation actually means, and why it matters beyond one famous theorem.