Webtagr - Resumen de noticias de tecnología

Tags populares：

Virtualización seguridad DNS verificación formal análisis de alcanzabilidad errores del compilador conflicto de macro extensión web framework de desarrollo Gráficos de mapa de bits inconsistencias de API Todos los tags

Se lanza el Museo Virtual de Objetos Culturales Robados de la UNESCO

2025-09-20

Se lanza el Museo Virtual de Objetos Culturales Robados de la UNESCO

La UNESCO lanzó su Museo Virtual de Objetos Culturales Robados, una plataforma global que utiliza el modelado 3D y la realidad virtual para reconstruir y mostrar artefactos robados. Diseñado por el ganador del Premio Pritzker, Francis Kéré, y financiado por el Reino de Arabia Saudita, en colaboración con la INTERPOL, el museo no solo exhibe objetos robados, sino que también proporciona contenido educativo y testimonios de comunidades afectadas. Una sala dedicada destaca los casos de restitución exitosos, promoviendo la concienciación y la cooperación internacional contra el saqueo y el tráfico de bienes culturales.

(www.unesco.org)

Tecnología Museo Virtual Tecnología contra Robos

¿La traducción automática finalmente está 'resuelta'? Una mirada al pez Babel algorítmico

2025-09-20

¿La traducción automática finalmente está 'resuelta'? Una mirada al pez Babel algorítmico

Este artículo examina la evolución de la traducción automática (TA), desde el Babel Fish de AltaVista hasta las sofisticadas herramientas actuales impulsadas por IA. Si bien los avances han mejorado drásticamente la velocidad y la eficiencia, el autor utiliza la crítica de Umberto Eco a los sistemas de TA antiguos para destacar los desafíos persistentes en la traducción de contextos matizados, implicaciones culturales y recursos literarios. Aunque la IA sobresale en tareas cotidianas, se queda corta en el papel crucial de la traducción humana en el manejo de sutilezas lingüísticas y diferencias culturales. El artículo advierte contra la dependencia excesiva de la TA, alertando sobre el posible empobrecimiento cultural y la devaluación de las habilidades de traducción humana. Aboga por un enfoque cauteloso, enfatizando el valor único de los traductores humanos.

(hedgehogreview.com)

IA Traducción humana

Máquina del tiempo de la TV de los 90: Un Raspberry Pi que reproduce programas de TV aleatorios de los 90

2025-09-20

¿Echas de menos la espontaneidad de la televisión de los 90? Este proyecto recrea esa experiencia usando un Raspberry Pi. El autor cargó programas clásicos de los 90 (Tortugas Ninja Mutantes Adolescentes, Star Trek: La Nueva Generación, etc.) en un Raspberry Pi y escribió un script para reproducirlos aleatoriamente al iniciar. La guía detalla el proceso: instalación de Raspberry Pi OS Lite, VLC, creación de un script para mezclar y reproducir vídeos y configuración de un servicio systemd para el inicio automático. Es un proyecto tecnológico nostálgico que muestra la versatilidad del Raspberry Pi.

(quarters.captaintouch.com)

Hardware TV de los 90

Discurso de Einstein en la Feria Mundial de 1940: Una celebración de la diversidad en Estados Unidos

2025-09-20

Discurso de Einstein en la Feria Mundial de 1940: Una celebración de la diversidad en Estados Unidos

Este artículo relata un discurso poco conocido pronunciado por Albert Einstein en la Feria Mundial de Nueva York de 1940. El discurso elogiaba las contribuciones de inmigrantes y afroamericanos, abogando por el reconocimiento de la diversidad e inclusión en Estados Unidos. El contexto se establece en el marco del sentimiento antiinmigrante previo a la Segunda Guerra Mundial y la influencia nazi en los EE. UU.; el discurso de Einstein sirvió como un contrapunto poderoso, enfatizando la importancia del multiculturalismo para la sociedad estadounidense y refutando las falacias de la restricción a la inmigración. Esto contrasta fuertemente con los movimientos nativistas de la década de 1850 y los elementos pronazis antes de la Segunda Guerra Mundial.

