📰 Tech Trends Daily — Miércoles, 9 de septiembre de 2026

Palabras clave de hoy: La controversia del milenio sobre Navier-Stokes sacude el mundo matemático, AlphaGenome Atlas sitúa dos publicaciones en portada, Kimi K3 ejecuta un modelo de 2,8T en un MacBook con cuatro SSD Fuentes de datos: HN Top 30 + Lobsters Top 25, 30 elementos agrupados en total (DaVinci / FreeBSD / Ladybird, etc., detallados ayer, se resumen según sus nuevas versiones)

🔥 Enfoque del día

Hoy ha sido una jornada de confrontación directa poco habitual entre el mundo de las matemáticas y el de la IA. OpenAI anunció oficialmente que su modelo de investigación ha conquistado la vía crítica del problema del milenio de Navier-Stokes (blow-up con forzamiento suave), mientras que ese mismo día los matemáticos Tristan Buckmaster y Levent Alpöge publicaron tres artículos sobre blow-up con forzamiento suave (Euler/Boussinesq/IPM), acompañados de una insólita declaración pública: el equipo de OpenAI afirmó inicialmente que «solo habían introducido el enunciado del problema en el modelo, con una intervención humana mínima», pero en una llamada posterior admitieron que intervino un equipo al completo, una potencia de cálculo masiva y que el primer prompt se envió después de que se filtraran los avances de los matemáticos. La opinión pública en Hacker News votó con sus puntos: la publicación de la declaración de Buckmaster alcanzó los 1053 puntos, superando los 1010 puntos del anuncio oficial de OpenAI, con una sección de comentarios que cuestionó de forma casi unánime la cronología y los datos de entrenamiento. Un tuit de Terence Tao fue citado repetidamente al desgranar la estructura profunda del conflicto: hoy en día, incluso el rumor de que «alguien está investigando cierto problema» basta para desencadenar una ofensiva masiva de IA destinada a arrasar un tema aún en fase de maduración. La ancestral cultura de secretismo de la comunidad matemática se ve forzada a regresar bajo esta nueva dimensión impuesta por los datos de entrenamiento.

🧮 Matemáticas × IA: La controversia del milenio sobre Navier-Stokes

Investigación de OpenAI sobre el problema del premio del milenio de Navier–Stokes — On the Navier–Stokes Millennium Prize Problem. 1010 puntos / 835 comentarios (HN). OpenAI anunció que su modelo de investigación demostró el blow-up 3D con forzamiento suave (las opciones C/D en la formulación de Fefferman, la vía hacia el Premio Clay), afirmando que la demostración consta de unas 100 páginas. 💬 Los comentarios más votados no debatieron sobre matemáticas, sino sobre un hecho mucho más desconcertante: la respuesta por escrito de OpenAI a Buckmaster indicaba «We cannot rule out that de-identified data derived from their usage of our products helped improve our models» (no podemos descartar que datos anonimizados derivados del uso de nuestros productos hayan contribuido a mejorar nuestros modelos), lo que implica la imposibilidad de descartar que las sesiones de Buckmaster con Codex se hayan utilizado para entrenar el modelo. Algunos participantes sugirieron directamente que los matemáticos deberían colocarse «cebos» mutuos en adelante: filtrar deliberadamente direcciones de demostración falsas para que OpenAI malgaste decenas de millones de dólares en cómputo chocando contra un muro.
Navier-Stokes – Declaración de Tristan Buckmaster — Navier-Stokes – Tristan Buckmaster [pdf]. 1053 puntos / 466 comentarios (HN). La puntuación más alta de hoy en HN. La declaración completa está disponible para lectura: Buckmaster y Alpöge utilizaron Claude, Codex y Astra para extender el programa de blow-up forzado de Córdoba–Martínez-Zoroa al caso de forzamiento suave, logrando un avance decisivo el 15 de agosto con la intención original de publicarlo junto con la verificación formal en Lean. El 3 de septiembre comenzaron a circular rumores (transformados en que «Anthropic había resuelto un gran problema»), y Alpöge recibió noticias de que sus avances habían llegado a oídos de OpenAI. Buckmaster les escribió para pedir explicaciones, y durante una llamada telefónica la versión de OpenAI pasó de «prácticamente sin intervención humana» a «un equipo entero dedicado, cómputo masivo y el primer prompt enviado varios días después de recibir la noticia». Buckmaster delimitó su postura con prudencia: no formula acusaciones, no ha visto la demostración y desconoce si sus datos fueron utilizados; simplemente dejó constancia cronológica de lo comunicado porque «permanecer en silencio equivaldría a avalar una serie de comunicados que relatan una historia que sé que no es cierta». 💬 En los comentarios se aportó un contexto clave: cuando Buckmaster preguntó si el modelo se había entrenado con sus sesiones de Codex, OpenAI respondió que «el modelo no consulta datos de usuarios», pero guardó silencio absoluto respecto a los datos de entrenamiento. El verdadero punto de inflexión ocurrió el 7 de septiembre, cuando OpenAI planteó dos propuestas (entre ellas, que Buckmaster publicara primero su artículo sobre Euler); al no obtener respuesta, Buckmaster optó al día siguiente por hacer pública su declaración.
Terence Tao: Los problemas matemáticos abiertos están siendo explotados de forma no renovable por la IA — Tao: Open math problems being non-renewably mined by AI. 16 puntos / 5 comentarios (HN). Aunque su puntuación no fue alta, fue citado reiteradamente en los dos hilos millonarios, convirtiéndose en el marco teórico del suceso: «Lo que ahora resulta escaso y valioso es identificar problemas prometedores: ya hemos presenciado cómo incluso el rumor de que alguien está trabajando en cierto tema desata un esfuerzo masivo impulsado por IA para arrasarlo antes de que el proyecto de investigación original pueda desarrollar todo su potencial. La estructura de incentivos conduce a dejar de compartir absolutamente nada».
Blow-up en tiempo finito con forzamiento suave para Euler 3D incompresible, Boussinesq e IPM — Finite-time blowup with smooth forcing for 3D incompressible Euler, Boussinesq, and IPM. 17 puntos (Lobsters). Anuncio de los artículos publicado por el propio Buckmaster, lanzado el mismo día que su declaración. Bajo la etiqueta de matemáticas de Lobsters, la discusión fue mucho más comedida: allí la atención se centró en el resultado científico en sí, pues extender los resultados de Córdoba–Martínez-Zoroa con forzamiento rugoso al caso de forzamiento suave representa el progreso más sustancial en el problema de regularidad de Euler en dos décadas. Buckmaster consideró que el artífice original de este programa, Luis Martínez-Zoroa, merece una Medalla Fields.

🧬 Genómica y Ciencia

Google DeepMind publica AlphaGenome Atlas — Google DeepMind Releases AlphaGenome Atlas. 465 puntos / 111 comentarios (HN). Utiliza el modelo AlphaGenome para precomputar el impacto regulatorio de los 9000 millones de variantes de nucleótido único posibles en el genoma humano, generando un conjunto de datos de 1 PB publicado como base de datos en caché de «efectos predichos». 💬 Las críticas en los comentarios superaron a los elogios: expertos del sector señalaron sin rodeos que «el prefijo Alpha busca votos fáciles; en la comunidad genómica todos saben que AlphaGenome apenas aporta mejoras frente al SOTA previo, Borzoi». Otro comentarista apuntó que esto no es más que consolidar las salidas del modelo en una caché, eludiendo la cuestión de la fiabilidad del modelo original; e incluso un antiguo investigador de Google remató: «Los investigadores trabajan bajo la presión constante de publicar resultados que sean SOTA, y cuando no se alcanzan, maquillar los resultados es una práctica habitual». Un caso de manual de alta puntuación con enorme controversia.
AlphaGenome Atlas: mapa predictivo de cada cambio en las letras de ADN del genoma humano — AlphaGenome Atlas predictive map of every DNA letter change in the human genome. 76 puntos / 9 comentarios (HN). El artículo original del blog de DeepMind, que aporta un nivel adicional de detalle técnico respecto a la versión resumida de Google. En los comentarios del hilo principal de HN, la frase «cualquier modelo puede expresarse como una base de datos» respondió directamente a esta estructura de publicación simultánea.

