On the Navier–Stokes Millennium Prize Problem
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 10 posts.
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Interpretability research on Claude's internal thoughts.
All modern language models sometimes act like they have emotions. What’s behind these behaviors? Our interpretability team investigates.
I want the Dunning-Kruger effect to be real. First described in a seminal 1999 paper by David Dunning and Justin Kruger, this effect has been the darling of journalists who want to explain why dumb people don’t know they’re dumb. There’s even video of a fantastic pastiche of Turandot’s famous aria, Nessun dorma…
Our progress toward recursive self-improvement, and its implications.
The good educator insists on exercise, play, and plentiful sleep: "the great cordial of nature."
Compare live air quality rankings for major cities worldwide. See real-time AQI levels and pollution conditions by location.
OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.
A new system developed at MIT CSAIL helps users design three-sided fasteners called “Y-zippers,” then 3D prints them. The devices can be attached or embedded to camping equipment, medical gear, robots, and art installations, seamlessly switching each item between soft and rigid.
A new preprint shows GPT-5.2 proposing a new formula for a gluon amplitude, later formally proved and verified by OpenAI and academic collaborators.