Unverified50% confidenceEventExact time
OpenAI于2026年8月1日宣布其内部模型Astra解决了十道数学界长期悬而未决的难题
1
Sources
50%
Confidence
Long-term
Relevance
8/15/2026
First Seen
Sources
Related Claims
UnverifiedOpenAI independently launched the "o-series" in 2024, specifically targeting scenarios that require multi-step reasoning such as math competitions and code debugging.68% similarVerifiedThe OpenAI o1 series models were released in September 2024, representing a paradigm shift in LLMs from fast, intuitive responses to deep reasoning.65% similarUnverifiedOpenAI 于 2023 年率先将 Function Calling 能力标准化，国内的 DeepSeek、月之暗面等模型随后跟进支持65% similarUnverifiedOpenAI's plan to release a new open model in the summer of 2025 has been postponed indefinitely, citing the need for further safety testing.64% similarUnverifiedOpenAI launched the Structured Outputs feature in August 2024, whose underlying implementation is grammar-constrained sampling technology.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)