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

441e85161TopicService

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

Opening sign-in…