[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
943: 03/19(木)00:06 ID:ytCmTTSu(1) AAS
厚顔無恥
944: 03/19(木)07:13 ID:0PZUMKFM(1/2) AAS
この先、雨の日が…
１０℃
945: 03/19(木)08:49 ID:0PZUMKFM(2/2) AAS
１１℃
くもりのち晴れ
946: 03/22(日)08:35 ID:C36WvYcH(1) AAS
Lille大の人に総合講演を頼んではどうか
947: 03/22(日)10:46 ID:oCihqqQz(1) AAS
数論幾何なら2026年アーベル賞受賞でモーデルファルティングス定理よりフィールズ賞受賞のゲルト.ファルティングス氏だ。
また、
望月新一の指導教授でもあるファルティング氏は望月新一著IUT論文について
「論文は理解できなかった。
自分の研究に時間を割くことに した」と2021年7月27日 朝日新聞の取材に答えた。
948: 03/22(日)10:52 ID:XDrC9v0Y(1) AAS
ファルティングスは
誰が呼んだら来てくれるだろうか
949(2): 03/26(木)11:04 ID:7Xs1GlSc(1/2) AAS
動画ﾘﾝｸ[YouTube]
＞ZEN大学「ZMC」は2026年3月31日（火）、
＞IUT理論の計算機検証に関する新プロジェクト「LANA」の発表を行います。
外部ﾘﾝｸ:x.com
＞Fumiharu Kato 加藤文元（Bungen）
＞@FumiharuKato
＞2年半前から活動しているプロジェクトをついに公開します。
＞Liquid Tensor Experiment の主導者たちも参加しています。
＞世界一のスタッフを集めました。
＞今回の記者会見は複数計画している中の1回目です。
省7
950(1): 03/26(木)11:08 ID:g77Jzd+G(1/3) AAS
>>949
>・望月氏は参加せず、遠アーベル幾何の無難なところだけ形式化
こっちかなぁ
でもそこは既に人が検証可能な部分なのかも？
951: 03/26(木)11:09 ID:g77Jzd+G(2/3) AAS
>>949
>＞今回の記者会見は複数計画している中の1回目です。
まだまだ先があるようですね
加藤文元さん
さすがにしっかり計画しているようです
でも
こうする他無いってことは
彼もIUTの正しさは理解できていないってことですかね
952(1): 03/26(木)11:10 ID:7Xs1GlSc(2/2) AAS
>>950
去年のnew scientistの記事からは前者だと推測される
だけど開始後短期間のうちに頓挫するかもな
953: 03/26(木)11:57 ID:g77Jzd+G(3/3) AAS
>>952
ならばプログラマが
細かなところを確認しつつ
leanに乗る形にするわけですかね
結果が出るのが楽しみです
954(1): 03/26(木)20:24 ID:fiPPDDI6(1/2) AAS
どうせやるんなら
とりあえず定理3.11のステートメントを形式化して
そこから系3.12が出ることを検証してほしいけど
Multiradial Algorithmの形式化からして無理ぽの予感
955: 03/26(木)21:59 ID:XTPL032M(1/2) AAS
次スレ 60
2chｽﾚ:math
956: 03/26(木)22:04 ID:XTPL032M(2/2) AAS
このスレ59を使い終わりましたら
次スレ60へ移行願います
957: 03/26(木)23:17 ID:fiPPDDI6(2/2) AAS
ところで「LANA」って何の略？
958(1): 03/27(金)20:57 ID:AWHZAmr5(1/2) AAS
＞今回の記者会見は複数計画している中の1回目です。
出し惜しみする理由が分からん
観測気球を上げて様子見ってことかいな
それとも望月参加なしだけど次回に乞うご期待って話？
959: 03/27(金)21:33 ID:PT/HqQDa(1) AAS
>>958
ん？都度進捗を発表するんじゃ無いの？
まだ確定してないところも結構あるんでしょ
960: 03/27(金)21:45 ID:AWHZAmr5(2/2) AAS
進捗があったら発表するのは当たり前だから
「複数計画している中の1回目」なんて勿体つけんだろ
そんな例はあまり聞いたことねえしな
961: 03/28(土)07:11 ID:usfYrqNM(1/2) AAS
気温が下がる見込み
次の火曜日
962(2): 03/28(土)12:34 ID:GVxxtOuz(1) AAS
そもそも加藤は自分はIUTは理解してないってはっきり言っとる。
それであそこまでプレゼンできるのはまあある意味すごいけどさ
上下前次1-新書関写板覧索設栞歴
あと 40 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.023s