სისტემატური გამოწვევა 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 მეთოდოლოგიის ბირთვია.