OpenAI mistranslated mathematics into code for its Navier-Stokes proof
New Scientist says OpenAI mistranslated math into code for its Navier-Stokes proof.
Stories per day · 30 days
2 RSS
4 stories, newest first · one card per story
Stories tagged #formal-proof
SqueezeBench: Saturation-Resilient Evaluation of Mathematical Capability
SqueezeBench forces math submissions to strictly improve certified bounds instead of saturating fixed problems.
AI-assisted proof of optimal packing for 11 squares
A GitHub project presents an AI-assisted formal proof of optimal packing for 11 equal squares.
On the Navier–Stokes Millennium Prize Problem
OpenAI announced an AI-generated solution to the Navier-Stokes Millennium Prize Problem, including a writeup and a formal Lean proof.