Resumen: Realizamos un análisis exhaustivo de las declaraciones formales e informales en el punto de referencia miniF2F desde la perspectiva de un sistema de inteligencia artificial que tiene la tarea de participar en una Olimpiada de matemáticas que consta de los problemas en miniF2F.
Leer más →
Resumen: La rápida adopción de modelos de lenguaje grande (LLM) en la atención médica ha ido acompañada de un escrutinio de su supervisión. Los enfoques de monitoreo existentes, heredados del aprendizaje automático (ML) tradicional, se basan en tareas y se basan en la supuesta degradación del rendimiento que surge de la deriva del conjunto de datos.
Leer más →
La empresa Quantinuum, con sede en EE. UU. y el Reino Unido, hoy Helios desvelado
Publicado originalmente en technologyreview.com el 5 de noviembre de 2025.
Leer más →