(www.openculture.com)

Varios

Resolviendo un rompecabezas de madera de 25 piezas con Haskell: Parte I

2025-09-20

El autor recibió un rompecabezas 3D desafiante compuesto por 25 piezas de madera idénticas y, después de luchar por resolverlo manualmente, decidió aprovechar el poder del lenguaje de programación Haskell. Esta es la primera de una serie de dos partes que se centra en el modelado del problema. El autor modela el espacio como una cuadrícula 3D, utilizando vectores para representar las posiciones y definiendo estructuras de datos para una sola pieza y su disposición en el espacio. El artículo detalla cómo se utilizan el álgebra lineal y las características de Haskell para representar las rotaciones y las traslaciones de las piezas, generando una lista de candidatos de todas las disposiciones posibles. El artículo termina con un suspenso, dejando la solución de encontrar la disposición correcta entre los candidatos para la segunda parte.

(glocq.github.io)

Desarrollo Rompecabezas 3D

Aumento del rendimiento del kernel de Linux: secuencias reiniciables mejoradas

2025-09-20

La función de secuencias reiniciables del kernel de Linux, diseñada para aumentar el rendimiento en aplicaciones con subprocesos, ha visto un aumento en su uso junto con nuevas funciones del kernel. Sin embargo, esto ha revelado algunos problemas. El desarrollador Thomas Gleixner recientemente mejoró el código, abordando los cuellos de botella de rendimiento y los problemas históricos. Estos cambios mejoran significativamente la eficiencia, pero pueden requerir cambios de ABI en el espacio de usuario, lo que exige pruebas rigurosas para garantizar la compatibilidad.

(lwn.net)

Desarrollo secuencias reiniciables

Modelos LLM de Azure: Un Caso de Rendimiento Degradante

2025-09-20

Modelos LLM de Azure: Un Caso de Rendimiento Degradante

Un desarrollador que construye un producto utilizando modelos LLM y de audio de Azure descubrió una tendencia preocupante: los mismos modelos están empeorando progresivamente con el tiempo. Utilizando indicaciones y mensajes del sistema idénticos, la precisión de las respuestas de GPT-4o-mini y GPT-5-mini/nano ha disminuido significativamente. GPT-5, aunque inicialmente se esperaba que fuera superior, resultó más lento y menos preciso que el antiguo GPT-4o-mini. El desarrollador sospecha que Microsoft está degradando deliberadamente los modelos antiguos para impulsar a los usuarios hacia versiones más nuevas, menos fiables. Esta práctica perjudica la experiencia del usuario y puede llevar a los desarrolladores a buscar plataformas alternativas.

(learn.microsoft.com)

Desarrollo degradación del modelo

NotebookLM: Una herramienta de notas con IA centrada en el proceso de creación

2025-09-20

NotebookLM: Una herramienta de notas con IA centrada en el proceso de creación

NotebookLM es una nueva herramienta de notas con IA diseñada en torno al proceso de creación: desde las entradas, pasando por la conversación, hasta las salidas. Los usuarios importan fuentes (documentos, notas, referencias), interactúan mediante chat para hacer preguntas, aclarar y sintetizar información, generando finalmente salidas estructuradas como notas, guías de estudio y resúmenes de audio. Este flujo de trabajo lineal pero flexible (Entradas → Chat → Salidas) hace que la interacción con la IA sea intuitiva y fácil de entender para los usuarios.

(jasonspielman.com)

IA herramienta de notas con IA proceso de creación

Purga masiva de paquetes NPM: Una llamada de atención para desarrolladores

2025-09-20

Purga masiva de paquetes NPM: Una llamada de atención para desarrolladores

