DeepMind Discovers Simple Ways to Enhance Language Model Inference Capabilities


Google DeepMind launched the AI framework AlphaProof Nexus, achieving significant breakthroughs in the field of mathematical research through a four-level agent architecture. It successfully solved two 56-year-old Erdős problems. The system starts by interacting with the base model and Lean compiler, gradually increasing the complexity of reasoning, demonstrating the strong potential of AI in formal verification and mathematical reasoning.
Google announced a new 'compute-based billing' policy at I/O 2026, sparking global backlash from paid users. Reddit and X were flooded with complaints, with programmers and creators calling it a 'money grab.' Working for just 1-2 hours or having longer chat histories triggers a 5-hour cooldown.....
At Google I/O, DeepMind CEO Hassabis opposed the notion that AI would replace programmers, calling it a lack of imagination. He emphasized that AI should not be used as an excuse for layoffs, and technological progress should empower humans rather than replace jobs.
Baidu released its new language model Ernie5.1 on May 11, 2026, based on the pre-trained foundation of Ernie5.0 with 2.4 trillion parameters. Through a 'one-time elastic training framework', it achieves single training optimization for multiple model sizes, with pre-training cost only 6% of similar models. As of May 9, the model ranked fourth globally and first in China on the Arena Search ranking with 1223 points, demonstrating high resource utilization and performance balance.
Google DeepMind acquired a minority stake in CCP Games, developer of EVE Online, to integrate its virtual world into AI testing. CCP Games bought itself back from South Korea's Pearl Abyss for $120 million, rebranding as Fenris Creations, a significant valuation drop from 2018. The partnership aims to provide a sandbox environment for artificial general intelligence (AGI).....