Unverified50% confidenceEventExact time
OpenAI于2026年8月1日宣布其内部模型Astra解决了十道数学界长期悬而未决的难题
1
Sources
50%
Confidence
Long-term
Relevance
8/15/2026
First Seen
Sources
Related Claims
UnverifiedOpenAI于2024年独立推出「o系列」，专门针对数学竞赛、代码调试等需要多步推理的场景68% similarVerifiedOpenAI o1系列模型于2024年9月发布，代表了LLM从快速直觉式回答向深度推理的范式转变65% similarUnverifiedOpenAI 于 2023 年率先将 Function Calling 能力标准化，国内的 DeepSeek、月之暗面等模型随后跟进支持65% similarUnverifiedOpenAI原计划于2025年夏天发布一款新的开放模型，现已无限期推迟发布，理由是需要进一步的安全测试64% similarUnverifiedOpenAI于2024年8月推出Structured Outputs功能，其底层实现是文法约束采样技术64% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/753172API
curl https://kongchang.com/api/v1/knowledge/claims/753172MCP
get_claim(id=753172)