Una cantidad significativa de paquetes npm se han eliminado del registro npm, afectando componentes y herramientas en varios frameworks como React, Angular y NativeScript. Los paquetes afectados van desde aquellos completamente eliminados hasta otros con versiones corregidas. Este evento sirve como recordatorio para los desarrolladores de la importancia del mantenimiento y la seguridad de las dependencias. Es crucial revisar las dependencias del proyecto y tomar las medidas necesarias para evitar interrupciones. Las razones para la eliminación pueden incluir vulnerabilidades de seguridad, problemas de mantenimiento u otros factores.

(www.koi.security)

Desarrollo eliminación de paquetes

¿Por qué deberías abandonar GitHub para tu proyecto de código abierto?

2025-09-20

Este artículo expone los aspectos problemáticos del uso de GitHub, una plataforma propiedad de Microsoft. Destaca problemas como el control limitado del usuario, un modelo centralizado, el seguimiento de telemetría y el bloqueo del proveedor a través de funciones como GitHub Actions y Copilot. Más críticamente, detalla las asociaciones controvertidas de Microsoft con el gobierno de EE. UU. y el ejército israelí, incluido el suministro de servicios en la nube a ICE y tecnología de IA a las Fuerzas de Defensa de Israel, lo que provocó protestas internas de los empleados. El autor aboga por la migración de proyectos de código abierto a soluciones autohospedadas como Forgejo o Sourcehut para preservar el espíritu y la independencia del código abierto.

(unixdigest.com)

Desarrollo

El comité de C++ abandona la propuesta de subconjunto seguro en medio del debate sobre la seguridad de memoria

2025-09-20

El comité de C++ abandona la propuesta de subconjunto seguro en medio del debate sobre la seguridad de memoria

El comité de estándares de C++ rechazó una propuesta detallada para un subconjunto rigurosamente seguro del lenguaje, a pesar de las continuas preocupaciones sobre la seguridad de memoria. El coautor Sean Baxter atribuye el rechazo a la impopularidad del modelo de seguridad de Rust en el comité, favoreciendo el enfoque de 'Perfiles' en su lugar. Si bien los Perfiles cuentan con el apoyo de figuras como Bjarne Stroustrup, su viabilidad es cuestionada, pudiendo no incluirse en C++26. La decisión genera controversia, y los desarrolladores sugieren que cambiar a Rust u otras alternativas de lenguajes más seguros, como el proyecto experimental Carbon de Google, podría ser una solución superior.

(www.theregister.com)

Desarrollo

Microplasticos vinculados a síntomas similares al Alzheimer en un estudio con ratones

2025-09-20

Microplasticos vinculados a síntomas similares al Alzheimer en un estudio con ratones

Un nuevo estudio de la Facultad de Farmacia de la Universidad de Rhode Island revela un vínculo preocupante entre los microplasticos y el deterioro cognitivo. Los investigadores expusieron ratones genéticamente modificados (que portaban el gen APOE4, un fuerte factor de riesgo para el Alzheimer) a microplasticos en su agua potable. Los resultados mostraron que los ratones expuestos a microplasticos presentaron deterioro cognitivo, con los machos mostrando un aumento de la apatía y las hembras mostrando déficits de memoria, reflejando las diferencias dependientes del sexo observadas en pacientes humanos con Alzheimer. Esta investigación destaca los peligros potenciales de la exposición a microplasticos y subraya la necesidad de más investigación y regulación.

(www.uri.edu)

Tecnología toxinas ambientales

Restricciones de la Unidad de Servicio Systemd: Una Causa Común de Fallos en el Inicio de Daemons

2025-09-20

Un problema clásico para los administradores de sistemas Linux es que un daemon falle al iniciarse normalmente, pero funcione correctamente cuando se ejecuta manualmente como root. Las causas tradicionales incluyen variables de entorno $PATH incompletas, SELinux y AppArmor. Cada vez más, las restricciones de la unidad de servicio systemd (documentadas en systemd.exec) son las culpables. Las directivas como ProtectHome y PrivateTmp pueden causar errores crípticos de "permiso denegado" o "archivo no encontrado", o incluso fallos indirectos como el bloqueo de consultas DNS. Eliminar las restricciones del archivo .service del daemon puede ayudar a diagnosticar el problema, pero los daemons futuros pueden depender de estas restricciones, complicando la resolución de problemas.

