Neuro Symbolic AI

concepts · 2 notes linked

Related: Google Deepmind · Alphageometry · Theorem Proving · AI Reasoning · Gary Marcus · Yann LeCun · Meta · Judea Pearl

Notes

• AI critic Gary Marcus: Meta's LeCun is finally coming around to the things I said years ago — Gary Marcus argues deep learning alone cannot achieve general intelligence
• AlphaGeometry: An Olympiad-level AI system for geometry — Neuro-symbolic AI solves Olympiad geometry by combining LM with deduction engine