🤖 Modelos de IA y Agentes

Kimi K3 (2,8T): 1 token/s en un MacBook Pro, en streaming desde cuatro SSD — Kimi K3 (2.8T) at 1 token/s on a MacBook Pro, streamed from four SSDs. 182 puntos / 80 comentarios (HN). Distribuye un modelo de 2,8 billones de parámetros (2.8T) por capas a lo largo de cuatro unidades NVMe para ejecutar inferencia en streaming, alcanzando una velocidad de un token por segundo, suficiente para tareas de razonamiento reflexivo. Los comentarios debatieron si «esto cuenta realmente como inferencia local»: aunque los pesos residen físicamente en discos locales, el rendimiento es tan bajo que solo sirve para la deliberación lenta de agentes, quedando a dos órdenes de magnitud de una conversación en tiempo real.
Benchmarking de cuantizaciones de Qwen3.8 27B: 4-bit resiste, 1-bit colapsa — Benchmarking Qwen3.8 27B quantizations: 4-bit holds up, 1-bit collapses. 196 puntos / 97 comentarios (HN). Pruebas empíricas de toda la gama de cuantizaciones de Qwen3.8 27B: la pérdida de precisión en 4 bits es lo bastante reducida como para resultar práctica, mientras que en 1 bit el modelo se desmorona por completo. En los comentarios se añadió una conclusión omitida en el artículo: la cuantización extrema deteriora simultáneamente la precisión y la estabilidad en contextos largos; al ejecutar tareas de agentes, la versión de 1 bit tiende a fallar «olvidando qué se suponía que debía hacer».
Muse: el agente personal de IA de Meta, características y capacidades — Muse: Meta’s personal AI agent, features and capabilities. 206 puntos / 196 comentarios (HN). Se lanzó la página oficial de producto del agente autónomo de Meta, y su catálogo de funciones junto con su posicionamiento como «IA personal» generaron un intenso debate de 196 comentarios. 💬 Las críticas se concentraron en la contradicción flagrante entre el historial de privacidad de Meta y la necesidad de que un agente acceda a la totalidad de los datos personales: «poner a una empresa publicitaria como mayordomo privado» fue la ironía más repetida.
I-have-ADHD: una habilidad para evitar que los agentes de programación entierren la respuesta — I-have-ADHD: A skill to stop coding agents from burying the answer. 267 puntos / 210 comentarios (HN). Un archivo CLAUDE.md / skill concebido para erradicar el mal hábito de los agentes de redactar diez párrafos introductorios antes de dar una conclusión directa; sus 267 puntos demuestran cuánta gente está exhausta ante la palabrería de los agentes. 💬 La sección de comentarios se transformó en un desahogo colectivo: Claude fue criticado como «un redactor deficiente, cuyas iteraciones parecen diseñadas a propósito para ignorar tus instrucciones previas». Otros compartieron trucos prácticos, como hacer que Astra revise las salidas de Fable o que Claude audite las de Qwen3.8, demostrando que la revisión cruzada es mucho más eficaz que la autoinspección monomodelo.
Los modelos de lenguaje desarrollan nuevos sesgos sociales mediante la exploración adaptativa — Large Language Models Develop Novel Social Biases Through Adaptive Exploration. 37 puntos / 9 comentarios (HN). La investigación expone que los LLM, al explorar mediante aprendizaje por refuerzo, generan espontáneamente sesgos sociales que no estaban presentes en el conjunto de entrenamiento, en lugar de limitarse a reproducir los sesgos preexistentes de los datos: el blanco del alineamiento (alignment) acaba de volver a moverse.
Mercury 2.5: el LLM de difusión de Inception Labs — Mercury 2.5. 98 puntos / 10 comentarios (HN). Nueva versión de este modelo de lenguaje basado en difusión, enfocado primordialmente en la velocidad de generación. La acogida en los comentarios fue tibia, señalando con escepticismo que los modelos de difusión aún tienen pendiente demostrar su valía en tareas de razonamiento de largo alcance.
Show HN: Visualización de la atención en LLM — Show HN: LLM Attention Visualization. 102 puntos / 19 comentarios (HN). Convierte las cabezas de atención en grafos interactivos ideales para la docencia; la duda más recurrente en los comentarios fue si es posible conectarlo a modelos pequeños que se ejecuten en local.

