AlphaProof Nexus, la nueva IA capaz de resolver problemas matemáticos

Combina agentes de inteligencia artificial y verificación formal para resolver problemas complejos. También encontró respuestas para 44 conjeturas abiertas de la Enciclopedia en Línea de Secuencias de Números Enteros.