[過去ログ] Inter-universal geometry とABC 予想57 
 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
270
(2): 2024/12/01(日)08:52 ID:b6Qct+RV(1) AAS
『宇宙際幾何学センター』から『ZEN数学センター』への改称で
宇宙際幾何学の記述がなくなっちゃったわけだけど、
説明を素直に読むとiutの形式化による決着を目指してるっぽい(?)
かわんごの判断なら評価できる
今は形式化の人材が見当たらないけど、
何人か雇って理解者に協力してもらえば、
きっと10年くらいで出来るよね
省11
283: 2024/12/08(日)18:36 ID:ZKbYJ9p6(1) AAS
>>270
待遇によっては考えるけど、他人の理論を検証するだけの仕事に10年使いたくねえ
293: 2024/12/13(金)13:09 ID:Ff6IZJFN(1/3) AAS
>>270

IUTの空気感はchatGPTの寄せ集めに似ていますね。

・Chat GPTに共通テスト数学を解かせた
結果

外部リンク:note.com
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.029s