Expired50% confidenceFactExact time
In 2024, the o1 series models reached the International Master level on Codeforces
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
7/25/2026
First Seen
This claim has expired. It is kept for the record and no longer describes the current state.
Valid until: 10/23/2026(expired)
Sources
The Rise of General AI: Breakthroughs in Mathematical Reasoning and Competitive Programming
redditr/singularity7/11/2026
Related Claims
UnverifiedAs of 2025, domestically developed large models have reached internationally top-tier levels across multiple benchmark tests.65% similarUnverifiedBetween 2023 and 2024, the emergence of Meta's open-source LLaMA series and Mistral's open-weight models enabled developers to deploy high-quality models locally.64% similarUnverified海外已经跑出了Lovable、bolt.new、v0等一批AI驱动的零代码开发平台，该赛道在2024年迎来爆发64% similarPartially VerifiedA large number of AI-native no-code development platform competitors emerged between 2024 and 2025, including Bolt.new, Lovable, and v062% similarUnverified2022-2023 年间「大模型+工具调用」的可行性被相继验证62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/611405API
curl https://kongchang.com/api/v1/knowledge/claims/611405MCP
get_claim(id=611405)