Verified85% confidenceFactTime unknown
In 2024, Google DeepMind's AlphaProof and AlphaGeometry 2 achieved a silver medal level on IMO-level problems for the first time.
5
Sources
85%
Confidence
Long-term
Relevance
6/1/2026
First Seen
Sources
Related Entities
Related Claims
VerifiedGoogle DeepMind's AlphaProof system combined reinforcement learning within a formal framework in 2024 to tackle International Mathematical Olympiad problems75% similarUnverifiedIn 2024, a model introduced by Google DeepMind answered 4 out of 6 problems correctly on the IMO exam.72% similarUnverifiedGoogle DeepMind在2023年发表的论文中提出了一个从新兴AGI到超人AGI的五级分类框架68% similarVerifiedThe emergent ability phenomenon was systematically documented by the Google DeepMind research team in 2022.67% similarUnverifiedGoogle DeepMind applied reinforcement learning to chip floorplanning in 2019 and published the findings in Nature in 2021, demonstrating that AI can surpass human experts on specific EDA sub-tasks.66% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/20030API
curl https://kongchang.com/api/v1/knowledge/claims/20030MCP
get_claim(id=20030)