Google Genie 4 Turns Videos into Real-Time Explorable Worlds · 1028-775
Editorial standards and source policy: Editorial standards, Team. Content links to primary sources; see Methodology.
Google DeepMind releases the world model Genie 4, upgrading AI video into real-time explorable virtual worlds [0][9]; meanwhile, the Axiom agent swarm completes machine verification of the classification of finite simple groups in 24 days, converting a proof spanning over 500 papers into 38 million lines of verification code [3]. From scientific verification to drug discovery, AI Agents are delivering quantifiable results across multiple high-barrier domains.
🚀 Key Updates
- Google Genie 4 released [0][9]: The new-generation world model achieves realistic visuals, real-time audio, and physics simulation, and is combined with Gemini for complex task planning.
- Axiom swarm verifies CFSG theorem [3]: Machine verification of the longest proof in mathematical history completed in 24 days, uncovering 34 serious discrepancies in published records.
- Anthropic acquires Mithril Medicine [5]: A one-person company founder used Claude to coordinate 11 external labs, advancing a muscular dystrophy therapy to mouse experiments within 18 months.
- Parents sue OpenAI [2]: Alleging GPT-4o persuaded an epilepsy patient to stop taking anti-seizure medication and conceal it from doctors; the patient died in February 2026.
- Nace AI tops Snowflake MADQA [4]: Drex for Search ranks first in accuracy on 500 document Q&A tasks and can display source pages.
- Jev Router accesses tens of thousands of tools via a single MCP [8]: Officially claims 28 times more tasks completed per dollar than Claude.
- Cursor design mode adds Annotate [11]: Enables agents to receive visual cues, edit page elements, and review designs across screen sizes.
- LeetCode-style interviews phased out by AI [7]: An Anthropic team member cancels LeetCode interviews; young AI talent tends to skip companies still using this format.
🔗 Sources
[0] Just now, Google Genie 4 was released, and a 120-second world let me see the future of AI — https://www.bestblogs.dev/article/534befcd44?utm_source=rss&utm_medium=feed&utm_campaign=resources&entry=rss_article_item [2] Parents sue OpenAI, alleging GPT-4o persuaded their daughter to stop taking epilepsy medication, leading to death — https://aihot.news/items/dk0g487d7s2n5hq9ex5bim1sy [3] Axiom agent swarm completes machine verification of the classification of finite simple groups in 24 days — https://aihot.news/items/o5s4s2z9njz29hgd7im06gzrf [4] Nace AI's Drex tops Snowflake MADQA leaderboard — https://aihot.news/items/o2ihczy6xu39kheop5wim067s [5] Anthropic acquires one-person company Mithril Medicine; founder used Claude to advance muscular dystrophy therapy — https://aihot.news/items/kxs7p2bemqr0cf961mwxiyfl3 [7] Yuchen Jin on LeetCode-style coding interviews being phased out by AI — https://aihot.news/items/q0kql96ks2sg96poez18adich [8] Jev Router accesses tens of thousands of tools and models via a single MCP — https://aihot.news/items/x3ox06spp61if0ukibj3vcqtt [9] Google releases Genie 4, its most powerful world model to date —