Systemaattinen haaste 167 vuotta ratkaisemattomalle ongelmalle
EnsimmÀinen systemaattinen todentaminen Shimizun (2024) artikkelista, joka vÀitti GPT:n todistaneen RH:n
Uusia löytöjÀ ihmisen intuition ja tekoÀlyn laskentatehon yhteistyöllÀ
EnsimmÀinen systemaattinen todentaminen GPT-avusteisesta RH-todistusvÀitteestÀ
Suppenemisehtoa ei ole todistettu
ĂĂ€rettömĂ€n sarjan suppenemistodistus puuttuu
Jatke alueesta Re(s)>1 koko mÀÀrittelyjoukkoon on todistamatta
RiittÀmÀtön analyysi suurille |t|-arvoille
Ydinidentiteetti olettaa RH:n (kohtalokas kehÀpÀÀttely)
JohtopÀÀtös: Todistus pĂ€temĂ€tön â
Erityisesti Gap 5 on kohtalokas â ydinidentiteetti olettaa jo RH:n,
kehÀpÀÀttely, joka mitÀtöi koko todistuksen.
"NÀitÀ menetelmiÀ on jo kokeiltu, ja olemme dokumentoineet, miksi ne epÀonnistuvat"
Vapaan energian minimointi
KehÀpÀÀttelyAdS/CFT-vastaavuus
LÀhtöoletuksen todennus epÀonnistuiHarmoninen tasapaino
EpÀmuodollinen argumenttiEntropian maksimointi
Matemaattinen aukkoKonveksisuusanalyysi
Globaalisuutta ei todistettuDynaaminen kvanttifaasisiirtymÀ
KehÀpÀÀttelyMinimipisteen ekvivalenssi
Ekvivalenssia ei todistettuNumeerinen todennus (10^13 nollakohtaa)
Osittaista nÀyttöÀ
Riemannin hypoteesi vastaa vĂ€itettĂ€ "|Ο(Ï+it)|:n minimi kaikilla t:n arvoilla saavutetaan kohdassa Ï=1/2"
Mutta itse MIN-ehdon todistaminen on yhtÀ vaikeaa kuin RH
Termodynamiikka, holografia, musiikki ja informaatioteoria osoittavat kaikki kohtaan Ï=1/2
Intuitiivisesti oikein, mutta ilman muodollista todistusta
Systemaattinen yhteistyökehys ihmisen intuition ja tekoÀlyn laskentatehon vÀlillÀ
Uusi tutkimusparadigma
GPT-avusteisen todistusvÀitteen systemaattinen todentaminen, joka paljasti 5 kriittistÀ aukkoa
TekoÀlyavusteisen matematiikkatutkimuksen rajojen selventÀminen
Kaikki koodi, matemaattiset todistukset ja istuntotiedot ovat julkisesti saatavilla.
LÀpinÀkyvyys ja toistettavuus ovat YAIM-metodologian ydin.