Unverified50% confidenceReleaseExact time
AlphaProof 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.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/10/2026
First Seen
Valid until: 12/9/2026
Sources
Related Entities
Related Claims
UnverifiedIn the 2024 IMO test, AlphaProof solved multiple problems including the most difficult Problem 6.76% similarVerifiedIn 2024, AlphaProof and AlphaGeometry 2 jointly solved 4 out of 6 problems at the IMO competition, equivalent to a silver medal score.75% similarVerifiedAlphaGeometry was published in Nature in early 2024, using a neural-symbolic hybrid approach to solve geometric proof problems and trained on approximately 100 million synthetic data points.70% similarUnverifiedIn 2024, the AlphaGeometry system reached gold-medal level on geometry problems.66% similarUnverifiedAlphaTensor在2022年发现了新的矩阵乘法算法66% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/887001API
curl https://kongchang.com/api/v1/knowledge/claims/887001MCP
get_claim(id=887001)