“Deep learning is hitting a wall” is hitting a wall; even Gary Marcus is (correctly) hopeful about a coming wave of neurosymbolic systems, like AlphaProof, that use deep RL to guide formal methods.…

Posters: davidad. davidad

2 likes recorded by the source corpus.

Topics: AI & LLMs, AI safety

View Post: https://x.com/davidad/status/1817937119790158238