26/03/23 19:34:51.97 0qNQe2Uy.net
学会の会場の前の席に８０くらいの二人が
挨拶のついでに「よく私とわかりましたね」と
言い合っていた。
959:１３２人目の素数さん
26/03/28 06:59:03.11 usfYrqNM.net
新しい本の表紙でHenselの写真を始めて見た
960:１３２人目の素数さん
26/04/03 21:40:04.92 dhmvRljP.net
５月にAhlforsの伝記の和訳が出る
961:１３２人目の素数さん
26/04/05 11:34:30.35 IDGguf2a.net
数学・ABC予想、証明に暗雲？ 国際チーム検証中、望月氏と議論へ
URLﾘﾝｸ(news.yahoo.co.jp)
数学の超難問「ABC予想」の証明について、ZEN大学などの国際研究チームが31日、「1年半前から証明の検証を進めていた」と発表した。
京都大の望月新一教授（57）の証明には「現時点で解明できていないポイントがある」「ギャップ（論理的な飛躍）の可能性もある」として、望月氏らと議論を続けているという。
962:１３２人目の素数さん
26/04/06 05:20:57.54 FQiXJPbm.net
朝日だけ
963:１３２人目の素数さん
26/04/07 08:12:54.62 ACpvD+ha.net
検証を進めていたということだけで
ビッグニュースにするのか
964:１３２人目の素数さん
26/04/07 11:39:51.98 8BCLC4i6.net
次スレがいるなら、誰か建ててクレレ
965:１３２人目の素数さん
26/04/08 02:17:40.43 1aqTSodD.net
>>961
・Scholze-Stix（2018）は
「この図式を具体的に追うと、pilot objectのconcrete normalizationを入れると矛盾（または平凡化）する」
と具体的な反例・計算の道筋を示した。
・望月側は「それは単純化の誤り」と返すが、その「誤り」を避けた具体的な計算例・修正図式を第三者に見せられていない。
・Taylor Dupuyや一部のセミナー、Kirti Joshiの試みでも、
「ここで定義が曖昧で進められない」「Θ-pilotの扱いが追えない」
で詰まる報告が繰り返されている（2025年以降も進展報告なし）。
・2026年現在も
「具体的な楕円曲線（例：y² = x³ - x + 1 とか）で、Hodge theaterを1つ構築→Θ-link→log-link→不等式の数値評価」
のような最小限のtoy exampleすら公開・検証されたものがない。
966:１３２人目の素数さん
26/04/09 19:27:41.12 NY9qo5dw.net
形勢を損じたか
967:１３２人目の素数さん
26/04/10 11:20:39.74 0UbrSDiM.net
ゲッティンゲンで8月後半にリーマン生誕２００年祭が行われる。
日本から誰か出席するのだろうか。
968:１３２人目の素数さん
26/04/11 04:02:22.08 bLDhtpmm.net
世界はそれどころではなくなっている
969:１３２人目の素数さん
26/04/11 23:01:23.53 bLDhtpmm.net
一応集まるだけは集まった
970:１３２人目の素数さん
26/04/12 22:31:08.95 7zh9GG6h.net
膠着
971:１３２人目の素数さん
26/04/12 23:22:57.75 7zh9GG6h.net
９月１７日だった
目が悪くなったようだ
972:１３２人目の素数さん
26/04/14 08:52:41.78 c+mKtGbe.net
恩師の誕生日もその辺
973:１３２人目の素数さん
26/04/14 19:00:40.77 Vruvz20I.net
２１℃
くもり時々晴れ
974:１３２人目の素数さん
26/04/16 06:36:54.21 a16iKKwJ.net
１６℃
くもり時々晴れ
975:１３２人目の素数さん
26/04/20 19:35:42.50 gze1J5/+.net
「多角的研究」とぶつかる
976:１３２人目の素数さん
26/04/22 06:37:37.33 VNGCLiiH.net
OCAMIとGöttingen
977:１３２人目の素数さん
26/04/24 06:12:46.93 o+xFR8wk.net
京都か奈良でも
978:１３２人目の素数さん
26/04/25 05:51:15.13 Kc/DKmzd.net
奈良になった