已验证65% 置信事实精确时间
OpenAI的AI系统已经解决了超过100个开放性数学问题（open problems）
3
来源数
65%
置信度
中期 (~90 天)
时效性
2026/9/21
首次发现
有效期至：2026/12/20
来源
涉及实体
相关事实
待验证OpenAI近期公布了其模型在数学问题求解上的表现，涉及对复杂数学命题的推理与证明尝试77% 相似待验证OpenAI正在与博通合作开发用于AI推理任务的专用芯片71% 相似部分验证OpenAI公开发布了722篇AI生成的数学手稿，覆盖372个结果族，来自对内部模型约4000个数学研究问题的测试70% 相似待验证OpenAI将把其最先进的AI模型能力以更低成本甚至免费的方式提供给符合条件的关键服务机构，用于威胁检测、事件响应、漏洞分析等安全场景68% 相似待验证Reports on Hacker News and other tech communities claim that an internal OpenAI model codenamed 'Astra' solved 10 major open problems in mathematics and computer science68% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/939635API
curl https://kongchang.com/api/v1/knowledge/claims/939635MCP
get_claim(id=939635)