167 жыл бою чечилбеген маселеге системалуу чакырык
GPT RH тыкты далилдеди деп ырастаган Shimizu (2024) макаласынын биринчи системалуу текшерүүсү
Адамдын интуициясы менен AI эсептөө күчүнүн кызматташтыгы аркылуу жаңы ачылыштарды жаратуу
GPT жардамы менен RH далилдөө талабынын биринчи системалуу текшерүүсү
Жыйналуу шарты далилденген эмес
Чексиз катардын жыйналуу далили жетишпейт
Re(s)>1ден бүткүл чөйрөгө улануу далилденген эмес
Чоң |t| үчүн анализ жетишсиз
Негизги окшоштук RH ты болжолдойт (өлүмгө алып келүүчү тегерек логика)
Жыйынтык: далил жараксыз ❌
Өзгөчө Gap 5 өлүмгө алып келет — негизги окшоштук RH ты мурдатан эле болжолдойт,
бул бүткүл далилди жараксыз кылган тегерек логика.
"Бул ыкмалар мурда эле сыналган, биз алардын эмнеге ишке ашпай тургандыгын документтедик"
Эркин энергияны минималдаштыруу
Тегерек логикаAdS/CFT дал келүүсү
Алдын ала шарт текшерүү ишке ашкан жокГармониялык тең салмактуулук
Формалдуу эмес далилЭнтропияны максималдаштыруу
Математикалык боштукДөңсөлүк анализи
Глобалдуулук далилденген эмесДинамикалык кванттык фазалык өтүү
Тегерек логикаМинимум чекитинин эквиваленттүүлүгү
Эквиваленттүүлүк далилденген эмесСандык текшерүү (10^13 нөл)
Жарым-жартылай далил
Риман гипотезасы "бардык t үчүн |ξ(σ+it)| дин минимуму σ=1/2де жайгашкан" дегенге эквивалент
Бирок MIN шартын өзүн далилдөө да RH дай эле кыйын
Термодинамика, голография, музыка жана маалымат теориясы бардыгы σ=1/2ге көрсөтөт
Интуитивдүү жактан туура, бирок формалдуу далил жок
Адамдын интуициясы менен AI эсептөө күчүнүн системалуу кызматташтык фреймворгу
Жаңы изилдөө парадигмасын сунуштайт
GPT жардамы менен далилдөө талабын системалуу текшерүү, 5 олуттуу боштукту аныктады
AI жардамы менен математикалык изилдөөнүн чектерин тактоо
Бардык код, математикалык далилдер жана сессия жазуулары коомго ачык.
Ачыктык жана кайра өндүрүлүүчүлүк YAIM методологиясынын өзөгү болуп саналат.