Unverified50% confidenceReleaseExact time
AlphaGeometry is a geometric theorem proving system released by DeepMind in early 2024.
1
Sources
50%
Confidence
Long-term
Relevance
9/12/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.80% 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.76% similarUnverifiedIn 2024, the AlphaGeometry system reached gold-medal level on geometry problems.70% similarUnverifiedAlphaTensor在2022年发现了新的矩阵乘法算法69% similarUnverifiedDeepMind's AlphaProof reached a silver medal level at the 2024 International Mathematical Olympiad (IMO)68% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/914785API
curl https://kongchang.com/api/v1/knowledge/claims/914785MCP
get_claim(id=914785)