El laboratorio Google DeepMind desarrolló una nueva herramienta de inteligencia artificial (IA), llamada AlphaProof Nexus, capaz de resolver de forma autónoma problemas matemáticos abiertos y comprobar que las soluciones sean lógicamente correctas, informó recientemente la Asociación Estadounidense para el Avance de la Ciencia (AAAS).
En un estudio, publicado en la revista Science, los investigadores explicaron que el sistema, basado en modelos de lenguaje avanzados, ya ha resuelto decenas de problemas que permanecían sin respuesta en distintas ramas de las matemáticas. Para ello emplea varios agentes de IA que buscan demostraciones y reciben retroalimentación del compilador Lean, un lenguaje formal que verifica cada paso lógico y detecta errores.
El equipo también diseñó un agente más sofisticado que coordina subagentes mediante un algoritmo evolutivo y utiliza AlphaProof como herramienta de prueba especializada. A diferencia de los chatbots convencionales, que pueden producir explicaciones matemáticas convincentes pero erróneas, este sistema se apoya en verificación formal para validar su razonamiento.
Probando su capacidad
En las pruebas, AlphaProof Nexus resolvió nueve de los 353 problemas abiertos vinculados al matemático Paul Erdos, incluidos dos que llevaban más de 50 años sin respuesta. También logró demostrar 44 de las 492 conjeturas abiertas de la Enciclopedia en Línea de Secuencias de Enteros (OEIS), además de otros problemas de nivel de investigación en geometría algebraica, optimización, óptica cuántica y teoría de grafos.
Google DeepMind señaló que expertos matemáticos revisaron la correspondencia entre los problemas originales de Erdos y las afirmaciones verificadas por el sistema. "Más allá de los resultados concretos, el verdadero valor de lo que presentan los autores está en una metodología capaz de generar descubrimientos matemáticos potentes de forma sistemática", afirmó Pablo Haya Coll, de la Universidad Autónoma de Madrid, quien destacó que hasta ahora esa capacidad había estado prácticamente "monopolizada por los laboratorios de frontera".
Si te ha gustado, ¡compártelo con tus amigos!
