Anthropic ha pubblicato il 10 agosto un risultato in cui una versione di ricerca non rilasciata di Claude ha alzato un limite inferiore in teoria analitica dei numeri: la proporzione di zeri non banali della funzione zeta di Riemann dimostrati giacere sulla retta critica è passata dal 41,6% al 67,2%.

Il conteggio dei subagent

Il lavoro è stato svolto da uno sciame di 60 subagent all'interno di Claude Code. Anthropic descrive nel dettaglio il contributo di ciascuno: 2 hanno prodotto le idee chiave, 13 hanno contribuito con idee di supporto, 30 hanno seguito approcci che non hanno portato a nulla, 13 hanno validato gli argomenti e 2 hanno aiutato a scrivere il paper. Sono stati consumati 31 milioni di token di output e 2.400 comandi shell in circa un giorno e mezzo.

Chi lo ha verificato

I matematici di Anthropic Levent Alpöge e Ralph Furman hanno validato l'argomento, con una revisione esterna da parte dei teorici dei numeri Brian Conrey e Dan Goldston. È questo passaggio esterno a distinguere il risultato dalla consueta affermazione di matematica generata da una macchina.

Cosa non è

Non si tratta di un passo avanti verso la dimostrazione dell'ipotesi di Riemann, e Anthropic lo dice esplicitamente: non si aspetta che queste tecniche portino a una dimostrazione. Il miglioramento del limite è stato un sottoprodotto del tentativo di affrontare un problema diverso. La copertura di seconda mano ha inoltre aggiunto cifre che non compaiono nel testo di Anthropic, tra cui "650 approcci di soluzione" e "36 ore", e ha invecchiato il problema di 150 o 160 anni — il paper di Riemann è del 1859.

La parte interessante è il registro

Trenta dei sessanta agenti hanno fallito, e quel rapporto è stato pubblicato. È la prima volta che un laboratorio mostra il tasso di successo interno di uno sciame di ricerca invece del solo risultato finale.

Nessuno può eseguirlo di nuovo

Il sistema che ha prodotto questo risultato non è stato rilasciato, e Anthropic non ha detto se lo distribuirà. Il risultato non è riproducibile al di fuori dell'azienda: i revisori esterni hanno controllato la matematica, non la tesi su come sia stata generata.