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 - Lindy es tu asistente de IA definitivo que gestiona proactivamente tu bandeja de entrada - https://try.lindy.ai/tad - Invierte como los profesionales con StockMVP - https://www.stock-mvp.com/?via=ron Apoya directamente a The Automated Daily: Cómprame un café: https://buymeacoffee.com/theautomateddaily Temas de hoy: Muere Margaret Hamilton, pionera Apolo - Margaret Hamilton, líder del software de vuelo del programa Apolo en el MIT, falleció a los 90 años. Su trabajo en Apolo 11 y la alarma 1202 la convirtió en madre de la ingeniería de software. Aaronson y el Mathocalypse de OpenAI - Scott Aaronson analiza los cientos de resultados matemáticos generados por IA que publicó OpenAI, incluida una supuesta prueba de la Conjetura de Juegos Únicos, y habla de un punto de inflexión para la teoría de la complejidad. Lean no garantiza pruebas correctas - Un nuevo artículo advierte que la autoformalización con IA en Lean puede verificar pruebas que no corresponden al argumento original, citando la prueba de Navier-Stokes anunciada por OpenAI. Terence Tao propone Matemáticas 2.0 - Terence Tao alerta de que la IA resuelve problemas abiertos sin generar comprensión ni comunidad, y pide valorar la divulgación, la colaboración y nuevos incentivos académicos en matemáticas. GPT-6 llega a ChatGPT - OpenAI despliega GPT-6 en ChatGPT con Intelligent UI, respuestas con gráficos, formularios y elementos interactivos, menor tiempo de espera y mejor seguridad frente a jailbreaks. Anthropic lanza Claude Haiku 5.5 - Anthropic presenta Claude Haiku 5.5, su modelo pequeño más barato y rápido, pensado para tareas masivas, agentes y subagentes de programación, y abarata el caché de Sonnet 5.5. BigWords y ascii.rest, herramientas web - BigWords.page convierte cualquier pantalla en un cartel o temporizador usando solo una URL, sin servidor; ascii.rest ofrece una colección de animaciones ASCII retro para páginas web. Errores comunes en blogs técnicos - Un artículo repasa los antipatrones de la escritura técnica en blogs de software: introducciones largas, suponer conocimientos previos, abusar de enlaces y descuidar la legibilidad móvil. - Margaret Hamilton, Apollo software pioneer, dies at 90 - Anthropic Launches Claude Haiku 5.5 as Its Fastest, Cheapest Small Model - OpenAI Rolls Out GPT-6 With Intelligent UI - BigWords.page Lets You Turn Any Screen Into a Custom Sign - ascii.rest: Animated ASCII Art for Web Pages - Terence Tao Calls for a 'Math 2.0' Shift Amid AI Disruption - Paper argues Lean verification may not validate AI natural-language proofs - Anti-Patterns in Software Blogging - OpenAI’s AI Math Breakthrough Triggers a “Mathocalypse” Transcripcion del Episodio Muere Margaret Hamilton, pionera Apolo Empezamos con una noticia triste. Margaret Hamilton, la ingeniera que dirigió el desarrollo del software de vuelo del programa Apolo, falleció el 30 de septiembre a los 90 años, según informa MIT News. Hamilton llegó al MIT trabajando en meteorología y computación, pasó por el Lincoln Laboratory y terminó siendo la primera programadora contratada para Apolo en el Instrumentation Lab. Lideró los equipos que escribieron el código del módulo lunar y del módulo de mando, y su enfoque defensivo, basado en prioridades, permitió que las misiones Apolo 8 y Apolo 11 superaran fallos serios. El caso más recordado es la alarma 1202 durante el alunizaje: el sistema descartó tareas secundarias y siguió con lo esencial. Además, Hamilton impulsó el propio término de ingeniería de software como disciplina formal. Después fundó sus propias empresas y recibió, entre otros honores, la Medalla Presidencial de la Libertad. Buena parte de cómo entendemos hoy el software fiable lleva su firma. Aaronson y el Mathocalypse de OpenAI Y de la Luna saltamos a las matemáticas,...
