IA rompe una conjetura matemática & Python 3.15: cambios pequeños clave - Noticias de Hacker News (21 may 2026)

Arrancamos con la noticia más llamativa del día: OpenAI dice que uno de sus modelos internos de razonamiento produjo una prueba que tumba una conjetura clásica de Paul Erdős, planteada en 1946, sobre el “problema de distancia unidad” en el plano. En pocas palabras, se trata de cuántas parejas de puntos pueden estar exactamente a distancia 1 dentro de un conjunto grande. Durante décadas se pensó que las construcciones tipo “rejilla” eran prácticamente lo mejor posible, con un crecimiento apenas por encima de lineal. Esta nueva prueba propone familias infinitas de conjuntos con muchas más parejas a distancia 1 de lo esperado, del orden de n elevado a 1 más una delta fija. Lo interesante no es solo el golpe a la intuición histórica, sino el puente inesperado: el argumento importaría herramientas profundas de teoría algebraica de números para resolver algo que, en apariencia, suena a geometría escolar. Y, en paralelo, es un ejemplo potente para la investigación en IA: no hablamos de una sugerencia o un borrador, sino de un resultado que matemáticos externos han revisado y contextualizado con un texto acompañante.

Seguimos con Python: la 3.15 ya llegó al “feature freeze” de la beta, y más allá de los titulares habituales, hay mejoras pequeñas que te cambian el día a día. En asyncio aparece un método nuevo, TaskGroup.cancel(), que permite cancelar un grupo de tareas de forma explícita y limpia. Esto evita un patrón bastante incómodo que muchos habían normalizado: lanzar una excepción solo para forzar la cancelación y luego suprimirla. También se arregla una trampa común en decoradores de medición o logging cuando se aplicaban a funciones async, generadores o async generators: ContextDecorator ahora envuelve correctamente todo el ciclo de vida, y no “termina antes de tiempo”. En un mundo donde cada vez se mezclan más concurrencia, servicios y trazas, esos detalles importan. Y si estás cerca del código con hilos —incluido el horizonte de Python con ejecución más paralela—, llegan utilidades para hacer iteradores más seguros: herramientas para serializar acceso y evitar saltos de elementos o corrupción de estado, y hasta una forma de “duplicar” un stream para varios consumidores. Pequeños ladrillos que hacen que el ecosistema sea más robusto.

Tercera historia: seguridad en la cadena de suministro del desarrollo. GitHub reconoció que un atacante accedió a alrededor de 3.800 repositorios internos después de que un empleado instalara una extensión de Visual Studio Code con troyano. GitHub afirma que lo detectó y contuvo rápido: retiraron la versión maliciosa del Marketplace, aislaron el endpoint afectado y activaron respuesta a incidentes. Su evaluación actual es que hubo exfiltración de repos internos, y que no hay evidencia —por ahora— de impacto en datos de clientes fuera de esos repositorios. La cifra encaja con lo que un grupo criminal presumía en un foro, intentando vender el acceso. Más allá del caso concreto, el mensaje es claro: las extensiones del IDE son un punto de entrada muy atractivo. Tienen permisos, tocan credenciales, leen código, y se integran en flujos donde la confianza suele darse por sentada. Este tipo de incidentes empuja a empresas y equipos a endurecer políticas de extensiones, revisión, y controles de entorno de desarrollo.

