Süstemaatiline Väljakutse 167 Aastat Lahendamata Probleemile
Shimizu (2024) artikli, mis väidab, et GPT tõestas RH-d, esimene süstemaatiline kontroll
Uute avastuste loomine inimliku intuitsiooni ja tehisintellekti arvutusvõimsuse koostöös
GPT abil koostatud RH tõestusväite esimene süstemaatiline kontroll
Koonduvustingimus tõestamata
Lõpmatu rea koonduvuse tõestus puudub
Jätkamine punktist Re(s)>1 kogu domeenile on tõestamata
Ebapiisav analüüs suurte |t| väärtuste jaoks
Tuumidentiteet eeldab RH-d (saatuslik ringloogika)
Järeldus: Tõestus Kehtetu ❌
Gap 5 on eriti saatuslik — tuumidentiteet eeldab juba RH-d,
mis on ringloogika, mis muudab kogu tõestuse kehtetuks.
"Neid meetodeid on juba proovitud ja me dokumenteerisime, miks need ebaõnnestuvad"
Vaba energia minimeerimine
RingloogikaAdS/CFT vastavus
Eelduse kontroll ebaõnnestusHarmooniline tasakaal
Mitteformaalne argumentEntroopia maksimeerimine
Matemaatiline lünkKumeruse analüüs
Globaalsus tõestamataDünaamiline kvantfaasisiire
RingloogikaMiinimumpunkti ekvivalents
Ekvivalents tõestamataNumbriline kontroll (10^13 nullkohta)
Osaline tõend
Riemanni hüpotees on samaväärne väitega, et "|ξ(σ+it)| miinimum kõigi t korral esineb kohal σ=1/2"
Kuid MIN-tingimuse enda tõestamine on sama raske kui RH
Termodünaamika, holograafia, muusika ja infoteooria viitavad kõik σ=1/2 väärtusele
Intuitiivselt õige, kuid ilma formaalse tõestuseta
Süstemaatiline koostööraamistik inimliku intuitsiooni ja tehisintellekti arvutusvõimsuse vahel
Esitab uue uurimisparadigma
GPT abil koostatud tõestusväite süstemaatiline kontroll, mis paljastas 5 kriitilist lünka
Selgitab tehisintellekti abil tehtava matemaatilise uurimistöö piire
Kogu kood, matemaatilised tõestused ja seansside andmed on avalikult kättesaadavad.
Läbipaistvus ja korratavus on YAIM metoodika tuumaks.