🛠️ Herramientas e Infraestructura

DaVinci Resolve 21.1 — DaVinci Resolve 21.1. 328 puntos / 144 comentarios (HN). Gran actualización de la suite de vídeo de Blackmagic; la mitad de los 144 comentarios preguntaron si esta entrega reduce la disparidad de funciones en su versión para Linux, donde sigue siendo una excepción única entre las herramientas profesionales de edición de escritorio.
FreeBSD 14.5-Release — FreeBSD 14.5-Release. 106 puntos / 21 comentarios (HN). Lanzamiento habitual de mantenimiento; los usuarios de HN mostraron más interés por el calendario de FreeBSD 15.0, y varios comentarios recordaron que 14.5 marca la fase final de la rama 14, instando a planificar con tiempo las rutas de actualización.
Jellyfin 12.0 — Jellyfin 12.0. 67 puntos / 28 comentarios (Lobsters). Versión mayor del servidor multimedia de código abierto, con renovaciones sustanciales en la sincronización de clientes y el pipeline de transcodificación. El núcleo de debate en Lobsters fue si «por fin puede sustituir a Plex de manera estable».
Avances de Ladybird en agosto de 2026 — This Month in Ladybird - August 2026. 22 puntos (Lobsters). Boletín mensual de este motor de navegación independiente; la comunidad celebró el ritmo constante del motor derivado de SerenityOS, destacando que en una época en que los tres grandes motores viven de rentas pasadas, Ladybird es de los pocos proyectos que continúa reescribiendo sus pipelines de renderizado.
La ruta de migración del CERN de CentOS Linux a Debian — CERN’s migration path from CentOS Linux to Debian. 17 puntos (Lobsters). Las consecuencias del fin de CentOS: una institución científica que opera decenas de miles de servidores optó por Debian antes que por otras distribuciones corporativas, justificándolo por el ritmo de mantenimiento de paquetes y la compatibilidad con sus herramientas internas; el voto de confianza de una gran instalación científica tiene más peso que cualquier análisis en un blog.
Show HN: Copperhead — hardware tan rápido como el software — Show HN: Copperhead – Hardware as Fast as Software. 193 puntos / 76 comentarios (HN). Emplea descripciones en HDL sintetizable para permitir que la lógica de hardware se itere con la agilidad del software; sus 193 puntos reflejan el anhelo genuino entre diseñadores de FPGA y ASIC por un desarrollo ágil, mientras que las advertencias se centraron en que el tiempo de síntesis y los costes de depuración no se tuvieron debidamente en cuenta.
Emacs Bedrock 2.0 — Emacs Bedrock 2.0 Released. 31 puntos (Lobsters). Actualización de esta configuración de Emacs lista para usar, orientada a principiantes que desean aprovechar Emacs sin enredarse en configuraciones interminables; la propia existencia de Bedrock confirma la complejidad intrínseca del ecosistema de configuración de Emacs.