Ahora, hardware y Linux “de verdad”: Flipper Devices presentó públicamente Flipper One, un proyecto aparte de Flipper Zero que apunta a ser un “cyberdeck” abierto, basado en Linux, ampliable, y enfocado en redes IP y tareas más pesadas como SDR y hasta IA local. El anuncio tiene un tono poco habitual: la empresa admite que lo han rehecho varias veces, que es arriesgado técnica y financieramente, y por eso abren el desarrollo y piden contribuciones de la comunidad. Lo central aquí es la ambición de soporte en Linux mainline sobre un Rockchip RK3576, con un objetivo explícito: reducir dependencia de BSPs del proveedor y de blobs opacos. Señalan un obstáculo clave en la cadena de arranque: un “trainer” propietario de DDR. También cuentan que trabajan con Collabora para upstream del soporte del chip y piden ayuda con piezas típicamente dolorosas: gestión de energía, USB-C con DisplayPort Alt Mode, y drivers upstream para NPU y decodificación de video. Además, el diseño usa una arquitectura con coprocesador: el CPU con Linux y un microcontrolador que gestiona pantalla, entrada y energía, con intención de upstream incluso el enfoque de interconexión y UI. Si lo cumplen, puede ser un caso interesante de cómo hacer ARM más mantenible a largo plazo.

En herramientas de terminal y escritorio, dos proyectos llaman la atención por razones distintas. Primero, RMUX: un multiplexer de terminal escrito en Rust que promete compatibilidad con tmux, pero con un giro moderno: quiere ser “programable” de forma seria, con un SDK tipado además del CLI. La idea es que no solo tú te “desconectes y reconectes” a sesiones persistentes, sino que también agentes o automatizaciones puedan inspeccionar estado, restaurar snapshots y orquestar aplicaciones de línea de comandos en servidores o entornos headless. También destaca por ser multiplataforma sin exigir WSL en Windows. Es pronto —ellos mismos dicen que habrá bugs—, pero marca hacia dónde se mueven los flujos: terminal como runtime automatizable, no solo como ventana. Y en macOS, Phosphene propone fondos de pantalla en video integrados en el selector nativo del sistema, incluso para la pantalla de bloqueo. Lo logra apoyándose en una pieza privada de Apple, cargada dinámicamente, lo que lo hace ingenioso… y potencialmente frágil ante futuras actualizaciones. La lectura aquí es doble: por un lado, demuestra que se puede integrar “de verdad” y respetar estados como reposo, bloqueo o batería; por otro, recuerda el coste de construir sobre APIs no públicas.

Cambiamos de tema a propiedad intelectual y música: Fender habría enviado una carta de cese y desistimiento a LsL Instruments para que deje de fabricar guitarras con cuerpo “S-style”, el contorno clásico tipo Stratocaster. Y no sería un caso aislado: se habla de una oleada de avisos a varios constructores boutique en Estados Unidos. El movimiento viene, en parte, reforzado por un fallo reciente en Düsseldorf que trató la forma del cuerpo como una “obra de arte” protegible, lo que Fender interpreta como munición para hacer valer el diseño en comercio global, especialmente en la UE. Según lo filtrado, la exigencia iría más allá de parar producción: incluiría retirar y destruir instrumentos vendidos en Europa. Si esto escala, no es solo una pelea entre marcas: puede afectar a un ecosistema entero de fabricantes pequeños, a la disponibilidad de repuestos compatibles, y a un lenguaje de diseño que muchos músicos dan por estándar desde hace décadas.

Cerramos con comunidad y gobernanza de lenguajes: la Haskell Foundation anunció cambios organizativos importantes. Su director ejecutivo, José, dejará el cargo en junio de 2026. La junta dice que la fundación ahora está en terreno más estable, y aprovecharán la transición para reorientar recursos: menos estructura y más financiación dirigida a trabajo técnico, buscando que los miembros vean mejoras tangibles en el ecosistema. También cambian el enfoque del lenguaje: prefieren hablar de “miembros” en lugar de “donantes” o “patrocinadores”, para reforzar la idea de voz y copropiedad sobre prioridades. Un nuevo comité guiará una visión técnica unificada y controlará la mayoría de los recursos, con representación fuerte de la membresía. Y, por ahora, operarán sin director ejecutivo, repartiendo responsabilidades y añadiendo un rol parcial centrado en sostenibilidad financiera. Para un lenguaje con una comunidad exigente y muy técnica, la forma en que se gobierna y financia el trabajo importa casi tanto como el compilador.