Ex-DeepMind researcher applies AlphaGo search to hallucinations

Former DeepMind researcher Thore Graepel founded Metis Reasoning to bring AlphaGo's search principle to general reasoning: rather than locking knowledge in model weights, an explicit knowledge ledger would let every conclusion be checked against evidence. So far there is no working system or benchmark results.

• Ex-DeepMind researcher raising funds for AI reasoning startup2026-09-24
• Van der Waerden number w(2;3,21)=416 proved with AI-assisted Lean proof2026-10-30
• Alphabet loses $500B in market value, AI opportunity hidden2026-10-29
• Google says self-improving AI is nowhere close2026-10-14
• Kevin Kelly's 2016 AI predictions, 10 years later2026-10-12