"Notably, we demonstrated through AlphaGeometry a neuro-symbolic approach for theorem proving by means of large-scale exploration from scratch, sidestepping the need for human-annotated proof examples and human-curated problem statements."

Trinh, T.H., Wu, Y., Le, Q.V. et al. Solving olympiad geometry without human demonstrations. Nature 625, 476–482 (2024). https://doi.org/10.1038/s41586-023-06747-5 #OpenAccess #OA #Article #Science #STEM #Geometry #ComputerScience #AI #ArtificialIntelligence #Tech #Technology #Maths #Math #Mathematics @science