Her Systematig i'r Broblem Heb ei Datrys ers 167 Mlynedd
Y gwiriad systematig cyntaf o bapur Shimizu (2024) sy'n honni bod GPT wedi profi'r RH
Creu darganfyddiadau newydd trwy gydweithio greddf ddynol a gallu cyfrifiadurol AI
Y gwiriad systematig cyntaf o'r honiad o brawf RH gyda chymorth GPT
Amod cydgyfeirio heb ei brofi
Prawf cydgyfeirio cyfres anfeidraidd ar goll
Parhad o Re(s)>1 i'r maes cyfan heb ei brofi
Dadansoddiad annigonol ar gyfer |t| mawr
Mae'r hunaniaeth graidd yn tybio'r RH (rhesymeg gylchol angheuol)
Casgliad: Prawf yn Annilys โ
Mae Gap 5 yn arbennig o angheuol โ mae'r hunaniaeth graidd eisoes yn tybio'r RH,
rhesymeg gylchol sy'n annilysu'r prawf cyfan.
"Mae'r dulliau hyn eisoes wedi cael eu profi, ac rydym wedi dogfennu pam maent yn methu"
Lleihau ynni rhydd
Rhesymeg gylcholCyfatebiaeth AdS/CFT
Methodd gwiriad y rhagosodiadCydbwysedd harmonig
Dadl anffurfiolMacsimeiddio entropi
Bwlch mathemategolDadansoddiad amgrymedd
Byd-eangrwydd heb ei brofiTrawsnewidiad cyflwr cwantwm dynamig
Rhesymeg gylcholCyfatebiaeth pwynt lleiaf
Cyfatebiaeth heb ei phrofiGwiriad rhifiadol (10^13 sero)
Tystiolaeth rannol
Mae Damcaniaeth Riemann yn gyfystyr รข "lleiafswm |ฮพ(ฯ+it)| ar gyfer pob t yn digwydd yn ฯ=1/2"
Ond mae profi'r amod MIN ei hun yr un mor anodd รข'r RH
Mae thermodynameg, holograffeg, cerddoriaeth a theori gwybodaeth i gyd yn pwyntio at ฯ=1/2
Yn gywir yn reddfol, ond heb brawf ffurfiol
Fframwaith cydweithio systematig rhwng greddf ddynol a gallu cyfrifiadurol AI
Yn cyflwyno paradeim ymchwil newydd
Gwiriad systematig o honiad prawf gyda chymorth GPT, gan ddatgelu 5 bwlch critigol
Yn egluro cyfyngiadau ymchwil mathemategol gyda chymorth AI
Mae'r holl god, profion mathemategol, a chofnodion sesiwn ar gael yn gyhoeddus.
Mae tryloywder ac ailadroddadwyedd yn greiddiol i fethodoleg YAIM.