Open Source

Finally, we have a very cool open-source model from Google DeepMind!  Alpha Geometry solves Olympiad-level geometric problems and is trained fully on synthetic data!!

AlphaGeometry is cool because it combines the predictive power of a neural language model with a rule-bound deduction engine, which works in tandem to find solutions.