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
view the rest of the comments
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.