Сістэмны выклік нявырашанай 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.