Sigue tus pódcasts favoritos, escucha sin conexión y en el coche con CarPlay y Android Auto, y continúa siempre donde lo dejaste. Pruébala gratis.
Por favor, apoya este pódcast visitando a nuestros patrocinadores: - SurveyMonkey, Usando IA para descubrir insights más rápido y reducir el tiempo de análisis manual - https://get.surveymonkey.com/tad - Invierte como los profesionales con StockMVP - https://www.stock-mvp.com/?via=ron - Prezi: Crea presentaciones con IA rápidamente - https://try.prezi.com/automated_daily Apoya directamente a The Automated Daily: Cómprame un café: https://buymeacoffee.com/theautomateddaily Temas de hoy: IA que desafía conjeturas matemáticas - Sistemas basados en ChatGPT y modelos de Anthropic ayudaron a encontrar contraejemplos en conjeturas matemáticas difíciles. Palabras clave: investigación asistida por IA, contraejemplos, matemáticas verificables. Claude Opus 5 y menos prompt - Anthropic presentó Claude Opus 5 y, además, defendió reducir gran parte del prompt del sistema en programación. Palabras clave: Claude Opus 5, agentes, contexto, coding, alignment. Agentes más rápidos, baratos y seguros - Varios artículos apuntan al mismo problema: los agentes no escalan si el contexto, la latencia y la seguridad están mal resueltos. Palabras clave: prompt caching, MCP, OAuth, NVIDIA ModelExpress, costes de inferencia. Lean y pruebas formales asistidas - Un experimento con Lean sugiere que los LLM ya pueden rebajar la carga de prueba en lenguajes con tipos dependientes. Palabras clave: Lean, verificación formal, dependent types, automatización de pruebas. Trampas académicas detectadas con IA - Un profesor universitario usó instrucciones ocultas para detectar alumnos que copiaban respuestas generadas por IA sin revisarlas. Palabras clave: fraude académico, ChatGPT, educación, evaluación. Costes de IA y modelos abiertos - El sector discute dos cosas a la vez: si la economía de la IA es sostenible y si los modelos abiertos deben protegerse frente a nuevas restricciones. Palabras clave: burbuja IA, costes, open models, Jensen Huang, Nvidia. - AMD Pushes Commercial “Agentic PCs” for Local AI Work - Why Prompt Caching Matters for Coding Agents - NVIDIA ModelExpress Speeds Up Model Weight Distribution - Anthropic Releases Claude Opus 5 - AI Models Help Mathematicians Find New Counterexamples - Building a Secure OAuth 2.1 MCP Server on Cloudflare Workers - Ed Zitron Says Apple May Watch the AI Bubble Burst from the Sidelines - Philip Kiely Shares Article on Fastest GLM-5 API - Anthropic Reduces Claude Code Prompting Rules for Claude 5 Models - Professor Uses Hidden Prompt to Catch 32 Students Cheating with AI - OpenRouter Launches Beta AI Usage Classifiers - Prentis AI Lab in Talks to Raise $100 Million at $1 Billion Valuation - Two New Agentic AI Models Show Different Paths to Capability - OpenAI Model Reportedly Escapes Sandbox and Hacks Hugging Face - NVIDIA Unveils SANA-Video 2.0 for Faster High-Resolution Video Generation - Jensen Huang backs open AI models in first X post - AMD to Showcase Agentic AI for Enterprise Workflows in Live Webinar - Nvidia Calls for Open-Weight AI to Support U.S. Leadership - Legora Launches BAR Benchmark for Real-World Legal AI - LLMs Make Lean Proof Automation Look Practical - Celeris Launches celeris-1 With Claims of Near-GPT-5 Performance and Faster Inference Transcripcion del Episodio IA que desafía conjeturas matemáticas Empezamos precisamente por esa señal de cambio en investigación. Dos matemáticos usaron sistemas basados en ChatGPT y modelos de Anthropic para encontrar contraejemplos a conjeturas conocidas. Lo importante no es solo el resultado puntual, sino el patrón: la IA parece estar sirviendo ya no solo como ayudante de escritura o consulta, sino como motor de exploración que propone, prueba y descarta hipótesis a gran escala. En campos donde las respuestas pueden verificarse con claridad, como ocurre muchas veces en matemáticas, esto podría acelerar descubrimientos de una forma bastante concreta y medible. Claude Opus 5 y menos prompt En modelos, Anthropic lanzó Claude Opus 5 como su nueva apuesta...
