Meta y NYU presentan h1, una IA que demuestra teoremas con menor costo
Canuto · DiarioBitcoin ·
Un sistema desarrollado por investigadores de Meta y la Universidad de Nueva York obtuvo resultados destacados en pruebas de demostración matemática con una arquitectura deliberadamente sencilla. En problemas de Erdős, reportó una tasa de éxito superior a la de AlphaProof Nexus…