#AI mathematics
3 articles tagged AI mathematics. At twelve articles this topic starts lifting the whole site in search.
Timeline
-
What the Navier-Stokes problem is — and why OpenAI won't claim the prize
-
Formal proofs, explained — the machinery that makes AI math believable
-
An AI touched ten open math problems — and a Fields Medalist nodded
All articles
-
Tech · 2 min readWhat the Navier-Stokes problem is — and why OpenAI won't claim the prize
The equations — describe fluid motion; whether 3D solutions always stay smooth is a Millennium Prize Problem worth 1 million dollars
-
Tech · 2 min readFormal proofs, explained — the machinery that makes AI math believable
Formal proofs encode every logical step in languages like Lean for mechanical checking
-
Tech · 2 min readAn AI touched ten open math problems — and a Fields Medalist nodded
OpenAI's internal model Astra claims to have solved or advanced ten open problems