Google DeepMind lancia AlphaProof Nexus, una nuova IA per la matematica
Il modello linguistico di grandi dimensioni affronta autonomamente problemi, cercando dimostrazioni e verificando la correttezza logica. La comunità matematica teme una "slopocalypse".
15 ore