تحدٍّ منهجي لمسألة لم تُحل منذ 167 عامًا
أول تحقق منهجي من ورقة Shimizu (2024) التي تدّعي أن GPT أثبت RH
ابتكار اكتشافات جديدة من خلال تعاون الحدس البشري وقدرة الذكاء الاصطناعي الحسابية
أول تحقق منهجي من ادّعاء إثبات RH بمساعدة GPT
شرط التقارب غير مثبت
إثبات تقارب المتسلسلة اللانهائية مفقود
الامتداد من Re(s)>1 إلى النطاق الكامل غير مثبت
تحليل غير كافٍ للقيم الكبيرة من |t|
المتطابقة الأساسية تفترض RH (منطق دائري قاتل)
الخلاصة: الإثبات غير صالح ❌
الثغرة 5 قاتلة بشكل خاص — المتطابقة الأساسية تفترض RH مسبقًا،
وهو منطق دائري يُبطل الإثبات بأكمله.
"جُرِّبت هذه الأساليب بالفعل، ووثّقنا سبب فشلها"
تصغير الطاقة الحرة
منطق دائريتناظر AdS/CFT
فشل التحقق من الفرضيةالتوازن التوافقي
حجة غير رسميةتعظيم الإنتروبيا
فجوة رياضيةتحليل التحدب
الشمولية غير مثبتةالانتقال الطوري الكمي الديناميكي
منطق دائريتكافؤ نقطة الحد الأدنى
التكافؤ غير مثبتالتحقق العددي (10^13 صفر)
دليل جزئي
فرضية ريمان تكافئ "أن الحد الأدنى لـ |ξ(σ+it)| عند جميع قيم t يقع عند σ=1/2"
لكن إثبات شرط MIN نفسه صعب بقدر صعوبة RH
الديناميكا الحرارية والهولوغرافيا والموسيقى ونظرية المعلومات كلها تشير إلى σ=1/2
صحيح حدسيًا لكنه يفتقر إلى إثبات رسمي
إطار تعاون منهجي بين الحدس البشري وقدرة الذكاء الاصطناعي الحسابية
يقدّم نموذجًا بحثيًا جديدًا
تحقق منهجي من ادّعاء إثبات بمساعدة GPT، كشف عن 5 ثغرات حرجة
توضيح حدود البحث الرياضي المدعوم بالذكاء الاصطناعي
جميع الأكواد والإثباتات الرياضية وسجلات الجلسات متاحة للعامة.
الشفافية وقابلية إعادة الإنتاج هما جوهر منهجية YAIM.