OpenAI publica diez demostraciones matemáticas verificadas en Lean producidas por su modelo Astra, California estrena hoy su ley de transparencia de IA alineada con el calendario europeo, DeepSeek sale de beta con un modelo económico que reabre la guerra de precios, xAI amplía Grok Imagine a video de 1080p y Anthropic cierra hoy su convocatoria de becas científicas para enfermedades raras mientras retira herramientas heredadas de su plataforma.
OpenAI publicó el 1 de agosto diez resultados en matemáticas y ciencias de la computación teórica producidos por Astra, el modelo que la empresa describe como su próximo gran lanzamiento, según el blog oficial de OpenAI y recogieron Digg, StartupHub.ai y Developers Digest. Los problemas abarcan empaquetamiento de esferas de alta dimensión, códigos binarios y esféricos, la existencia de grupos no sóficos, una refutación de la conjetura de rigidez de Connes, cotas de complejidad de circuitos aritméticos, repetición paralela cuántica, dureza del problema del vector más cercano en retículas, la conjetura de volumen de Ehrhart y los problemas de Erdős 146, 180 y 183 sobre números de Ramsey y números extremales, según el repositorio público de la empresa en GitHub. OpenAI publicó una colección de manuscritos de 249 páginas, transcripciones del razonamiento del modelo y certificados públicos en Lean 4 para cada uno de los diez resultados —el estándar de verificación más exigente que un trabajo matemático producido por IA ha superado a esta escala—, y estimó que generar las diez soluciones costó unos $2.000 en tokens a las tarifas de su API Sol. El anuncio llega días después de que Financial Times revelara que Google DeepMind desarmó al equipo que ganó el Nobel con AlphaFold, la historia que esta edición reportó el 31 de julio, en momento en que los laboratorios de frontera compiten también por mostrar contribuciones científicas verificables, no solo productos comerciales. OpenAI no anunció una fecha de disponibilidad pública para Astra ni detalló si planea someter estos resultados a revisión formal por pares matemáticos más allá de la verificación mecánica en Lean. Ninguna universidad costarricense ha comentado los resultados; investigadores de matemática de la Universidad de Costa Rica y el Tecnológico de Costa Rica no figuran entre los grupos que trabajan con demostradores automáticos como Lean, según la información disponible al cierre de esta edición.
La Ley de Transparencia de IA y su reforma AB 853 entran hoy en vigor, exigiendo marcas de procedencia verificables en el contenido generado por IA a las plataformas con más de un millón de usuarios en el estado.
La Ley de Transparencia de IA de California (SB 942), reformada por AB 853, se vuelve operativa este domingo 2 de agosto de 2026, según los rastreadores legales National Law Review, Secure Privacy y AI Laws by State, en una fecha elegida deliberadamente para coincidir con la entrada en vigor de las obligaciones para sistemas de alto riesgo del Reglamento de IA de la Unión Europea. La norma obliga a los proveedores de IA generativa con más de un millón de usuarios mensuales en California a incrustar metadatos de procedencia compatibles con el estándar C2PA en imágenes, video y audio generados con sus herramientas, ofrecer una herramienta pública gratuita de detección y permitir a los usuarios agregar etiquetas visibles de contenido generado por IA. El texto de la ley, disponible en el sitio oficial de la Legislatura de California, confirma que AB 853 amplía además las obligaciones a las llamadas «plataformas de alojamiento de IA generativa», a las redes sociales y buscadores con más de dos millones de usuarios mensuales, y a los fabricantes de dispositivos de captura de fotos, audio y video. La norma se suma al mosaico de reglas estatales que ya rigen en Texas, Illinois y Utah —el mismo mosaico que esta edición reportó ayer—, y convierte a California en la jurisdicción con el marco de procedencia de IA más detallado de Estados Unidos, según AI Laws by State. El gobernador Gavin Newsom firmó la ley original en septiembre de 2024; la reforma AB 853, firmada en octubre de 2025, fue la que corrió la fecha de entrada en vigor hasta hoy para alinearla con el calendario europeo. Ni National Law Review ni Secure Privacy detallan todavía las sanciones exactas que aplicará el fiscal general de California a las empresas que incumplan, y ninguna de las plataformas cubiertas —OpenAI, Google, Meta, Anthropic o xAI, todas con productos usados en Costa Rica— ha confirmado si desplegará el etiquetado de procedencia únicamente para usuarios californianos o de forma global, como ha sido habitual con otras funciones de cumplimiento regulatorio en el pasado. Costa Rica no tiene una ley de transparencia de IA equivalente; el expediente 23.771 para crear una autoridad reguladora de IA (ARIA) sigue pendiente en la Asamblea Legislativa, sin un requisito de etiquetado de contenido generado por IA como el que hoy entra en vigor en California.
DeepSeek publicó el 31 de julio la versión pública en beta de DeepSeek-V4-Flash-0731 en Hugging Face y su API, con un precio de $0,14 por millón de tokens de entrada y $0,28 por millón de salida —que cae a $0,0028 en aciertos de caché—, según recogieron MarkTechPost, el enrutador de modelos OpenRouter y el rastreador de precios AIPricing.guru. La empresa reporta 82,7% en Terminal-Bench, una prueba de tareas agénticas ejecutadas en terminal, superando ahí a su propia versión Pro, de acuerdo con MarkTechPost; el medio Officechai tituló su cobertura comparando el rendimiento con el de Claude Opus 4.8 de Anthropic. El modelo mantiene el mismo tamaño y arquitectura que su predecesor —una mezcla dispersa de expertos con 13.000 millones de parámetros activos sobre un total de 284.000 millones—, y la propia ficha técnica de DeepSeek reconoce que las mejoras provienen de un nuevo ciclo de post-entrenamiento, no de un rediseño, según Officechai. Ese dato matiza la comparación con Opus 4.8: la ganancia reportada nace de reentrenar un modelo ya existente, y ningún rastreador independiente de referencias —incluido Artificial Analysis, que sí publica su propia batería de pruebas para el modelo— ha confirmado todavía esas cifras con una metodología ajena a DeepSeek. La beta llega tres semanas después de que OpenAI recortara hasta 80% el precio de sus niveles más económicos de GPT-5.6, la historia que esta edición reportó el 31 de julio, en la misma guerra de precios entre laboratorios. DeepSeek no anunció fecha de salida de la fase beta ni cambios al límite de 2.500 solicitudes concurrentes. Software houses costarricenses que ya usan APIs de modelos económicos como GPT-5.6 Luna podrían sumar a DeepSeek como alternativa de bajo costo, aunque ninguna empresa local ha confirmado integrarlo; el modelo, a diferencia de los chips con los que se entrena, no está sujeto a restricciones de exportación que afecten su uso en Costa Rica.
xAI confirmó que, al 1 de agosto de 2026, su modelo grok-imagine-video-1.5 soporta de forma nativa video en 1080p a partir de texto, imágenes o hasta siete referencias visuales por generación, con mejor control de escena y consistencia de voz entre tomas, según reportó el sitio especializado Basenor. La actualización está disponible de forma simultánea en la aplicación Grok, en iOS, Android y en la API de xAI. xAI adelantó además que su modelo de voz, grok-voice-think-fast, pasará a la versión 2.0 el 5 de agosto, con un precio de $0,08 por minuto de audio. El ritmo de lanzamientos de Grok Imagine llega apenas días después de que un juez federal rechazara la solicitud de xAI de pausar la ley de Minnesota contra la desnudificación por IA, la historia que esta edición reportó ayer —una norma que, junto con la ley de transparencia de California que entra en vigor hoy, apunta directamente al tipo de contenido sintético que herramientas como Grok Imagine pueden producir. xAI no ha dicho si aplicará a los videos generados con Grok Imagine el mismo etiquetado de procedencia que hoy exige California a las plataformas con más de un millón de usuarios en ese estado. La información sobre esta actualización proviene únicamente de Basenor, sin cobertura cruzada de un medio mayor al cierre de esta edición. Costa Rica no tiene una ley de desnudificación o etiquetado de contenido sintético equivalente a las de Minnesota o California; los usuarios ticos de Grok Imagine quedan, por ahora, fuera de esas protecciones específicas.
— xAI completó la función de generación de video de Grok Imagine con soporte de texto a video, imagen a video y referencia a video, disponible ya en la aplicación, iOS, Android y la API.
Anthropic confirmó, en sus notas de lanzamiento para desarrolladores, que el acceso al Workbench heredado de la Claude Developer Platform y a las API experimentales de herramientas de prompts terminará el 17 de agosto de 2026, según recogió el rastreador de novedades Releasebot. Las notas no detallan qué reemplaza a estas herramientas más allá de la consola y el SDK vigentes de la plataforma. El retiro se suma al ritmo con el que los laboratorios de IA renuevan sus catálogos de producto —OpenAI hizo lo mismo con su asistente Atlas y el modelo o3, la historia que esta edición reportó ayer— y llega en la misma semana en que Anthropic explicó cómo tres versiones de Claude comprometieron por error a organizaciones reales durante pruebas de ciberseguridad, la historia que esta edición reportó el 1 de agosto. Equipos de desarrollo que automatizaron flujos de trabajo sobre el Workbench original deberán migrar antes de la fecha límite o perder acceso a esas herramientas. Anthropic no especificó cuántos desarrolladores activos usan todavía las herramientas que se retiran. La información proviene únicamente de un agregador de notas de lanzamiento, sin confirmación directa de otro medio especializado al cierre de esta edición. Software houses costarricenses que integran la API de Claude en sus productos deberán revisar si alguna de sus integraciones depende todavía del Workbench heredado antes del 17 de agosto.
El programa Anthropic for Science ofrece hasta $50.000 en créditos de Claude durante seis meses a investigadores que trabajen en enfermedades genéticas poco frecuentes, con el plazo de postulación venciendo este domingo.
Anthropic mantiene abierta hasta hoy, domingo 2 de agosto, la convocatoria de su programa Anthropic for Science dirigida a investigadores de enfermedades genéticas raras, con becas de hasta $50.000 en créditos de la plataforma Claude distribuidos a lo largo de seis meses, según el sitio de noticias de la empresa. El programa se suma a la lista de iniciativas de acceso académico que Anthropic ha ampliado en 2026 conforme compite con Google DeepMind y OpenAI por posicionar sus modelos como herramientas de investigación científica. La convocatoria llega la misma semana en que Financial Times reveló que Google DeepMind desarmó al equipo que ganó el Nobel con AlphaFold y que varios de sus investigadores clave —incluido el propio ganador del Nobel John Jumper— emigraron a Anthropic, la historia que esta edición reportó el 31 de julio; posicionar a Claude como aliado de la investigación biomédica de enfermedades raras encaja con esa narrativa de reclutamiento científico que atraviesa la semana. Anthropic no dijo cuántas propuestas ha recibido hasta ahora ni cuándo anunciará a los investigadores seleccionados. La empresa no publicó criterios de selección detallados más allá del enfoque en enfermedades genéticas poco frecuentes, y la información de este resumen proviene únicamente de su sitio de noticias, sin cobertura cruzada de otro medio al cierre de esta edición. Costa Rica cuenta con grupos de investigación en genética y enfermedades raras en la Universidad de Costa Rica y el Hospital Nacional de Niños, pero ninguno ha confirmado postular a esta convocatoria; sin impacto local conocido al cierre de esta edición.