(utcc.utoronto.ca)

Desarrollo

Reino Unido firma acuerdo de defensa con Palantir, desbloqueando una inversión de US$ 2 mil millones

2025-09-20

Reino Unido firma acuerdo de defensa con Palantir, desbloqueando una inversión de US$ 2 mil millones

El gobierno del Reino Unido ha firmado un acuerdo de defensa con la empresa estadounidense de análisis de datos Palantir, que se espera que atraiga una inversión de 1.500 millones de libras (2.000 millones de dólares). Palantir planea establecer su sede de defensa europea en el Reino Unido, creando hasta 350 puestos de trabajo. El acuerdo ayudará a los militares británicos a aprovechar la IA para una toma de decisiones y un direccionamiento más rápidos, e impulsará el crecimiento de las empresas británicas de tecnología de defensa. A pesar de las controversias en torno al trabajo de Palantir con la CIA y el ICE, el gobierno del Reino Unido considera que el acuerdo es una forma de mejorar su liderazgo en innovación en la OTAN.

(www.theregister.com)

Tecnología acuerdo de defensa

iPhone 17 Pro: La cámara de vapor toma protagonismo en el enfriamiento

2025-09-20

iPhone 17 Pro: La cámara de vapor toma protagonismo en el enfriamiento

Los nuevos modelos iPhone 17 Pro y Pro Max de Apple incorporan una innovadora tecnología de refrigeración por cámara de vapor. Este sistema utiliza una cámara sellada con una pequeña cantidad de agua que circula entre líquido y gas para disipar eficientemente el calor generado por los potentes componentes del teléfono. Una tecnología similar se ha utilizado en portátiles durante años, pero su adopción en smartphones de alto rendimiento supone un avance significativo. Si bien existen desafíos de fabricación, la refrigeración por cámara de vapor promete una gestión térmica superior y es probable que se convierta en una característica estándar en los teléfonos de gama alta.

(spectrum.ieee.org)

Hardware Refrigeración por Cámara de Vapor Tecnología para Smartphones

Llamadas al sistema: El costo oculto del rendimiento

2025-09-20

Llamadas al sistema: El costo oculto del rendimiento

Este artículo profundiza en la sobrecarga de rendimiento de las llamadas al sistema de Linux, revelando que es mucho más que una simple llamada a función del kernel. Las llamadas al sistema interrumpen las optimizaciones de microarquitectura de la CPU, como la canalización de instrucciones y la predicción de saltos, lo que lleva a pérdidas de rendimiento que superan con creces lo que es aparente en el código fuente. El artículo analiza el código del kernel, explica el impacto en el rendimiento de varias mitigaciones de software y hardware, y ofrece estrategias de optimización, como el uso de vDSO, el almacenamiento en caché de valores, la optimización de E/S, las operaciones por lotes y el traslado de trabajo al kernel para reducir la frecuencia de las llamadas al sistema y mejorar el rendimiento del software.

(blog.codingconfessions.com)

Desarrollo

Biblioteca de funciones de suavizado Bézier cúbicas en C++: Velocidad excepcional

2025-09-20

Este artículo presenta una biblioteca C++20 de un solo encabezado que representa curvas Bézier cúbicas directamente como funciones de suavizado, lo que resulta en mejoras de rendimiento en la animación. Implementada utilizando la clase de plantilla `EasingCubicBezier`, la biblioteca ofrece modos PRECISE (alta precisión) y FAST (alto rendimiento). Las pruebas de referencia demuestran que este enfoque supera al algoritmo de Blender y a las soluciones numéricas basadas en el método de Newton-Raphson, ofreciendo una velocidad y estabilidad superiores, especialmente para sistemas de animación en tiempo real. Esto se debe a que evita la sobrecarga asociada a la resolución de ecuaciones polinómicas cúbicas en tiempo de ejecución.

