Noticias externas

Resumen:Presentamos FormalProofBench, un punto de referencia privado diseñado para evaluar si los modelos de IA pueden producir pruebas matemáticas formalmente verificadas a nivel de posgrado. Cada tarea combina un problema de lenguaje natural con una declaración formal de Lean~4, y un modelo debe generar una prueba de Lean aceptada por el verificador de Lean 4.

4 minutos de lectura
Para seguir siendo competitivas, muchas pequeñas empresas necesitan tecnologías avanzadas. comunicación inalámbrica

Publicado originalmente en espectro.ieee.org el 30 de marzo de 2026.
Leer más →

RESUMEN EJECUTIVO
“En la medida en que siempre se necesitará más atención médica, creo que definitivamente deberíamos seguir todos los caminos que funcionen”, dice Andrew Bean, candidato a doctorado en el Oxford Internet Institute. “Para mí es totalmente plausible que estos modelos hayan llegado a un punto en el que realmente vale la pena implementarlos”.