公开知识图谱记录
internal OpenAI system
记录摘要
An advanced AI system used to generate a proof for the Navier-Stokes existence a
来自项目知识图谱的有来源实体；具体工具属性仍需补齐。
已记录信息
- 能力: mathematical proof generation
- 支持类型: input and output are text-based mathematical reasoning
资料覆盖
知识图谱当前记录了 7 个已知资料维度，另有 11 个维度尚未记录，关联 1 篇公开资料。这些数字只描述资料覆盖，不代表模型性能或适配性已经验证。
相关公开记录
- GPT-6 Astra — 胜过
- Lean — 采用
- OpenAI — 研发
- OpenAI — 采用