Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

neuro-symbolic AlphaGeometry tackles olympiad geometry

32 views
Skip to first unread message

nob...@nowhere.invalid

unread,
Jan 30, 2024, 5:41:26 PMJan 30
to

Artificial Intelligence is tackling Euclidean plane geometry:

Trieu H. Trinh et al., Solving olympiad geometry without
human demonstrations, Nature Jan. 2024,

<https://www.nature.com/articles/s41586-023-06747-5.pdf>

The neuro-symbolic system AlphaGeometry combines a language model (deep
neural network) with a symbolic deduction engine to solve olympiad
problems in Euclidean plane geometry.

Martin.
0 new messages