We explore the development of Qwen-Drive 1.0, a pioneering vision-language model designed to merge autonomous driving capabilities with conversational intelligence. To solve the problem of "catastrophic forgetting," where an AI loses general knowledge while learning specialized tasks, engineers utilized a frozen base model enhanced by two external modules. These additions include a Bird's-Eye-View (BEV) perception head for real-time 3D mapping and a planning expert for calculating safe maneuv...

Recent data from the James Webb Space Telescope has revealed a massive stellar cavity at the center of the galaxy Abell 402-BCG, spanning roughly 3,200 light-years across. While astronomers previously believed this void was merely a cloud of cosmic dust, infrared observations confirmed the area is actually a dead zone missing two billion stars. This phenomenon is caused by an ultramassive binary black hole system with a combined mass 60 billion times that of our sun. Through a process called ...

Modern AI performance is currently hampered by the "memory wall," a bottleneck where processors waste energy and time waiting for data to travel from separate storage. To solve this, researchers and startups are exploring "architectures of permanence," which involve physically etching large language model weights directly into the silicon of a microchip. This hardwiring process eliminates traditional memory fetches, allowing for specialized processors like the HC1 to reach speeds of 17,000 to...

Claude now leads twenty-six percent of Anthropic's own research and development, running thirty thousand agents at once. That same model helped security researchers break into a rival's private source code. More access, more risk. We go through how Anthropic screens a billion actions a month, how a forum bug reached a real pull request in OpenAI's code, and why a coding agent's wrapper can cost five times more for the same result. Get full access to The AI Practitioner at

Number of the Day - "13" This podcast is produced by Klassic Studios. Check out our other podcasts there! Sources Number sequence definitions come from the On-Line Encyclopedia of Integer Sequences (OEIS). Historical material is adapted from Wikipedia, used under the Creative Commons Attribution-ShareAlike licence. Minor planet details come from the NASA/JPL Small-Body Database. Learn more about your ad choices. Visit megaphone.fm/adchoices

Prove2Me is an open-access platform designed to scale the formalization of mathematics by enabling decentralized collaboration between humans and AI agents. The system addresses the high difficulty of writing machine-verifiable proofs in Lean 4 by allowing agents to decompose complex theorems into smaller, independently solvable sub-problems called proof-sketches. To ensure accuracy without overwhelming human experts, the platform uses audited missions where people only verify a project’s cor...

OpenAI shipped ads inside ChatGPT that talk back, two years after its CEO called mixing ads with AI unsettling. A new study found the software wrapper around an AI agent can cost five times more than the model itself for the identical result. Same week, opposite money problems. We go through how OpenAI keeps the sponsored chats separate from your real conversation, why a harness barely changes whether an agent succeeds but changes the bill a lot, and why Apple's next AI server might have to lean on

In this episode, I reflect on the recent announcement that Anthropic researchers have autoformalized the proof of Fermat's Last Theorem. That is, they instructed an LLM to create a computer-checkable proof, in the Lean prover, of this theorem, following existing paper proofs in the literature. The resulting proof weighs in at 13 million lines of Lean, a staggering amount.

We discuss an optimized approach to state–prediction separation by implementing a free pause token that decouples context summarization from next-token prediction. By running a secondary prediction stream that shares weights with the primary backbone but writes no new keys or values, the model achieves better performance without increasing inference latency or memory overhead. The authors utilize a two-pass training split and a shared gated feed-forward network to significantly reduce the com...

A funding round could value OpenAI at one point two trillion dollars, before it's even public. A website charged an AI agent one cent to read a page, and still isn't sure it got paid. Same day, wildly different amounts. We go through what that trillion-dollar number actually rests on, how a new payment protocol lets agents pay by the fraction of a cent, and why platform teams are swapping static login keys for certificates that expire in minutes. Get full access to The AI Practitioner at

