Mathematicians Timothy Gowers and Peter Sarnak say large language models (LLMs) are strong at calculation but lack the intuition for creative mathematical breakthroughs, according to separate essays p…
Jeff Dean, former Google AI leader, raised $1 billion in seed funding for Discovery Loop at a $10 billion valuation to automate scientific discovery. The company aims to build a generalized system tha…
A researcher argues that large language models (LLMs) could achieve scientific breakthroughs like General Relativity through deductive reasoning, countering the ICML 2026 position paper by Tom Zahavy …
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" — …
A developer built Bookmark Brain, a RAG pipeline trained on 70,000 of their own X bookmarks, and found it can retrieve and compose answers in their voice but cannot resolve contradictions between book…