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: - Descubre el futuro del audio con IA con ElevenLabs - https://try.elevenlabs.io/tad - SurveyMonkey, Usando IA para descubrir insights más rápido y reducir el tiempo de análisis manual - https://get.surveymonkey.com/tad - 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: Navier-Stokes, IA y autoría - OpenAI afirma haber resuelto Navier-Stokes con una prueba de blow-up y formalización en Lean, mientras Tristan Buckmaster publica resultados cercanos y pide claridad sobre tiempos, crédito e IA en matemáticas. Tao y problemas de investigación - Terence Tao advierte que la IA puede cambiar la economía de la investigación matemática: encontrar buenos problemas podría volverse más valioso que resolverlos rápido. Atlas genómico de variantes humanas - AlphaGenome Atlas de Google DeepMind calcula el posible impacto biológico de miles de millones de variantes de ADN y promete acelerar estudios de genética, enfermedad rara y rasgos complejos. De lector E Ink a impresora - Un desarrollador convirtió un lector E Ink en una impresora IPP compatible con macOS, una mezcla brillante de hardware hacking, protocolos estándar y software eficiente en memoria. Cuantización práctica para LLM locales - Un benchmark de Qwen 27B sugiere que la cuantización a 4 bits conserva casi toda la calidad útil, una noticia importante para quienes ejecutan LLMs en GPUs de consumo. Asistentes de código más directos - Un repositorio llamado i-have-adhd propone una forma de hacer que los asistentes de código respondan con menos relleno y más acción inmediata, mejorando claridad y flujo de trabajo. - Mathematician Describes AI-Assisted Blowup Results and OpenAI Dispute - OpenAI Claims Solution to the Navier–Stokes Millennium Problem - Google DeepMind Launches AlphaGenome Atlas for Human DNA - Meta Introduces Muse as Its Personal AI Agent - GitHub Repo: i-have-adhd Skill for Concise AI Answers - Blackmagic Design Adds AI and Workflow Upgrades to DaVinci Resolve 21.1 - Terence Tao Warns AI May Drain Mathematics of Good Open Problems - How an E-Ink Reader Became a Printer - Qwen3.8 27B Quantization Benchmark: 4-Bit Holds Up, 1-Bit Fails - Inception launches Mercury 2.5 with faster, cheaper production AI Transcripcion del Episodio Navier-Stokes, IA y autoría Arrancamos con la historia más comentada del día. OpenAI dice haber resuelto el problema de existencia y suavidad de Navier-Stokes, uno de los grandes problemas del milenio, y afirma que su prueba muestra una singularidad en tiempo finito para fluidos tridimensionales incomprensibles. Publicó tanto una demostración escrita como una formalización en Lean. Casi al mismo tiempo, Tristan Buckmaster y Levent Alpöge anunciaron tres resultados de blow-up con forzamiento suave en ecuaciones emparentadas, y Buckmaster añadió que los modelos de lenguaje ayudaron a llevar esa línea hasta el final. Después vino un comunicado suyo para dejar constancia pública del orden de los hechos y evitar una lectura equivocada sobre prioridad o autoría. Él mismo dice que no acusa a nadie de mala conducta ni ha visto la prueba de OpenAI. Aun así, el episodio importa porque ya no solo se discute si el resultado es correcto, sino también cómo se reparte el crédito cuando la IA entra en investigación matemática de frontera. Tao y problemas de investigación Esa misma discusión conecta con otra intervención muy relevante. Terence Tao señaló que la IA podría volver más difícil identificar los problemas realmente fértiles, porque facilita explorar muchas rutas y puede vaciar de valor algo que antes era escaso: encontrar la pregunta adecuada. Su preocupación principal no es la solución automática en sí, sino el efecto cultural alrededor. Si los investigadores empiezan a ocultar direcciones prometedoras para no ser adelantados, se...