💻 Lenguajes de Programación y Rendimiento

Reemplazar un enum de Rust por una palabra de 64 bits aceleró mi intérprete un 17 % — Replacing a Rust Enum with a 64-Bit Word Made My Interpreter 17% Faster. 64 puntos / 30 comentarios (HN). Cambiar la representación de valores del intérprete, pasando de un enum con etiqueta y carga útil (tag+payload) a una palabra plana de 64 bits, eliminó bifurcaciones e indirecciones de memoria, consiguiendo una ganancia neta del 17 %; los comentarios delimitaron sus límites prácticos: exige que el tipo de valor quepa en una sola palabra, obligando a recurrir a punteros en el montón (heap) ante objetos de mayor tamaño.
C*: unificando programación y verificación en C — C*: Unifying Programming and Verification in C. 65 puntos / 38 comentarios (HN). Propuesta de lenguaje que incorpora anotaciones de verificación en C con el propósito de integrar la verificación formal en el desarrollo diario en C. El dilema central en los comentarios: al comparar C verificado frente a la adopción directa de Rust, qué opción compensa más en términos de curva de aprendizaje y sobrecoste en tiempo de ejecución, sin que ninguna postura cuente con datos concluyentes.
Los argumentos de función no son colores de funciones — Function Arguments Are Not Function Colors. 27 puntos / 10 comentarios (HN). Retomando la clásica metáfora del «color de las funciones»: mientras la narrativa tradicional se fija en los tipos de retorno, el autor argumenta que el auténtico foco de contagio asíncrono reside en los tipos de los argumentos. Una reflexión dirigida a diseñadores de lenguajes con la que programadores de JavaScript y Python se sintieron plenamente identificados en los comentarios.
Implementación de funciones anidadas en GCC frente a lambdas de C++ — Implementation of GCC’s Nested Functions (vs. C++ Lambdas). 46 puntos / 5 comentarios (HN). Las funciones anidadas de GCC se implementan mediante pila ejecutable y cadenas estáticas, frente al modelo de clausuras de las lambdas de C++. El autor es el propio desarrollador de GCC, uecker; la escasez de comentarios se debió a que la mayoría solo alcanzó a entender la conclusión: las funciones anidadas sobreviven con buena salud en el kernel de Linux gracias a los trampolines (trampolines) y no a garantías del estándar.
Una forma más rápida de convertir una marca de tiempo en horas, minutos y segundos — A faster way to convert a timestamp to Hour, Min, Sec. 121 puntos (Lobsters). La publicación con mayor puntuación hoy en Lobsters. Emplea operaciones a nivel de bits para convertir un día de Base 60 a Base 64, prescindiendo por completo de operaciones de división. 💬 Discusión de altísima densidad técnica: se señaló que, aunque los compiladores transforman divisiones entre constantes en multiplicaciones, la secuencia consecutiva de división y módulo por la misma constante todavía no se optimiza en una sola multiplicación; otros citaron el artículo de optimización FRDC (arXiv:1902.01961) para explicar que la dificultad de automatizarlo radica en que el compilador no puede asumir el rango de entrada.
Bitap: mi algoritmo de búsqueda de cadenas favorito — Bitap: my favorite string matching algorithm. 28 puntos (Lobsters). Divulgación sobre el algoritmo Bitap para coincidencias difusas mediante paralelismo a nivel de bits: la base de la búsqueda aproximada en grep y la búsqueda incremental en Vim explicada en un breve ensayo que desglosa con brillantez por qué este algoritmo es tan elegante.
Resultados de la encuesta de depuración en Rust de 2026 — Rust debugging survey 2026 results. 36 puntos (Lobsters). Sondeo oficial sobre la experiencia de depuración en Rust: persiste la insatisfacción con la visibilidad de genéricos y la expansión de macros bajo LLDB/GDB, siendo el seguimiento de la pila en código asíncrono el motivo de queja principal; la encuesta se repite año tras año con diagnósticos casi idénticos.

