Mike Olson
Mike Olson boosted

Gary Marcus is onto something in here. Maybe true AGI is not so impossible to reach after all. Just probably not in the near future but likely within 20 years.

"For all the efforts that OpenAI and other leaders of deep learning, such as Geoffrey Hinton and Yann LeCun, have put into running neurosymbolic AI, and me personally, down over the last decade, the cutting edge is finally, if quietly and without public acknowledgement, tilting towards neurosymbolic AI.

This essay explains what neurosymbolic AI is, why you should believe it, how deep learning advocates long fought against it, and how in 2025, OpenAI and xAI have accidentally vindicated it.

And it is about why, in 2025, neurosymbolic AI has emerged as the team to beat.

It is also an essay about sociology.

The essential premise of neurosymbolic AI is this: the two most common approaches to AI, neural networks and classical symbolic AI, have complementary strengths and weaknesses. Neural networks are good at learning but weak at generalization; symbolic systems are good at generalization, but not at learning."

https://garymarcus.substack.com/p/how-o3-and-grok-4-accidentally-vindicated

#AI#NeuralNetworks#DeepLearning#SymbolicAI#NeuroSymbolicAI#AGI

…the empires of AI won’t give up their power easily. The rest of us will need to wrest back control of this technology’s future. …we can all resist the narratives that OpenAI and the AI industry have told us to hide the mounting social and environmental costs of this technology behind an elusive vision of progress.
—Karen Hao, Empire of AI: Dreams and Nightmares in Sam Altman's OpenAI
#ai #agi #openai #samaltman #altman

Automated planning and scheduling

https://en.wikipedia.org/wiki/Automated_planning_and_scheduling

Satplan

https://en.wikipedia.org/wiki/Satplan

"Satplan (better known as Planning as Satisfiability) is a method for automated planning. It converts the planning problem instance into an instance of the Boolean satisfiability problem (SAT), which is then solved using a method for establishing satisfiability such as the DPLL algorithm or WalkSAT"

Fascinating! 🤓

2/3

#SAT #AI #ArtificialIntelligence#NoLLM

AIXI

https://en.wikipedia.org/wiki/AIXI

"AIXI /ˈaɪksi/ is a theoretical mathematical formalism for artificial general intelligence. It combines Solomonoff induction with sequential decision theory. AIXI was first proposed by Marcus Hutter in 2000[...]."

"[...]AIXI is incomputable."

3/3

#AI #ArtificialIntelligence#Gödel#AGI#ArtificialGeneralIntelligence