[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 76 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
853(1): 10/29(水)13:38 ID:eh0t+AkS(1/2) AAS
なんかあっちのスレでicmをleanに打ち込んで検証してるという人出てるから、応援する気なら正しいと信じてる人みんなで手分けして Lean に打ち込んでみればいいんじゃないか？
ちゃんと Lean 通ったらもう誰も何も文句言えなくなると思うよ。
856: 現代数学の系譜 雑談 ◆yH25M02vWFhP 10/29(水)13:59 ID:nBZNRF1I(7/10) AAS
>>853-854
>なんかあっちのスレでicmをleanに打ち込んで検証してるという人出てるから、応援する気なら正しいと信じてる人みんなで手分けして Lean に打ち込んでみればいいんじゃないか？
おお、ありがとう！
そういえば 下記 Conference Name: ZMC Conference 2025
Dates: July 1 - July 4, 2025
どうなったんだ、加藤？
”We will also work in small groups to actually work on the formalization of mathematics related to anabelian geometry by Lean4. ”
とか
アウトプット出せ！ 加藤！！
そうしないと、信用されなくなるよ・・・
省17
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s