AlphaGeometry is an artificial intelligence (AI) program that can solve hard problems in Euclidean geometry. It was developed by DeepMind, a subsidiary of Google. The program solved 25 geometry problems out of 30 from the International Mathematical Olympiad (IMO) under competition time limits—a performance almost as good as the average human gold medallist. For comparison, the previous AI program, called Wu's method, managed to solve only 10 problems.[1][2]
DeepMind published a paper about AlphaGeometry in the peer-reviewed journal Nature on 17 January 2024.[3] AlphaGeometry was featured in MIT Technology Review on the same day.[4]
Traditional geometry programs are symbolic engines that rely exclusively on human-coded rules to generate rigorous proofs, which makes them lack flexibility in unusual situations. AlphaGeometry combines such a symbolic engine with a specialized large language model trained on synthetic data of geometrical proofs. When the symbolic engine doesn't manage to find a formal and rigorous proof on its own, it solicits the large language model, which suggests a geometrical construct to move forward. However, it is unclear how applicable this method is to other domains of mathematics or reasoning, because symbolic engines rely on domain-specific rules and because of the need for synthetic data.[5]
^"AlphaGeometry: An Olympiad-level AI system for geometry". Deepmind. Retrieved 26 January 2024.
^"A.I.'s Latest Challenge: the Math Olympics". The New York Times. Retrieved 26 January 2024.
^"Solving olympiad geometry without human demonstrations". Nature. Retrieved 26 January 2024.
^"Google DeepMind's new AI system can solve complex geometry problems". MIT Technology Review. Retrieved 26 January 2024.
^Zia, Tehseen (January 24, 2024). "AlphaGeometry: DeepMind's AI Masters Geometry Problems at Olympiad Levels". Unite.ai. Retrieved 2024-05-03.
AlphaGeometry is an artificial intelligence (AI) program that can solve hard problems in Euclidean geometry. It was developed by DeepMind, a subsidiary...
different" from previous approaches. AlphaGeometry is a neuro-symbolic AI that was able to solve 25 out of 30 geometry problems of the International Mathematical...
Environment, without being pre-programmed with their rules. AlphaGo AlphaDev AlphaFold AlphaGeometry General game playing MuZero Leela Chess Zero Pluribus (poker...
In computational geometry, an alpha shape, or α-shape, is a family of piecewise linear simple curves in the Euclidean plane associated with the shape of...
Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds....
In mathematics, contact geometry is the study of a geometric structure on smooth manifolds given by a hyperplane distribution in the tangent bundle satisfying...
mathematics, hyperbolic geometry (also called Lobachevskian geometry or Bolyai–Lobachevskian geometry) is a non-Euclidean geometry. The parallel postulate...
polygon with three corners and three sides, one of the basic shapes in geometry. The corners, also called vertices, are zero-dimensional points while the...
In plane Euclidean geometry, a rhombus (pl.: rhombi or rhombuses) is a quadrilateral whose four sides all have the same length. Another name is equilateral...
crystallography, the geometry index or structural parameter (τ) is a number ranging from 0 to 1 that indicates what the geometry of the coordination center...
In computer graphics, alpha compositing or alpha blending is the process of combining one image with a background to create the appearance of partial or...
The following is a timeline of key developments of geometry: ca. 2000 BC – Scotland, carved stone balls exhibit a variety of symmetries including all of...
Geometry processing is an area of research that uses concepts from applied mathematics, computer science and engineering to design efficient algorithms...
x n , {\displaystyle \sum _{i=1}^{n}{\alpha _{i}\cdot x_{i}}=\alpha _{1}x_{1}+\alpha _{2}x_{2}+\cdots +\alpha _{n}x_{n},} such that ∑ i = 1 n α i = 1...
Interactive geometry software (IGS) or dynamic geometry environments (DGEs) are computer programs which allow one to create and then manipulate geometric...
Molecular geometry is the three-dimensional arrangement of the atoms that constitute a molecule. It includes the general shape of the molecule as well...
In mathematics, continuous geometry is an analogue of complex projective geometry introduced by von Neumann (1936, 1998), where instead of the dimension...
of Giza, symbols of foundation, sacred geometry, and more, are other African images chosen by Alpha Phi Alpha as fraternity icons. The fraternity's 21st...