Рет қаралды 150
Alpha Geometry:
#AlphaGeometry is a neuro-symbolic system made up of a #neural language model and a symbolic deduction engine, which work together to find proofs for complex geometry theorems. Because language models excel at identifying general patterns and relationships in data, they can quickly predict potentially useful constructs, but often lack the ability to reason rigorously or explain their decisions. Symbolic deduction engines, on the other hand, are based on formal logic and use clear rules to arrive at conclusions.
AlphaGeometry’s language model guides its symbolic deduction engine towards likely solutions to geometry problems. Olympiad geometry problems are based on diagrams that need new geometric constructs to be added before they can be solved, such as points, lines or circles. AlphaGeometry’s language model predicts which new constructs would be most useful to add, from an infinite number of possibilities. These clues help fill in the gaps and allow the symbolic engine to make further deductions about the diagram and close in on the solution.
#parvinderkhari
Nature com Paper
www.nature.com...
Deep Mind Blog:
deepmind.googl...