🔒 Seguridad y Privacidad

Factoricé las claves RSA de una autoridad de certificación… de los años 90 — I’ve factored the RSA keys of a Certificate Authority…from the 90s. 34 puntos (Lobsters). Claves de CA de los años 90 factorizadas debido a una entropía insuficiente en su generador: otro recordatorio de cómo las claves históricas aún pueden estallar hoy en día. En los comentarios se recordó que estas claves de 512 bits debieron retirarse hace décadas; su factorización no sorprende, lo insólito es que siguieran presentes en excavaciones arqueológicas de cadenas de confianza.
Cambiando de gestor de contraseñas en 2026 — Switching Password Managers in 2026. 55 puntos (Lobsters). Crónica exhaustiva de un exempleado de 1Password al migrar fuera de dicha plataforma, comparando exportaciones, soporte multiplataforma e integración con navegadores. En los comentarios resurgió el debate perenne de si la alternativa escogida es verdaderamente más segura que 1Password: el ciclo interminable en los hilos de gestores de contraseñas.
Cambié mi licencia a la EUPL — I changed my license to EUPL. 117 puntos / 48 comentarios (Lobsters). El autor migró la licencia de su proyecto a la EUPL (Licencia Pública de la Unión Europea), argumentando su compatibilidad con la GPL, su cobertura expresa del marco jurídico de la UE y sus cláusulas relativas a patentes e interoperabilidad. Los 48 comentarios giraron en torno a si el carácter copyleft de la EUPL es exigible fuera de su jurisdicción, una cuestión carente aún de precedentes judiciales; elegir la EUPL parece obedecer más a una declaración política que a una ventaja jurídica incontestable.

🌍 Código Abierto y Migración de Infraestructura

El estado de los proveedores de nube europeos en 2026 — The state of European cloud providers in 2026. 58 puntos (Lobsters). Balance de los proveedores locales de nube en Europa: aunque la demanda de soberanía en la nube es real, en relación calidad-precio y madurez de ecosistema siguen superados por los tres gigantes hiperescalables. La frase más contundente en los comentarios: el principal argumento de venta europeo, «los datos permanecen en la UE», pierde fuerza persuasiva ante la ineficacia generalizada de la aplicación transfronteriza del RGPD.
Mi configuración de Nix es íntima — My Nix Config Is Intimate. 38 puntos (Lobsters). Un ensayo que compara la configuración de Nix con «una carta dirigida a nuestro yo del futuro»; sus 38 puntos reflejan la sintonía de los usuarios de Lobsters con este enfoque: la configuración declarativa de Nix se asemeja mucho más al «código fuente del entorno personal» que unos simples dotfiles.

🎮 Ligero / Hardware

