24H AI y dinámica tecnológica:
El modelo interno de OpenAI rompe el dilema matemático: OpenAI anunció que su modelo de IA interno (supuestamente llamado 'goblin') resolvió el problema de la distancia unitaria en el plano, planteado por Paul Erdős en 1946, marcando un gran avance de la IA en la prueba formal y la investigación matemática.
Nuevos papers y proyectos de código abierto surgen (arXiv entregas del 21-22 de mayo): MOSS: un sistema de agentes autónomos que logra auto-evolución a través de reescritura a nivel de código fuente, con código en GitHub.
Gated DeltaNet-2: desacopla las operaciones de borrado y escritura en atención lineal, implementación de código abierto de NVlabs.
Avanzando la investigación matemática con búsqueda de pruebas formales impulsadas por IA: colaboración entre múltiples instituciones como Google DeepMind, utilizando IA para avanzar en la búsqueda de pruebas formales matemáticas.
Otros puntos destacados incluyen DeepWeb-Bench (benchmark de investigación profunda), SOLAR (agentes autónomos de aprendizaje continuo), WorkstreamBench (evaluación de agentes LLM para hojas de cálculo financieras), enfocados en agentes, razonamiento y multimodalidad.
AI de código abierto apoya el desarrollo de robots: NVIDIA, Hugging Face y otros impulsan plataformas de robots de código abierto (como modelos de mundo Cosmos, modelo GR00T, LeRobot), reduciendo la barrera para construir robots con inteligencia encarnada, apoyando tareas de IA física y razonamiento.
Actualizaciones de productos y dinámicas empresariales:
Informe financiero Q1 de Zoom: crecimiento de ingresos, usuarios de AI Companion de pago aumentan un 184%, se eleva la guía anual.
Workday Q1: la estrategia de IA impulsa ingresos por encima de lo esperado.
Adobe, Canva y CapCut integran Gemini, logrando edición de imágenes/videos dentro de la aplicación.
ElevenLabs lanza una aplicación de voz con IA, autorizando 200,000 audiolibros.
Trump retrasa la firma de la orden ejecutiva de IA, supuestamente por oponerse a la regulación excesiva, tuvo conversaciones con Zuckerberg, Musk y Sacks.
Otros:
Spotify colabora con Universal Music para apoyar a los fans en la generación de covers/remixes con IA; proyectos comunitarios activos como cortafuegos de IA de código abierto y herramientas SDR; AmpliTech muestra una demostración de la tecnología AI-RAN de código abierto.
#AI动态 #科技新闻
Bienvenido a seguir al médico Liu Ao—creador con 10,000 seguidores en Binance Square
El modelo interno de OpenAI rompe el dilema matemático: OpenAI anunció que su modelo de IA interno (supuestamente llamado 'goblin') resolvió el problema de la distancia unitaria en el plano, planteado por Paul Erdős en 1946, marcando un gran avance de la IA en la prueba formal y la investigación matemática.
Nuevos papers y proyectos de código abierto surgen (arXiv entregas del 21-22 de mayo): MOSS: un sistema de agentes autónomos que logra auto-evolución a través de reescritura a nivel de código fuente, con código en GitHub.
Gated DeltaNet-2: desacopla las operaciones de borrado y escritura en atención lineal, implementación de código abierto de NVlabs.
Avanzando la investigación matemática con búsqueda de pruebas formales impulsadas por IA: colaboración entre múltiples instituciones como Google DeepMind, utilizando IA para avanzar en la búsqueda de pruebas formales matemáticas.
Otros puntos destacados incluyen DeepWeb-Bench (benchmark de investigación profunda), SOLAR (agentes autónomos de aprendizaje continuo), WorkstreamBench (evaluación de agentes LLM para hojas de cálculo financieras), enfocados en agentes, razonamiento y multimodalidad.
AI de código abierto apoya el desarrollo de robots: NVIDIA, Hugging Face y otros impulsan plataformas de robots de código abierto (como modelos de mundo Cosmos, modelo GR00T, LeRobot), reduciendo la barrera para construir robots con inteligencia encarnada, apoyando tareas de IA física y razonamiento.
Actualizaciones de productos y dinámicas empresariales:
Informe financiero Q1 de Zoom: crecimiento de ingresos, usuarios de AI Companion de pago aumentan un 184%, se eleva la guía anual.
Workday Q1: la estrategia de IA impulsa ingresos por encima de lo esperado.
Adobe, Canva y CapCut integran Gemini, logrando edición de imágenes/videos dentro de la aplicación.
ElevenLabs lanza una aplicación de voz con IA, autorizando 200,000 audiolibros.
Trump retrasa la firma de la orden ejecutiva de IA, supuestamente por oponerse a la regulación excesiva, tuvo conversaciones con Zuckerberg, Musk y Sacks.
Otros:
Spotify colabora con Universal Music para apoyar a los fans en la generación de covers/remixes con IA; proyectos comunitarios activos como cortafuegos de IA de código abierto y herramientas SDR; AmpliTech muestra una demostración de la tecnología AI-RAN de código abierto.
#AI动态 #科技新闻
Bienvenido a seguir al médico Liu Ao—creador con 10,000 seguidores en Binance Square