Developer Community 8 Hours

Última actualización: September 10, 2026, 10:04 PM ET

Verificación formal

El lanzamiento de Navier-Stokes de OpenAI se publicó con una prueba en Lean 4, un paso notable para las matemáticas verificadas por máquina en los flujos de investigación de producción. La discusión que lo acompaña lo enmarca como evidencia de una revolución más amplia de los métodos formales.

Herramientas para agentes

OpenAI publicó una descripción general de la Agents API, que ofrece a los desarrolladores una superficie estandarizada para orquestar llamadas a herramientas de varios pasos. Los equipos que evalúen la guía de la API encontrarán que vale la pena revisar la ruta de migración desde las completaciones de chat sin procesar.

Procedencia y captura

Un nuevo proyecto de código abierto implementa Proof of Capture, que incorpora firmas esteganográficas en las imágenes para autenticar su origen en una cámara, y se posiciona como una alternativa al sistema Reference Image de Apple. El artículo técnico detalla el esquema de codificación y sus ventajas y desventajas.

Seguridad aérea

La NTSB publicó una actualización de la investigación sobre una excursión de pista de un B-767 en Miami. El comunicado de prensa completo abarca el registro fáctico reunido hasta ahora.

Diseño y oficio

Un ensayo sostiene que la creatividad genuina es la ventaja competitiva duradera a medida que la producción generada se convierte en una mercancía. El blog del estudio defiende el criterio por encima del volumen de producción.

Curiosidades

Una breve pieza ilustrada cataloga rarezas corporales, y reúne peculiaridades anatómicas que merecen una lectura de fin de semana.