Evidence

Format Web Page

"Gödel’s incompleteness theorems establish limits on what sufficiently expressive, consistent and effectively axiomatized formal systems can prove within themselves."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 14: AGI & THE SYNTHESIZER Grounding the Map

Source title Gödel's Incompleteness Theorems

Source authors Panu Raatikainen

Source year 2025

Confidence high

Importance mid

Format Online paper / PDF

"The Cyc project illustrates the substantial difficulty of explicitly encoding broad common-sense knowledge and overcoming the brittleness of narrow expert systems."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 14: AGI & THE SYNTHESIZER Grounding the Map

Source title CYC: Using Common Sense Knowledge to Overcome Brittleness and Knowledge Acquisition Bottlenecks

Source authors Douglas B. Lenat; Mayank Prakash; Mary Shepherd

Source year 1985

Confidence high

Importance high

Format Web Page

"Paul Graham criticized the assumption that knowledge could be adequately represented as lists of predicate-logic expressions over abstract concepts."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 14: AGI & THE SYNTHESIZER Grounding the Map

Source title Hackers and Painters

Source authors Paul Graham

Source year 2003

Confidence high

Importance mid

Format Tweet

"François Chollet argues that software harnesses orchestrating neural-network calls can themselves be regarded as neuro-symbolic architectures."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 14: AGI & THE SYNTHESIZER Grounding the Map

Source title François Chollet on neural models and software harnesses

Source authors François Chollet

Source year 2026

Confidence high

Importance high

Format Web Page

"Claude Code can use verification loops that turn test results and other explicit checks into feedback for subsequent revisions."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 14: AGI & THE SYNTHESIZER Grounding the Map

Source title Building verification loops in Claude Code with skills

Source authors Delba de Oliveira

Source year 2026

Confidence high

Importance high

Format Web Page

"Codex can operate in an iterative loop that produces changes, executes validation, examines the results and revises its work."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 14: AGI & THE SYNTHESIZER Grounding the Map

Source title Build iterative repair loops with Codex

Source authors Shreekant Agrawal

Source year 2026

Confidence high

Importance high

Format Web Page

"Claude Code relies on a surrounding software harness to execute model-proposed actions, manage context and enforce permissions."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 14: AGI & THE SYNTHESIZER Grounding the Map

Source title Dive into Claude Code

Source authors VILA Lab

Source year 2026

Confidence high

Importance high

Format Online paper / PDF

"By one VILA Lab analysis of Claude Code v2.1.88, approximately 1.6% of the codebase is classified as AI decision logic, while the remaining 98.4% is supporting infrastructure."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 14: AGI & THE SYNTHESIZER Grounding the Map

Source title Dive into Claude Code: The Design Space of Today's and Future AI Agent Systems

Source authors Jiacheng Liu; Xiaohan Zhao; Xinyi Shang; Zhiqiang Shen

Source year 2026

Confidence high

Importance high

Format Web Page

"Google’s AlphaGeometry combines neural proposals for auxiliary geometric constructions with a symbolic deduction engine that verifies the resulting mathematical steps."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 14: AGI & THE SYNTHESIZER Grounding the Map

Source title AlphaGeometry: An Olympiad-level AI system for geometry

Source authors Trieu Trinh; Thang Luong

Source year 2024

Confidence high

Importance high

Format Online paper / PDF

"Even pure-noise inputs can activate coherent and meaningful semantic concepts inside transformer models."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 14: AGI & THE SYNTHESIZER Grounding the Map

Source title From Noise to Narrative: Tracing the Origins of Hallucinations in Transformers

Source authors Praneet Suresh; Jack Stanley; Sonia Joseph; Luca Scimeca; Danilo Bzdok

Source year 2025

Confidence high

Importance high