El Nexus AlphaProof de Google DeepMind resuelve 9 problemas de Erdős el 26 de mayo, el más antiguo sin resolver desde hace 56 años

Según xinzhiyuan, Google DeepMind lanzó AlphaProof Nexus el 26 de mayo, un agente de matemáticas con IA que resolvió nueve problemas abiertos de Erdős de larga data, con el más antiguo sin resolver durante 56 años. El coste por solución fue solo de varios cientos de dólares.

Cada prueba fue verificada formalmente por el compilador Lean, eliminando la posibilidad de error. DeepMind también informó avances en geometría algebraica, optimización convexa, teoría de grafos y óptica cuántica.

Aviso legal: La información en esta página puede provenir de fuentes de terceros y es solo para referencia. No representa las opiniones ni puntos de vista de Gate y no constituye asesoramiento financiero, de inversión ni legal. El comercio de activos virtuales implica un alto riesgo. No te bases únicamente en la información presentada en esta página para tomar decisiones. Para más detalles, consulta el Aviso legal.
Comentar
0/400
Sin comentarios