OpenAI used private Codex sessions data to produce its Navier-Stokes proof
Privacy and data protection
Control over personal information in relationships and online services, including what partners and platforms may collect, share or expose.
4 debates·107 claims·12 news stories
AI training data
The datasets used to teach machine learning systems patterns, language, and behavior.
27 claims·18 news stories
AI for science
Accelerating scientific discovery using machine learning and AI methods.
26 claims·3 news stories
Machine learning
Algorithms and methods that allow systems to learn from data. Forms the foundation of most AI applications.
15 claims·2 news stories
AI developer tools
Tools for building and managing AI systems. Supports development, testing, and deployment.
8 claims·9 news stories
AI Navier-Stokes proof dispute
The September 2026 controversy over whether AI systems solved the Navier-Stokes Millennium Prize Problem, including a dispute over credit between OpenAI and mathematicians Tristan Buckmaster and Levent Alpoge.
5 claims·1 news story