Mathematician Scott Armstrong calls OpenAI Navier-Stokes result "unbelievable"
Read original source →runtimewire.com
NYU Courant professor Scott Armstrong said the October 25 construction may be beyond what a human could have devised, though not beyond human understanding. An October preprint questions whether OpenAI's Lean formalization matches its written proof.
People · Scott Armstrong
2 sources
More stories today
Coding agents can induce manic overwork with little real output
Thariq·2 hours agoY Combinator video pitches AI for city hall permitting work
Y Combinator argues AI can automate plan reviews, zoning checks, inspections, licensing and public records, work still done largely by hand. It cites 19,000 US cities and notes permits can take longer to obtain than building the house.
YouTube·3 hours ago
Altman: OpenAI weighed flat-fee pricing, backed off after feedback
OpenAI considered dropping token-based pricing for its next model, letting developers submit a prompt and get a price for the work, before negative customer feedback reversed the plan, Sam Altman said. He spoke Thursday.
The New Stack·3 hours ago
DeepMind launches economics of AGI research program
Alex Imas·3 hours ago
EQUS launches beta of EQUS X personal assistant
Robert Scoble·3 hours ago
Brain-wave preference signals shown steering AI face generation
Robert Scoble·3 hours ago
Speridlabs' Idol turns a single image into a 3D Gaussian splat
Idol converts one photo, render, or generated image into up to 1,048,576 Gaussians, output as a standard 3DGS .ply file. It strips the background and frames the object automatically, running on consumer GPUs at 7.2 GB of VRAM.
r/StableDiffusion·3 hours ago
AWS Hydro team builds compiler checks for AI coding agents
Hydro, an open-source Rust framework for distributed systems, added a way to verify a system still works correctly when it resends messages after a failure. Shadaj Laddad said the resulting change was "like a 5000 line PR."
