𝗣𝗿𝗶𝗺𝗶 𝗱𝗶 𝗦𝗼𝗽𝗵𝗶𝗲 𝗚𝗲𝗿𝗺𝗮𝗶𝗻: 𝗢𝘀𝘀𝗲𝗿𝘃𝗮𝘇𝗶𝗼𝗻𝗶 𝘀𝘂𝗹 𝗹𝗮𝘁𝗼 𝗱𝗲𝗹𝗹𝗲 𝗯𝗮𝗿𝗿𝗶𝗲𝗿𝗲
Sto pubblicando un nuovo rapporto sui primi di Sophie Germain. Questo lavoro utilizza il toolkit Rei-AIOS per osservare le barriere matematiche.
Non pretendo di risolvere la congettura sui primi di Sophie Germain. Non pretendo di avanzare verso una dimostrazione dell'infinità. Questo documento si concentra su osservazioni e testimoni formali delle barriere esistenti.
Ecco le quattro scoperte principali:
Convergenza numerica: Il rapporto tra i conteggi empirici e le previsioni di Hardy-Littlewood diminuisce costantemente da N = 10³ a 10⁸. Ciò corrisponde ai pattern asintotici attesi, ma non costituisce una dimostrazione.
Statistiche spettrali: Gli scarti tra i primi di Sophie Germain mostrano una distribuzione di tipo Poisson. Questo differisce dagli zeri di Riemann, che seguono statistiche di tipo GUE.
Testimoni formali in Lean 4: Ho creato un insieme di teoremi privi di assiomi in Lean 4. Questi teoremi dimostrano che singole caratteristiche come
is_prime(n)non possono rilevare la primalità di Sophie Germain. È necessaria la congiunzione completa per superare la barriera.Correzione dei record: Un audit online ha corretto un errore interno. Selberg identificò il problema della parità nel 1949, non negli anni '60.
Questa ricerca segue una disciplina rigorosa. Utilizziamo la codifica di Bellman-Ford per mappare le questioni di fattibilità. Utilizziamo Lean 4 per fornire record verificabili e privi di assiomi di fatti aritmetici finiti.
L'obiettivo è la descrizione dal lato delle barriere. Descriviamo dove si fermano i metodi attuali.
Comunità di apprendimento opzionale: https://t.me/GyaanSetuAi