Public KG record
internal OpenAI system
Recorded overview
An advanced AI system used to generate a proof for the Navier-Stokes existence a
An evidence-backed entity from the project knowledge graph; detailed tool metadata is still being added.
Recorded details
- Capabilities: mathematical proof generation
- Supported types: input and output are text-based mathematical reasoning
Evidence coverage
The KG currently records 7 known information dimensions and has 11 undocumented dimensions, linked to 1 public source articles. These counts describe record coverage, not model performance or verified fit.
Related public records
- GPT-6 Astra — outperforms
- Lean — uses
- OpenAI — develops
- OpenAI — uses