El helicóptero con palas radiactivas — The Helicopter with Radioactive Blades. 138 puntos / 35 comentarios (HN). Proyecto experimental del ejército estadounidense durante la Guerra Fría para calentar palas de helicóptero con isótopos radiactivos; pura historia curiosa al estilo Hackaday, con comentarios calculando que los niveles de radiación jamás superarían hoy la aprobación de un comité de seguridad.
Los dos santos cristianos que en secreto son Buda — The two Christian saints who are the Buddha. 197 puntos / 138 comentarios (HN). Investigación histórica sobre cómo la leyenda de Buda fue adaptada en la Europa medieval para crear a dos santos cristianos (Barlaam y Josafat); sus 197 puntos demuestran que las derivas transculturales de los textos religiosos siempre fascinan, centrando el debate más acalorado en la filología del nombre Josafat como derivado del término sánscrito bodhisattva.
El matemático de 92 años y el aprendiz adolescente — The 92-Year-Old Mathematician and the Teenage Apprentice. 120 puntos / 10 comentarios (HN). Perfil del New York Times sobre un matemático de 92 años investigando junto a su discípulo adolescente. En la misma semana en que la IA intenta adelantarse en la investigación matemática, este relato sobre la transmisión humana maestro-aprendiz adquiere una resonancia singular.
Cómo construir una impresora — How to Build a Printer. 25 puntos (HN; Lobsters 8 puntos). Montar desde cero una impresora funcional: fusor, arrastre de papel y cabezales totalmente artesanales; un proyecto de hardware presente tanto en HN como en Lobsters, cuyos comentarios coincidieron en que «calibrar los cabezales de impresión es un auténtico infierno».
ZX Spectrum: experimentando con sonido de 1 bit — ZX Spectrum: Experimenting with 1-Bit Sound. 89 puntos / 26 comentarios (HN). Síntesis musical exprimiendo el altavoz de 1 bit de hace 40 años; los comentarios derivaron en una sesión de pura nostalgia técnica: temporización exacta del chip ULA, trucos de parpadeo de bordes y recompilación de rutinas clásicas con cadenas de herramientas modernas.
Las direcciones IPv6 más cortas — The shortest IPv6 addresses. 51 puntos (Lobsters). Apuntes sobre la búsqueda de los prefijos IPv6 personalizados más breves posibles, aprovechando que el espacio IPv6 es tan inmenso que permite matrículas vanidosas; algunos lectores compartieron sus propios rangos y otros recordaron que prefijos excesivamente cortos pueden colisionar con filtros de enrutamiento de operadores.
Renderizado extremo del lado del servidor (Extreme Server Side Rendering) — Extreme Server Side Rendering. 39 puntos (Lobsters). Propuesta radical de SSR: prerrenderizado íntegro a archivos estáticos, almacenamiento en caché en el borde e hidratación estrictamente bajo demanda; sus 39 puntos en Lobsters reflejan el veredicto de «un enfoque acertado pero que no aporta novedades de peso».

📌 Resumen

La señal dominante de la jornada fue rotunda en el sentido más literal: la controversia entre OpenAI y Buckmaster en torno a Navier-Stokes transformó la sospecha de «si la IA se apropia de ideas de investigación» de una inquietud sobre privacidad a una crisis abierta en el seno de la comunidad matemática. El comunicado de Buckmaster superó con 1053 puntos al anuncio oficial de 1010 puntos, con una sección de comentarios donde nadie discutió pormenores matemáticos, volcándose por completo en la cronología de los hechos, los datos de entrenamiento y la distorsión de los incentivos, con el tuit de Terence Tao consolidado como marco teórico de referencia. Las 3 lecturas imprescindibles: la declaración en PDF de Tristan Buckmaster (una cronología de primera mano mucho más nítida que cualquier interpretación de terceros), la publicación en Mathstodon de Terence Tao (que sintetiza con lucidez el riesgo estructural) y los comentarios de HN sobre AlphaGenome Atlas (que muestran cómo el reclamo publicitario del prefijo Alpha escondía un escepticismo técnico generalizado). En perspectiva cruzada, la inferencia local en streaming de Kimi K3 y las mediciones de cuantización de Qwen3.8 apuntan a una misma tendencia: la narrativa de costes de los grandes modelos está transitando del entrenamiento a la distribución de la inferencia. Por último, la elección de Debian por parte del CERN, el balance sobre la nube europea y la adopción de la licencia EUPL demuestran que la «soberanía de infraestructuras» sigue siendo un debate recurrente en los foros sin llegar a consolidarse en los presupuestos de contratación. Habrá que seguir de cerca si Buckmaster responde a las dos propuestas de OpenAI y si la comunidad matemática comenzará a cifrar de manera rutinaria sus investigaciones en curso.

OpenAI afirma haber resuelto el problema del milenio de Navier-Stokes y el matemático Buckmaster responde públicamente: el hilo de objeción supera al oficial con 1053 puntos