Unverified50% confidenceBenchmarkExact time
DeepMind's AlphaProof reached a silver medal level at the 2024 International Mathematical Olympiad (IMO)
1
Sources
50%
Confidence
Long-term
Relevance
9/11/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedAlphaProof and AlphaGeometry are mathematical AI systems launched by Google DeepMind in 2024, and together they solved 4 out of 6 problems in the 2024 IMO test.76% similarVerifiedIn 2024, AlphaProof and AlphaGeometry 2 jointly solved 4 out of 6 problems at the IMO competition, equivalent to a silver medal score.73% similarUnverifiedAlphaFold, released by DeepMind in 2020, overwhelmingly surpassed traditional methods at the CASP14 competition and was named the Breakthrough of the Year 2021 by Science magazine.68% similarUnverifiedThe AI competitive landscape in 2024–2025 includes Google DeepMind's Gemini, Anthropic's Claude, Meta's open-source Llama series, xAI's Grok, and Mistral.65% similarUnverified当前主流AI实验室包括OpenAI、Anthropic、Google DeepMind对AGI的时间线预测从数年到数十年不等61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/903835API
curl https://kongchang.com/api/v1/knowledge/claims/903835MCP
get_claim(id=903835)