Riassunto:
In meno di dieci giorni, il mondo della matematica ha sperimentato il giro sulle montagne russe definitivo! Il 6 ottobre OpenAI ha affermato che l’intelligenza artificiale aveva dimostrato l’ipotesi quasi riemanniana. Il matematico Alex Kontororvin ha detto senza mezzi termini: se qualcuno trova questo risultato, vincerà sicuramente immediatamente la medaglia Fields, senza suspense!
In seguito ha aggiunto che zero punti senza Siegel potrebbero contare come "due medaglie Fields".
Anche altri studiosi hanno commentato positivamente.
Questo è semplicemente un colpo di riduzione dimensionale da parte della vita basata sul silicio agli esseri umani!
Ma alcune persone non si arresero né si ritirarono.
Ora, con l'aiuto dell'intelligenza artificiale, i matematici hanno dimostrato una qualche forma dell'ipotesi di Riemann generalizzata!
Pochi giorni dopo, arrivarono una dopo l'altra buone notizie.
Il risultato di questa ipotesi quasi-Riemann porta un importante risultato di complessità computazionale:
Burgisser ha dimostrato la congettura di Valiant: sul campo complesso, VP! =VNP
Successivamente, tre matematici umani hanno ottenuto la vittoria finale e risolto completamente un classico problema rimasto in sospeso per 19 anni.
E hanno anche lasciato una dichiarazione:
In questo lavoro non sono stati utilizzati strumenti di intelligenza artificiale.
In questo lavoro non sono stati utilizzati strumenti di intelligenza artificiale.
Attacca durante la notte! L'umanità riprende l'iniziativa
Il 6 ottobre OpenAI non ha avuto alcun lampo di ispirazione o epifania. La loro intelligenza artificiale era come un super bulldozer, dimostrando violentemente la quasi-ipotesi di Riemann.
Il teorico dei numeri Hector Pasten ha espresso il suo inequivocabile stupore per i risultati di OpenAI nell'escludere gli zeri di Landau-Siegel, sottolineando che si trattava di un "problema risolto" piuttosto che di un semplice progresso.
Alcuni netizen hanno chiesto a Claude Fable 5.5 di spiegare la prova dell'ipotesi quasi-Riemann di 199 pagine di OpenAI e la valutazione è stata molto alta:
Questo è il primo intervallo fisso in assoluto senza punto zero.
Sebbene questa non sia l'ipotesi di Riemann in sé, se questa affermazione è vera, è attualmente la conclusione più vicina all'ipotesi di Riemann.
Ma se l'intelligenza artificiale riesce a vedere anche attraverso questo livello di struttura sottostante, che valore hanno i matematici umani?
Negli ambienti matematici si diffonde il panico.
Ma un vero maestro non si lamenterà. Ora che la strada è libera, premi l’acceleratore e vai avanti!
Solo 6 giorni dopo, il 12 ottobre, un nuovo articolo è apparso improvvisamente sulla piattaforma di prestampa Hexagon.
Gli autori sono i matematici umani Cureton e Thorner.
Link: https://hexagonmath.org/2610.00200v1
Non avevano tempo per piangere la primavera e l'autunno. Invece, hanno fatto una mossa audace con occhi estremamente feroci:
Pan.
Hanno applicato direttamente gli strumenti perfezionati dall'intelligenza artificiale a un oggetto matematico più ampio e complesso:
funzione Hecke L di ordine finito
.Cos'è la funzione L? È la "versione evoluta definitiva" della funzione Zeta di Riemann.
Nella moderna teoria dei numeri, grandi dimostrazioni come l'Ultimo Teorema di Fermat sono quasi inseparabili da essa.
Cureton e Thorner hanno utilizzato la svolta quasi riemanniana fornita dall'intelligenza artificiale per ottenere un risultato sorprendente:
Tutte le funzioni Hecke L di ordine finito non hanno assolutamente zeri sul lato destro di "1-1/6000".
Link: https://hexagonmath.org/pdf/2610.00200v1
Non importa se non capisci. Per usare un'analogia.
Il punto zero è come una barriera corallina nel mare.
In passato, questa zona di mare era piena di nebbia, rendendo difficile il movimento delle navi. Ora, due matematici hanno utilizzato il radar AI per tracciare con la forza una “zona sicura”.
Non ci sono assolutamente barriere coralline in questa zona.
La zona sicura è stata stabilita. Il primo pezzo di territorio è stato portato via dagli esseri umani.
Ma il divertimento è appena iniziato.
Furia estrema: strangolamento estremo da 1/6000 a 1/32
Nel momento in cui è apparso 1/6000, il DNA dei fanatici della matematica di tutto il mondo si è mosso.
È troppo piccolo. Troppo conservatore.
Dato che il telaio della porta è già allentato, perché non demolire anche il muro?
Un hackathon open source ha fatto il giro del mondo ed è esploso in un istante.
I cervelli più intelligenti del mondo sono connessi tramite Internet e iniziano a sfruttare questa costante fino al limite.
Questa è la scena più appassionante della matematica moderna, che dà inizio a uno strangolamento di gruppo.
La logica è spietatamente semplificata. Gli errori vengono disossati e rimpolpati. I confini vengono spinti verso l’esterno ancora e ancora.
1/1000. 1/500. 1/100.
La costante si riduce bruscamente come in caduta libera!
Alla fine, l'intera comunità ha fissato il limite di sicurezza di questa "Zero Point Free Zone" su un numero estremamente esagerato:
1/32
.
La zona sicura è stata ampliata centinaia di volte!
Paura di commettere errori? Preoccupato che l'intuizione umana sia inaffidabile? Non importa, vai direttamente alla macchina per verificare!
La comunità open source si è avvalsa dell'arbitro più spietato:
Lean Theorem Dimostratore
.Questo è un linguaggio di verifica formale che accetta solo logica morta. Qualsiasi piccola lacuna logica causerà l'arresto anomalo del programma.
La dimostrazione pertinente è una prova Lean formale generata dall'agente matematico AxiomProver, che si trova su Github open source.
https://github.com/AxiomMath/DedekindZetaZeroFree
Il limite di 1/32 non è solo dedotto dagli esseri umani, ma anche stabilito dalla logica della macchina.
Questo non è l'unico sottoprodotto.
Sigilla la gola con una spada! 19 anni di problemi irrisolti sono stati spazzati via
Tutti i preparativi, tutto il carnevale, aspettano oggi questo momento.
Sulla piattaforma di prestampa arXiv è uscito un documento di successo co-firmato da Frei, Somos e Widmer.
https://arxiv.org/abs/2610.18491
Lo tsunami accademico innescato da OpenAI ha finalmente frantumato la roccia più dura.
Obiettivo:
confine Ellenberg-Venkatesh nel 2007.
Questa è una spina nel fianco della teoria algebrica dei numeri.
Nel 2007, due giganti della matematica hanno fornito un limite estremamente perfetto per la torsione del gruppo di campi numerici.
Ma presenta un difetto fatale:
È condizionale.
Questo è il cosiddetto "castello in aria".La dimostrazione dei due grandi deve basarsi sulla premessa che "l'ipotesi di Riemann generalizzata (GRH) è stabilita".
Una volta che la premessa crolla, la conclusione diventa immediatamente non valida.
Negli ultimi 19 anni, innumerevoli eminenti studiosi hanno cercato di rimuovere questa stampella e di alzarsi in piedi. Tutto fallì. Perché non ci sono strumenti. Perché la roccia sottostante non è stata ancora scavata.
Fino ad oggi.
Frei, Somos e Widmer hanno visto la "zona sicura 1/32" che il gruppo davanti aveva afferrato.
Questa è la base che aspettavano da 19 anni!
Senza alcuna esitazione, i tre spadaccini sguainarono le loro 88 spade.
Hanno tuonato gli ultimi risultati relativi alla regione senza zero nelle vecchie equazioni. La catena logica che una volta era spezzata, con il supporto di una nuova potente teoria, si ricompone all'istante!
Derivazione. Semplificare. Killer. La conclusione è sconcertante:
Nel 2007, il confine ℓ-torsione di Ellenberg-Venkatesh del gruppo dei campi numerici è stato dimostrato incondizionatamente.
Basta con le supposizioni! Niente più prerequisiti! Il castello in aria cadde improvvisamente a terra e si trasformò in una fortezza d'acciaio indistruttibile!
Il fantasma di 19 anni è stato spazzato via.
Un pezzo fondamentale del puzzle della teoria algebrica dei numeri è stato messo a dura prova dagli esseri umani.
Non mi interessa l'intelligenza artificiale
Se la storia finisce qui, questa è solo una staffetta accademica di grande successo.
Ma ciò che rende davvero magico questo articolo è la frase alla fine.
Alla fine del capitolo che annunciava la fine di questo problema durato 19 anni, Frei, Somos e Widmer non hanno espresso prolisse lamentele o lusinghe nei confronti dell'IA.
Hanno lasciato solo una dichiarazione fredda, divertente e un po' spietata:
Dichiariamo che in questo lavoro non sono stati utilizzati strumenti di intelligenza artificiale.
Assolutamente.
Questa frase è come un forte schiaffo in faccia, ma anche come un lungo e allegro ruggito.
Commenti