#AI Research — Kunal Ganglani

AI Cracked Gödel's Notebooks: Hype vs Proof [2026]

AI helped decode 1,009 pages of Kurt Gödel's shorthand notebooks, said to hold hundreds of proved theorems. Here's the real OCR+LLM pipeline behind it — and why Penrose isn't impressed.

Keep exploring

Close to this topic, not on this page.

Evaluate AI Agents in Production: 3-Level Framework Most AI agent failures trace back to missing evals. 16 min read
Context Engineering for AI Agents: 4 Pillars Beyond Prompts Context engineering — the systematic management of what an AI agent knows, remembers, and can access at each step — is the discipline… 10 min read
Generative AI vs Agentic AI vs AI Agents, Explained Everyone's told to 'go agentic', but nobody agrees on what that means. 13 min read