(asawicki.info)

Desarrollo

¿El fin de la revolución de la lectura? El declive de la lectura y la crisis de la democracia en la era de los smartphones

2025-09-20

¿El fin de la revolución de la lectura? El declive de la lectura y la crisis de la democracia en la era de los smartphones

Este artículo explora la inversión de la revolución de la lectura. La revolución de la lectura del siglo XVIII democratizó el conocimiento, fomentando la razón y la democracia. Sin embargo, el advenimiento de la era de los smartphones ha llevado a una marcada disminución de la lectura, con la atención de las personas capturada por información fragmentada y redes sociales, lo que provoca una disminución del pensamiento crítico y las habilidades cognitivas. Esto no solo conduce a la pérdida de conocimiento, sino que también amenaza los cimientos de los sistemas democráticos, ya que las democracias requieren que los ciudadanos posean suficiente conocimiento y habilidades de pensamiento crítico. El artículo advierte que esta tendencia hacia una sociedad posalfabetizada podría llevar a una regresión social, volviendo a una era pre-impresión de autoritarismo y superstición.

(jmarriott.substack.com)

Tecnología

GitHub Actions: Fin del Soporte para Node.js 20 y Migración a Node.js 24

2025-09-20

GitHub Actions: Fin del Soporte para Node.js 20 y Migración a Node.js 24

GitHub Actions anuncia el fin del soporte para Node.js 20 en abril de 2026 y planea migrar todas las acciones a Node.js 24 en otoño de 2025. La versión más reciente del ejecutor de GitHub ya admite Node.js 24, y los usuarios pueden probarlo con anticipación configurando una variable de entorno. A partir del 4 de marzo de 2026, Node.js 24 será la versión predeterminada. Los usuarios pueden continuar usando Node.js 20 temporalmente configurando una variable de entorno hasta su eliminación completa en verano. Tenga en cuenta que Node.js 24 es incompatible con macOS 13.4 y versiones anteriores, y no admite ejecutores autohospedados con arquitectura ARM32.

(github.blog)

Desarrollo

Ataque de Exfiltración de Tokens PyPI a través de Workflows de GitHub Actions

2025-09-20

Ataque de Exfiltración de Tokens PyPI a través de Workflows de GitHub Actions

Una reciente campaña de ataque se dirigió a los workflows de GitHub Actions para robar tokens de publicación de PyPI. Los atacantes modificaron workflows en varios repositorios, enviando tokens de PyPI almacenados como secretos de GitHub a servidores externos. Si bien algunos tokens fueron exfiltrados, no se utilizaron en PyPI. Todos los tokens afectados se han invalidado y se ha notificado a los mantenedores afectados. Se recomienda usar los Trusted Publishers de GitHub Actions para mitigar ataques futuros.

(blog.pypi.org)

Desarrollo Brecha de Seguridad

Anubis: Defensa anti-raspado de sitio web contra IA

2025-09-20

Para combatir el tiempo de inactividad del servidor causado por el raspado a gran escala de datos por parte de empresas de IA, este sitio web ha implementado un mecanismo anti-raspado llamado Anubis. Anubis utiliza un esquema de Prueba de Trabajo (PoW) similar a Hashcash, añadiendo una sobrecarga insignificante para los usuarios individuales, pero aumentando significativamente el costo para el raspado masivo. Esta es una solución temporal; las mejoras futuras se centrarán en la huella digital y la detección de navegadores sin cabeza para mejorar la precisión y reducir las interrupciones para los usuarios legítimos. Tenga en cuenta que Anubis requiere funciones JavaScript modernas; desactive los complementos como JShelter que puedan deshabilitar JavaScript.

(lore.kernel.org)

Tecnología

El aumento de la tarifa del visado H-1B sorprende a los gigantes tecnológicos: Microsoft pide el regreso inmediato de los empleados

