this post was submitted on 18 Jan 2024
14 points (93.8% liked)

Futurology

3188 readers
15 users here now

founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] Lugh@futurology.today 2 points 2 years ago

It will be interesting to see if they can take this symbolic engine approach further. Geometry problems are very neat and tidy, compared to using logic to solve real world problems. In particular I wonder if this could be some small step towards AGI.