Articles tagged Formal verification
One article tagged Formal verification, newest first, on technology, money and the internet.
- Engineering10 min read
OpenAI published its Navier–Stokes proof, and the check that settles it is missing
A widely shared post says OpenAI spied on a mathematician's private chats to crack Navier–Stokes. Nobody alleges that, including the mathematician. What the announcement actually claims, why the forcing term is permitted by Fefferman's own statement C, and the one verification nobody has published.