2025-09-20

El aumento de la tarifa del visado H-1B sorprende a los gigantes tecnológicos: Microsoft pide el regreso inmediato de los empleados

Una orden ejecutiva de la administración Trump, del 19 de septiembre, impuso una tarifa anual de 100.000 dólares para las solicitudes de visado H-1B, causando una conmoción en el sector tecnológico, que depende en gran medida de trabajadores cualificados de la India y China. Microsoft alertó a sus empleados con visados H-1B y H-4 para que regresen a EE. UU. antes de la fecha límite del 21 de septiembre, de lo contrario, la empresa se enfrentará a fuertes multas. La medida provocó una reacción negativa de los gigantes tecnológicos y de la India, y los expertos la calificaron de 'regresiva'. El secretario de Comercio de EE. UU. instó a priorizar la formación de trabajadores estadounidenses.

(timesofindia.indiatimes.com)

Tecnología Visado H-1B

MapSCII: Explora el Mundo en tu Terminal

2025-09-20

MapSCII: Explora el Mundo en tu Terminal

MapSCII es un renderizador de teselas vectoriales basado en Node.js que muestra mapas en caracteres Braille y ASCII en terminales compatibles con xterm. Incluye funciones como arrastrar y ampliar con el ratón, estilo de capa personalizable (compatible con Mapbox Styles), conexión a servidores de teselas vectoriales públicos o privados y uso sin conexión con VectorTile/MBTiles locales. La instalación es sencilla, compatible con varios sistemas operativos y terminales. Algoritmos altamente optimizados garantizan una experiencia fluida. Es de código abierto, gratuito y utiliza datos de OpenStreetMap bajo las licencias ODbL y CC BY-SA.

(github.com)

Desarrollo

Registros TXT de DNS: Superando el límite de 64KB

2025-09-20

Contrariamente a la creencia popular, los registros TXT de DNS no están limitados a 255 bytes. Al aprovechar TCP y el análisis JSON personalizado, un desarrollador superó este límite, transmitiendo hasta 64 KB de datos. Se utilizó un servidor Go personalizado y la API JSON de Google Public DNS para transmitir un archivo binario grande dentro de un registro TXT. Este experimento muestra una solución inteligente y plantea preocupaciones de seguridad, especialmente sobre posibles ataques de tunelización DNS.

(dgl.cx)

Tecnología

'Tarjeta de Oro' de Trump: ¿Un visado de un millón de dólares?

2025-09-20

'Tarjeta de Oro' de Trump: ¿Un visado de un millón de dólares?

Una nueva orden ejecutiva de la administración Trump introduce un programa de visado de inmigración llamado 'Tarjeta de Oro'. Las personas que donen 1 millón de dólares (individuos) o 2 millones de dólares (empresas) al Departamento de Comercio reciben un procesamiento de visado acelerado. Los fondos se utilizarán para promover el comercio y la industria estadounidense. Si bien tiene como objetivo atraer a personas de alto patrimonio neto y generar ingresos, el programa genera debates sobre equidad y riesgos potenciales.

(www.whitehouse.gov)

Varios programa tarjeta de oro inmigración de alto patrimonio neto

Revolucionaria batería de hidrógeno a 90°C desarrollada en Japón

2025-09-20

Revolucionaria batería de hidrógeno a 90°C desarrollada en Japón

Investigadores japoneses han desarrollado una batería de hidrógeno que funciona a una innovadora temperatura de 90°C, superando las limitaciones anteriores de altas temperaturas y baja capacidad. La batería utiliza un electrolito sólido para mover iones de hidruro, permitiendo una carga y descarga eficientes del ánodo de hidruro de magnesio. Al lograr una capacidad de almacenamiento de hidrógeno cercana a la teórica (7,6% en peso), esta innovación promete una solución práctica para el almacenamiento de hidrógeno, allanando el camino para vehículos impulsados por hidrógeno y sistemas de energía limpia.

(www.isct.ac.jp)

