Mathematicians react to OpenAI's Navier-Stokes proof
Read original source →x.comOpenAI's internal model found a counterexample to Erdős's unit distance conjecture (open since 1946) in May, then published proofs of the Cycle Double Cover problem, ten more open problems by July, and Navier-Stokes in September. Scott Armstrong called the Navier-Stokes construction "unbelievable," possibly beyond what a human could devise.
People · Richard Borcherds, Scott Armstrong
How this story unfolded
7 days · 0 reports · 3 community posts · from Oct 19
- Oct 19
- Oct 25
- Oct 26
More stories today
Amazon memo tells engineers to be pickier about AI use
An internal Amazon memo pushes back on "tokenmaxxing," urging engineers to be more selective about when they use AI coding tools. The guidance lands as Amazon has rapidly spread AI across its business under CEO Andy Jassy.
CNBC Technology·1 hour ago
Latent Space podcast: how Anthropic ships Claude with Claude
Katelyn Lesse and Angela Jiang, Anthropic's heads of Engineering and Product, explain the Claude Platform: launching Opus 5.5, decoupling the model's "brain" from the agent's "hands," and rebuilding the Messages API in Rust. Anthropic credits a -126% loss to 19% GAAP profit turnaround to its improvement and investment loops.
Latent Space·1 hour ago
Mollick: thinner thinking traces push AI users toward automation
Ethan Mollick·1 hour agoVercel Agent sessions now cost 67% less
Vercel rebuilt how Agent manages context, cutting tokens per session and improving prompt-cache reuse across dashboard and Slack sessions. Billing rates are unchanged: paid sessions cost the model provider's inference rates plus a $0.25 per million token Vercel Agent fee.
Vercel Blog·2 hours ago
NYT reports software engineer's death tied to ChatGPT-4o use
Kashmir Hill·2 hours agoComfyUI text generator update adds context memory and prompt guides
The community-built ComfyUI text generator adds context memory so prompts can be refined across runs without re-pasting everything, plus new prompt guides and a cleaner UI.
r/ComfyUI·2 hours ago
Vercel's HarnessAgent adds image inputs across all harness adapters
The AI SDK HarnessAgent layer now accepts images alongside text in standard AI SDK message format, mixing text and file parts. Supported across all adapters: Claude Code, Cline, Codex, Cursor, Deep Agents, fx, GitHub Copilot, Grok Build, OpenCode, and Pi.
Nathan Lambert: org chart and team structure are underrated in LLM building
Nathan Lambert·2 hours ago