A deep dive into the reported formalization of Andrew Wiles’s proof of Fermat’s Last Theorem using Anthropic’s Claude, Lean, and a dependency-driven “Prove 2Me” framework in just 11 days. We explore why formal verification is so demanding, how AI agents can coordinate millions of lines of code and thousands of intermediate theorems, and what machine-checked mathematics could mean for science. Note: This podcast was AI-generated, and sometimes AI can make mistakes. Please double-c...

Hidden code in iOS twenty-seven shows Apple built a way to swap Google's Gemini out of Siri for Claude or ChatGPT. A leaked Claude iPhone build shows screens for linking your actual bank accounts. Same week, opposite bets. We go through the swap mechanism buried in Apple's code, the bank-linking feature Anthropic hasn't confirmed, and the public fight between Dario Amodei and Jensen Huang over whether AI labs should slow down at all. Get full access to The AI Practitioner at

Dos juegos pierden cuando se juegan por separado. Sin embargo, al alternarlos, pueden empezar a ganar. Este capítulo explora la paradoja de Parrondo, una idea matemática que desafía una intuición aparentemente indiscutible: si cada estrategia es mala, su combinación también debería serlo. La clave está en que cada jugada modifica el estado en el que ocurrirá la siguiente. Probabilidades, secuencias y dinámicas dependientes del

¿Por qué Groenlandia parece gigantesca en algunos mapas? ¿Y por qué la ruta más corta entre dos ciudades puede verse curva? Convertir un planeta redondo en una superficie plana plantea un problema imposible: alguna propiedad tiene que deformarse. Este capítulo explora la matemática de las proyecciones cartográficas, desde Mercator hasta los mapas que prefieren conservar áreas en lugar de formas. Distancias, direcciones y tamaños

Encontrás una opción bastante buena, pero aparece una pregunta peligrosa: ¿y si la próxima es mejor? Este capítulo explora la matemática de saber cuándo dejar de buscar. A partir del problema de la secretaria, descubrimos por qué elegir demasiado pronto puede ser un error, pero esperar demasiado también. La famosa regla aproximada del 37 por ciento ofrece una solución elegante dentro de un modelo muy específico, aunque la

Apretás el botón del ascensor, esperás unos segundos y lo volvés a apretar, por si acaso. ¿Por qué parece que siempre llega rápido cuando no lo necesitás y tarda una eternidad cuando tenés apuro? Este capítulo explora la matemática de la espera y una idea contraintuitiva: cuando los tiempos entre llegadas son irregulares, tenemos más probabilidades de aparecer durante los intervalos largos. Ascensores, colectivos y

Una aplicación recomienda exactamente la canción, película o contenido que querías sin que lo hubieras buscado todavía. ¿Cómo lo hace? Este capítulo explora la matemática detrás de los sistemas de recomendación: similitudes entre usuarios, patrones de comportamiento, señales ocultas y predicciones construidas a partir de millones de pequeñas decisiones. También veremos por qué un algoritmo puede

Repartir una pizza parece fácil: se corta en partes iguales y listo. El problema empieza cuando las personas no valoran cada porción de la misma manera. Este capítulo explora la matemática del reparto justo, desde el clásico método de cortar y elegir hasta las divisiones libres de envidia. ¿Puede un reparto ser desigual y, aun así, resultar justo para todos? ¿Qué cambia cuando participan tres personas en lugar de dos? Una pizza

Después de avanzar durante kilómetros a paso de hombre, el tráfico finalmente se libera. No hubo accidente, obra ni carril cerrado. Entonces, ¿qué provocó el atasco? Este capítulo explora los embotellamientos fantasma: ondas de tráfico capaces de aparecer a partir de una pequeña frenada y propagarse hacia atrás durante kilómetros. Velocidad, densidad, tiempos de reacción y comportamiento colectivo explican

Elegís una fila, mirás hacia un costado y la otra empieza a avanzar. Parece una ley universal. Pero detrás de esa pequeña tragedia cotidiana hay teoría de colas, variabilidad y bastante azar. En este capítulo exploramos por qué contar personas no alcanza para saber qué fila será más rápida, cómo un solo cliente puede alterar todo el sistema y por qué una única fila para varias cajas suele funcionar