Tecnología batería de hidrógeno almacenamiento de hidrógeno

Premios Ig Nobel: Celebrando la ciencia poco convencional

2025-09-20

Premios Ig Nobel: Celebrando la ciencia poco convencional

Los Premios Ig Nobel están de vuelta, celebrando investigaciones que son a la vez divertidas y estimulantes. Los ganadores de este año abordaron temas que van desde la composición bacteriana de chicles desechados hasta la relación entre los olores de los cines y el contenido de las películas. Otros estudios exploraron aspectos sorprendentemente prácticos, como el propósito evolutivo de las barbas y cómo los peatones evitan las colisiones. Estos experimentos peculiares destacan el lado inesperado de la ciencia, mostrando cómo incluso las investigaciones aparentemente absurdas pueden generar ideas valiosas y recordándonos que la exploración científica no conoce límites.

(improbable.com)

Varios Premios Ig Nobel investigación inusual

Cifrado de Grito: Un Uso Novedoso de Caracteres Unicode

2025-09-20

Cifrado de Grito: Un Uso Novedoso de Caracteres Unicode

Este artículo presenta un divertido algoritmo criptográfico: el "Cifrado de Grito", que aprovecha las numerosas variaciones del carácter Unicode 'A' para cifrar texto. Un simple mapeo de diccionario sustituye las letras estándar por diferentes caracteres 'A' para el cifrado y descifrado. El código Python demuestra la implementación del algoritmo, cifrando y descifrando con éxito el texto de ejemplo "SCREAM CIPHER". Esto muestra la riqueza del conjunto de caracteres Unicode, ofreciendo un método de cifrado único, aunque simple.

(sethmlarson.dev)

Desarrollo

Extracción de datos de entrenamiento de LLMs: Invertir la compresión del conocimiento

2025-09-20

Extracción de datos de entrenamiento de LLMs: Invertir la compresión del conocimiento

Los investigadores han desarrollado una técnica para extraer conjuntos de datos estructurados de modelos de lenguaje grandes (LLMs), invirtiendo efectivamente el proceso mediante el cual los LLMs comprimen grandes cantidades de datos de entrenamiento en sus parámetros. El método utiliza la exploración jerárquica de temas para recorrer sistemáticamente el espacio de conocimiento del modelo, generando ejemplos de entrenamiento que capturan tanto el conocimiento fáctico como los patrones de razonamiento. Esta técnica se ha aplicado con éxito a modelos de código abierto como Qwen3-Coder, GPT-OSS y Llama 3, generando decenas de miles de ejemplos de entrenamiento estructurados. Estos conjuntos de datos tienen aplicaciones en el análisis de modelos, la transferencia de conocimiento, el aumento de datos de entrenamiento y la depuración de modelos. Esta investigación abre nuevas vías para la interpretabilidad de los modelos y la transferencia de conocimiento entre modelos.

(www.scalarlm.com)

IA

Claude Code: Un avance inesperado en la demostración interactiva de teoremas asistida por IA

2025-09-20

El agente de codificación de IA Claude Code de Anthropic destaca sorprendentemente en la demostración interactiva de teoremas (ITP). Las herramientas de ITP como Lean, aunque potentes y fiables, requieren mucho tiempo y son propensas a errores. Claude Code puede completar de forma independiente muchas etapas de demostración complejas, aunque todavía necesita orientación humana. Sin embargo, apunta a un futuro en el que las herramientas de ITP no requerirán expertos, haciéndolas accesibles a un público más amplio. El artículo profundiza en las capacidades y limitaciones de Claude Code, detallando la experiencia del autor al formalizar un artículo antiguo usándolo. Aunque más lento que el trabajo manual, demuestra el inmenso potencial de la IA en los métodos formales, ofreciendo esperanza para una adopción más amplia de la ITP.

(www.galois.com)

IA Demostración Interactiva de Teoremas

← Previous 1 2 … 6 7 8 9 10 11 12 13 14 … 595 596 Next →