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 әдіснамасының өзегі.