AlphaProof, AlphaGeometry, ChatGPT, and why the future of AI is neurosymbolic - discu.eu

Hacker News

Why the future of AI is neurosymbolic. (A rare optimistic post from Gary Marcus) https://garymarcus.substack.com/p/alphaproof-alphageometry-chatgpt 36 comments 28/7/2024

Linking pages

Linked pages

AI achieves silver-medal standard solving International Mathematical Olympiad problems - Google DeepMind https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ 904 comments
AlphaGeometry: An Olympiad-level AI system for geometry - Google DeepMind https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/ 262 comments
AI winter - Wikipedia https://en.wikipedia.org/wiki/AI_winter 229 comments
Cyc - Wikipedia https://en.wikipedia.org/wiki/Cyc 188 comments
Insanity Is Doing the Same Thing Over and Over Again and Expecting Different Results – Quote Investigator http://quoteinvestigator.com/2017/03/23/same/ 108 comments
What if Generative AI turned out to be a Dud? https://garymarcus.substack.com/p/what-if-generative-ai-turned-out 39 comments
OpenAI Just Released SearchGPT. It’s Already Error Prone. - The Atlantic https://www.theatlantic.com/technology/archive/2024/07/searchgpt-openai-error/679248/ 31 comments
[2308.04445] Getting from Generative AI to Trustworthy AI: What LLMs might learn from Cyc https://arxiv.org/abs/2308.04445 4 comments
[2002.06177] The Next Decade in AI: Four Steps Towards Robust Artificial Intelligence https://arxiv.org/abs/2002.06177 2 comments
Douglas Lenat - Wikipedia https://en.wikipedia.org/wiki/Douglas_Lenat 1 comment

Related searches:

Search whole site: site:garymarcus.substack.com

Search title: AlphaProof, AlphaGeometry, ChatGPT, and why the future of AI is neurosymbolic

See how to search.

Submit link to: