Il Modello AI Non Ancora Rilasciato di Anthropic Fa Progressi sull'Ipotesi di Riemann

Anthropic ha rivelato che un modello di intelligenza artificiale, non ancora rilasciato, ha compiuto notevoli progressi riguardo all'ipotesi di Riemann, uno dei problemi irrisolti più duraturi della matematica, migliorando il limite inferiore delle soluzioni valide. In un arco di un giorno e mezzo, il modello, guidato da un non esperto, ha esplorato 650 concetti distinti, collaborando con 60 sottoagenti e generando 31 milioni di token di output. Le idee matematiche chiave sono emerse da due sottoagenti, con contributi di altri 13, mentre 30 hanno tentato senza successo e 13 hanno validato i risultati. Due sottoagenti hanno redatto il documento iniziale, che è stato verificato da due matematici interni e formalizzato utilizzando l'assistente di dimostrazione open-source Lean. Questa pietra miliare segue vari progressi matematici guidati dall'IA, inclusa la risoluzione di diversi problemi di Erdős e la confutazione della congettura di Jacobian. Lo sviluppo ha acceso discussioni all'interno della comunità matematica, portando a una dichiarazione firmata da importanti matematici a giugno, che esprime preoccupazioni sul fatto che l'IA potrebbe mettere a repentaglio l'integrità del campo, in particolare per quanto riguarda l'attribuzione delle dimostrazioni. Al contrario, il vincitore della medaglia Fields Timothy Gowers ha contestato questo punto di vista, proponendo che l'impatto dell'IA sulla matematica potrebbe essere più intricato e benefico, paragonandolo al fatto che le stelle non vengono nominate in base ai loro scopritori. L'ipotesi di Riemann, che riguarda la distribuzione dei numeri primi, ha una ricompensa di 1 milione di dollari per una dimostrazione generale che rimane non reclamata.