A 2026 position paper from Google DeepMind titled "LLMs Can't Jump," authored by research scientist Tom Zahavy, argues that today's foundation models have mastered induction and deduction but are stru…
Google DeepMind's AlphaProof solved three of five non-geometry problems at the 2024 International Mathematical Olympiad, a feat enabled by the formal language Lean, which provides a verifiable environ…
Tom Zahavy, a Google DeepMind researcher and co-author of AlphaProof, argues in an ICML 2026 position paper that large language models have mechanized induction and deduction but lack a mechanism for …
Google DeepMind researcher Tom Zahavy argues in a position paper that large language models cannot spark scientific revolutions because they lack the cognitive mechanism of "manipulative abduction" — …
Spotify's data assistant handles over 13,000 conversations using a domain-expert-owned context layer. DeepMind's AlphaProof Nexus closes nine Erdős problems. GitHub releases Spec-Kit for spec-driven d…
OpenAI's GPT-next model disproved the 80-year-old Erdős planar unit distance problem in under 32 hours at a cost of less than $1,000, marking the first instance of a general-purpose AI solving a well-…