La Cronistoria della Scoperta
L'11 agosto 2026, la comunità della teoria analitica dei numeri ha assistito al più significativo avanzamento incondizionato da oltre trent'anni sull'Ipotesi di Riemann:
Il risultato di Anthropic: Un modello di ricerca avanzato della serie Claude (Anthropic), guidato da un team coordinato da Jarred Sumner, Levent Alpöge e Ralph Furman, ha pubblicato una dimostrazione incondizionata che innalza drasticamente la quota conosciuta di zeri non banali situati sulla linea critica $\mathrm{Re}(s) = 1/2$.
La verifica in Lean 4: La correttezza formale dell'argomentazione logica è stata orchestrata ed effettuata tramite l'assistente di prova Lean 4, garantendo un livello di verifica automatizzata senza precedenti.
I Dettagli del Risultato
L'Ipotesi di Riemann afferma che tutti gli zeri non banali della funzione Zeta $\zeta(s)$ hanno parte reale pari a $1/2$.
Fin dal 1942 (Atle Selberg) si sa che una proporzione positiva di zeri giace sulla linea critica. Nel 1989, J. Brian Conrey aveva stabilito che almeno il 41,6% degli zeri fosse semplice e giacesse sulla retta retta critica.
Il nuovo risultato dimostra incondizionatamente che:
Oltre il 67,2% (più di due terzi) degli zeri non banali della $\zeta(s)$ sono semplici e appartengono alla linea critica.
Almeno i 5/6 (oltre l'83,3%) degli zeri non banali sono distinti.
La tecnica sviluppata supera un ostacolo storico dei metodi a "mollificatore" (mollifier method), sostituendo il vincolo di positività termine a termine con una nuova stima d'inerzia basata sul teorema di Sylvester.
Per Approfondire
Paper Anthropic & Formalizzazione Lean 4: "More than two thirds of the zeros of the Riemann zeta function are simple and on the critical line" (Anthropic Research / Lean Community).
E adesso?
Il 33% restante degli zeri e l'ipotesi nella sua forma assoluta rimangono ancora inviolati. Ma aver infranto la barriera del 50% e raggiunto i 2/3 dimostra che l'analisi spettrale guidata dall'AI può riaprire capitoli della teoria dei numeri considerati in stallo.