topic
Formal Proofs
1 post tagged Formal Proofs.
AI Models & Research3 min read
OpenAI's Navier-Stokes claim and what AI math means for builders
OpenAI says an unreleased system found a candidate answer to a Millennium Prize problem. Mathematicians haven't accepted it, and the dispute over credit and verification is the part engineers should study.
- ai-math
- openai
- verification
- agentic-ai
- formal-proofs