O Nexus AlphaProof da Google DeepMind Resolve 9 Problemas de Erdős em 26 de maio, o mais antigo sem solução há 56 anos

De acordo com xinzhiyuan, a Google DeepMind lançou o AlphaProof Nexus em 26 de maio, um agente de matemática com IA que resolveu nove problemas abertos de Erdős de longa data, com o mais antigo sem solução há 56 anos. O custo por solução foi de apenas alguns centenas de dólares.

Cada prova foi verificada formalmente pelo compilador Lean, eliminando a possibilidade de erro. A DeepMind também relatou avanços em geometria algébrica, otimização convexa, teoria dos grafos e ótica quântica.