I feel like microscope AI hasn’t really been abandoned. LLMs writing code and Lean proofs is evidence that people want (and are building) symbolic versions of fluid intelligence.
I feel like microscope AI hasn’t really been abandoned. LLMs writing code and Lean proofs is evidence that people want (and are building) symbolic versions of fluid intelligence.