OpenAI vs Mathematicians, Vibe-Coded Adobe, and AI’s Wolf Emails | EP121
OpenAI’s claim to 700 maths solutions comes with a big catch: someone still has to check them. Justin thinks mathematicians need to adapt and put AI to work. Frank worries that answers without understanding leave us with a dangerous gap. And while Justin is happy to patch mistakes in maths, he’s freaking Frank out with the idea of biology labs using AI solutions that still contain errors. Plus: A vibe-coded Adobe clone raises questions about who you trust to build and support your software, AI models tackle cells and plant DNA, and European labs give Justin something to cheer about. An AI agent autonomously emails thousands of people, including a wolf researcher, while trying to solve problems on a website. Are you concerned about people using AI solutions we don’t understand? 01:13 What's in this week's singularity update? 02:51 Can Mistral help Europe defend itself? 07:09 Has OpenAI solved maths or stirred trouble? 08:45 Does solving maths cost us understanding? 10:56 Can we trust AI proofs we don’t understand? 15:35 Why is cryptography missing from OpenAI’s list? 19:06 Why was the Navier-Stokes proof withdrawn? 20:49 Would you risk an unproven AI cure? 24:52 Can vibe coding really replace Adobe? 28:06 Who supports your vibe-coded software? 33:44 Why is an AI agent emailing wolf researchers? ► SUBSCRIBE Don't forget to subscribe to our channel for more arguments ► LINKS TO CONTENT WE DISCUSSED Isomorphic Labs joins the Virtual Biology Initiative to build foundational data for AI models to predict and treat disease Two Room-Temperature Antiferromagnetic Semiconductor Candidates Living Models pairs Gemma 4 with BOTANIC-1 to help decode plant DNA BOTANIC-1: a series of long-context plant genomic foundation models in the agentic era FLUX 3 - Real World Models: Towards Multimodal Flow Models as the Backbone of Visual Intelligence. Introducing Mistral Large 4 Aleph Alpha releases Kolibri The First Room-Temperature Ambient-Pressure Superconductor Z.ai’s GLM models, including GLM Flash Sharing AI progress in mathematics AHM Statement on OpenAI’s October 6 Release of Mathematical Documents Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs First AI came and scooped up your art. Now it’s scooped up Adobe. Exclusive: An AI agent emailed hundreds of researchers for help. It told us why ► CONNECT WITH US For more in-depth discussions, connect Justin and Frank on LinkedIn. Justin: https://www.linkedin.com/in/justincollery/ Frank: https://www.linkedin.com/in/frankprendergast/






