Ir al contenido
IA para hoy

formalización

Noticias etiquetadas con «formalización»

4 noticias

Filtrar
Investigación

Matemáticos critican que las pruebas matemáticas de OpenAI no cumplen los estándares del campo

OpenAI publicó cientos de soluciones a problemas matemáticos abiertos, pero según un grupo asesor de nueve matemáticos (AGMAI, alojado en Princeton), la…

Por qué importaCuestiona la fiabilidad de usar modelos de IA para 'resolver' problemas científicos sin supervisión humana ni comprensión profunda, lo que puede…

Impacto bajo Fiabilidad una fuente fiable Relevancia 7/10 TechCrunch AI
Investigación

Claude de Anthropic formaliza en código verificable la prueba del último teorema de Fermat

Anthropic anunció el 4 de septiembre que un prototipo avanzado de Claude generó una prueba formal de 13 millones de líneas, verificada por ordenador en Lean…

Por qué importaDemuestra que los modelos de IA pueden abordar tareas de razonamiento formal de altísima complejidad, lo que abre la puerta a que la IA verifique y…

Impacto bajo Fiabilidad una fuente fiable Relevancia 8/10 Nature · Machine learning
Investigación

Numina-Lean-Agent resuelve todos los problemas del Putnam 2025 y automatiza pruebas matemáticas

Un sistema de IA llamado Numina-Lean-Agent, desarrollado por investigadores de instituciones chinas, británicas y europeas, ha resuelto todos los problemas del…

Por qué importaDemuestra que los modelos generales pueden igualar o superar sistemas especializados en matemáticas cuando se combinan con herramientas adecuadas…

Impacto alto Fiabilidad una fuente fiable Relevancia 8/10 Import AI (Jack Clark)
Investigación

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…

Impacto alto Fiabilidad una fuente fiable Relevancia 8/10 TechCrunch AI