4 artículos
Índice de etiquetas editoriales y cobertura filtrada.
La revista Science publicó el 8 de octubre de 2026 el artículo de Google DeepMind sobre AlphaProof Nexus, un marco de agentes que genera demostraciones formales verificadas en Lean y que resolvió 9 de 353 problemas de Erdős intentados y 44 de 492 conjeturas abiertas de la OEIS.
EmbeddingGemma 2, basado en Gemma 4 y publicado con licencia Apache 2.0, une texto, código, imágenes, vídeo y audio en un mismo espacio vectorial de 768 dimensiones, cuadruplica el contexto hasta 8.192 tokens y mejora 9,92 puntos en MTEB Code, con versiones modulares desde 270 millones de parámetros.
Google DeepMind presentó SynthID Bio, un método que introduce una señal invisible en las proteínas diseñadas con inteligencia artificial durante el propio proceso de diseño, con el objetivo de reforzar la bioseguridad; en pruebas de laboratorio las proteínas marcadas funcionaron igual que las no marcadas.
Google presentó hoy Gemini 4 Argon, su nuevo modelo de frontera para programación compleja, trabajo legal y financiero y ciberdefensa: hasta 1 millón de tokens de salida (antes 64.000), 77,9 % en DeepSWE v1.1 y precio introductorio de US$2 entrada y US$10 salida por millón. Por ahora llega a defensores de ciberseguridad del programa Fairwind.