O Nexus AlphaProof da Google DeepMind resolve 9 problemas de Erdős em 26 de maio, o mais antigo por resolver há 56 anos

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

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