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