Tecnología
proof assistant
Sobre esta tecnología, IA para hoy ha analizado 1 noticia, procedentes de 1 medio distinto. No ha habido cobertura nueva en la última semana. La fiabilidad media de esa cobertura es de 3,0 sobre 5, medida con las reglas de nuestro método. Las áreas de impacto que más se repiten son Ciencia, Desarrollo, IT. Aparece en 1 historia en seguimiento.
Relacionadas
LLM ×1OpenAI ×1Google DeepMind ×1Microsoft Research ×1chain-of-thought ×1Harmonic ×1reasoning ×1
Historias
Noticias
Los modelos de IA comienzan a resolver problemas matemáticos de alto nivel de forma autónoma
Desde el lanzamiento de GPT 5.2, los modelos de OpenAI han demostrado capacidad para resolver problemas matemáticos abiertos de alto nivel. Un ingeniero de…
Por qué importaRepresenta un hito en la capacidad de razonamiento matemático autónomo de los LLMs, con matemáticos de renombre como Terence Tao reconociendo el…