Kerfisbundin áskorun við 167 ára óleyst vandamál
Fyrsta kerfisbundna sannprófunin á grein Shimizu (2024) sem heldur því fram að GPT hafi sannað RH
Skapa nýjar uppgötvanir með samvinnu mannlegrar innsæis og AI-reiknigetu
Fyrsta kerfisbundna sannprófunin á fullyrðingu um GPT-studda RH-sönnun
Samleitniskilyrði ósannað
Sönnun á samleitni óendanlegrar raðar vantar
Framlenging frá Re(s)>1 yfir allt sviðið ósönnuð
Ófullnægjandi greining fyrir stórt |t|
Kjarnasamsemdin gengur út frá RH (banvæn hringrökfræði)
Niðurstaða: Sönnun ógild ❌
Gap 5 er sérstaklega banvænt — kjarnasamsemdin gengur nú þegar út frá RH,
hringrökfræði sem gerir alla sönnunina ógilda.
"Þessar aðferðir hafa þegar verið reyndar, og við skráðum hvers vegna þær mistakast"
Lágmörkun frjálsrar orku
HringrökfræðiAdS/CFT samsvörun
Forsendusannprófun mistókstSamhljóma jafnvægi
Óformleg röksemdHámörkun óreiðu
Stærðfræðileg eyðaKúptnisgreining
Alheimseðli ósannaðKvikur skammtafasaskiptir
HringrökfræðiJafngildi lágmarkspunkts
Jafngildi ósannaðTalnaleg sannprófun (10^13 núllstöðvar)
Að hluta til sönnun
Riemann-tilgátan er jafngild því að "lágmark |ξ(σ+it)| yfir öll t sé við σ=1/2"
En að sanna MIN-skilyrðið sjálft er jafn erfitt og RH
Varmafræði, heilmyndarlögmál, tónlist og upplýsingafræði benda öll á σ=1/2
Innsæilega rétt, en skortir formlega sönnun
Kerfisbundinn samstarfsrammi mannlegrar innsæis og AI-reiknigetu
Kynnir nýtt rannsóknarviðmið
Kerfisbundin sannprófun á GPT-studdri sönnunarfullyrðingu, sem leiddi í ljós 5 alvarlegar eyður
Skýrir takmarkanir AI-studdra stærðfræðirannsókna
Allur kóði, stærðfræðilegar sannanir og fundargögn eru aðgengileg opinberlega.
Gagnsæi og endurtakanleiki eru kjarni YAIM aðferðafræðinnar.