Համակարգված Մարտահրավեր 167-ամյա Չլուծված Խնդրին
Shimizu (2024) հոդվածի առաջին համակարգված ստուգումը, որը պնդում է, թե GPT-ն ապացուցել է RH-ն
Նոր բացահայտումների ստեղծում մարդկային ինտուիցիայի և AI հաշվողական հզորության համագործակցությամբ
GPT-ի օգնությամբ RH-ի ապացույցի պնդման առաջին համակարգված ստուգումը
Զուգամիտության պայմանն անապացուցելի է
Անվերջ շարքի զուգամիտության ապացույցը բացակայում է
Re(s)>1-ից ամբողջ տիրույթ շարունակությունն անապացուցելի է
Անբավարար վերլուծություն մեծ |t|-ի համար
Հիմնական ինքնությունը ենթադրում է RH (ճակատագրական շրջանաձև տրամաբանություն)
Եզրակացություն. Ապացույցն անվավեր է ❌
Հատկապես Gap 5-ը ճակատագրական է — հիմնական ինքնությունն արդեն ենթադրում է RH,
շրջանաձև տրամաբանություն, որն անվավեր է դարձնում ամբողջ ապացույցը:
"Այս մեթոդներն արդեն փորձարկվել են, և մենք փաստագրել ենք, թե ինչու են ձախողվում"
Ազատ էներգիայի նվազագույնացում
Շրջանաձև տրամաբանությունAdS/CFT համապատասխանություն
Նախադրյալի ստուգումը ձախողվեցՆերդաշնակ հավասարակշռություն
Ոչ ֆորմալ փաստարկԷնտրոպիայի առավելագույնացում
Մաթեմատիկական բացըՈւռուցիկության վերլուծություն
Գլոբալությունն անապացուցելի էԴինամիկ քվանտային փուլային անցում
Շրջանաձև տրամաբանությունՆվազագույն կետի համարժեքություն
Համարժեքությունն անապացուցելի էԹվային ստուգում (10^13 զրո)
Մասնակի ապացույց
Ռիմանի հիպոթեզը համարժեք է նրան, որ "|ξ(σ+it)|-ի նվազագույնը բոլոր t-երի համար լինում է σ=1/2-ում"
Բայց MIN պայմանի ապացույցն ինքնին նույնքան դժվար է, որքան RH-ը
Ջերմադինամիկան, հոլոգրաֆիան, երաժշտությունը և տեղեկատվության տեսությունը բոլորն էլ ցույց են տալիս σ=1/2
Ինտուիտիվորեն ճիշտ է, բայց բացակայում է ֆորմալ ապացույցը
Համակարգված համագործակցության շրջանակ մարդկային ինտուիցիայի և AI հաշվողական հզորության միջև
Նոր հետազոտական պարադիգմայի ներկայացում
GPT-ի օգնությամբ ապացույցի պնդման համակարգված ստուգում, որը բացահայտեց 5 կրիտիկական բաց
AI-ի օգնությամբ մաթեմատիկական հետազոտության սահմանափակումների հստակեցում
Ամբողջ կոդը, մաթեմատիկական ապացույցները և նստաշրջանների գրառումները հրապարակայնորեն հասանելի են:
Թափանցիկությունն ու վերարտադրելիությունը YAIM մեթոդաբանության հիմքն են: