Genie 4 Debuts, Math's Longest Proof Gets Verified, and Sequoia's Pokerbot Showdown
About this episode
Google DeepMind launches Genie 4 world-simulation preview with native audio and live steering, Axiom claims AI-verified the 15000-page Enormous Theorem in 24 days, Sequoia and OpenAI launch No Limit pokerbot tournament with $100K prize
Chapters
Sources & Citations
Google DeepMind Blog – Genie 4: A New Generation of World Simulation
deepmind.google
Google Blog – Introducing Genie 4
blog.google
TechCrunch – Google's Genie 4 world model adds audio, more realistic worlds, and real-time steering
techcrunch.com
Ars Technica – DeepMind unveils Genie 4 world model promising more realistic physics and humans
arstechnica.com
Digg – Axiom announces Lean formalization of finite simple groups classification
digg.com
Axiom – Formalizing the Enormous Theorem (official announcement)
axiommath.ai
Unite.AI – Axiom Math Releases 43.1M-Line Lean Proof of Group Classification
www.unite.ai
CryptoBriefing – Axiom's AI agents formalize a 15,000-page math proof in 24 days
cryptobriefing.com
No Limit: A Bot Building Tournament (official site)
pokerbot.sequoiacap.com
Sequoia offers $100,000 to the winning student pokerbot team — RuntimeWire
runtimewire.com
Digg — Sequoia announces No Limit pokerbot tournament
digg.com
Loading transcript…