26/05/16 10:22:37.39 LZfEoauG.net
くそスレを立てるのは自殺行為
6:１３２人目の素数さん
26/05/16 14:03:05.13 9+UgVi/C.net
これが専門家の正直な感覚だよな
7:１３２人目の素数さん
26/05/16 15:17:39.69 hKfyi8kd.net
また望月が長文恫喝メール送り付けそうw
8:１３２人目の素数さん
26/05/16 15:28:27.64 LZfEoauG.net
と論文を読んだことない奴が語る
9:１３２人目の素数さん
26/05/16 15:33:43.27 b6LuguVW.net
そうそう
10:１３２人目の素数さん
26/05/20 06:07:15.73 /i3T9dOd.net
なぜ自分の研究と関係のない論文を読まなきゃならんのか
11:１３２人目の素数さん
26/05/20 06:33:39.18 W2gWhsta.net
This year several students have asked to formalize Mochizuki’s IUT
and abc proof in Lean for their PhDs. I warned them it’s academic career suicide
and urged them
to work on almost anything else. But some are carrying on anyway. What to do?
12:１３２人目の素数さん
26/05/20 08:55:20.77 W2gWhsta.net
若い人たちは大いに興味を持っているみたいだ
13:１３２人目の素数さん
26/05/20 14:59:37.86 9sCCqveo.net
>>11
トンデモだからね
いつぞやの空中浮遊と同じなんだろう
14:１３２人目の素数さん
26/05/20 19:20:35.12 jWpgQv97.net
だってIUTは合ってるからな
俺もそう思う
そらそういう直感を持つ学生はLEANで検証したがるよね
15:１３２人目の素数さん
26/05/20 19:23:48.04 1tKQIkjE.net
サイババ
16:１３２人目の素数さん
26/05/20 22:10:59.40 W2gWhsta.net
ああいえば
17:１３２人目の素数さん
26/05/20 22:18:18.31 1tKQIkjE.net
アリババ
18:１３２人目の素数さん
26/05/21 08:28:39.73 Kf34YR/k.net
じょうゆう
19:１３２人目の素数さん
26/05/21 10:36:19.68 1xuMjHNC.net
こういえばargue
20:１３２人目の素数さん
26/05/22 16:02:33.12 l5sfeypp.net
>>14
根拠なし
21:１３２人目の素数さん
26/05/27 17:43:56.24 ohZrsTmm.net
デュピー 博士「望月の件に巻き込まれるなと警告してくる数学者もいます。
『お前のキャリアがむちゃくちゃになるぞ。やめておけ』と。
でも私は思うんです。これは微分積分の発明や重力の発見にも匹敵する革命で、私は今それに立ち会っているのだと。100年後、いや200年後も、
望月理論は数学の世界で生き続けていると思うのです」
突然重力の発見が出てくる、
例の空中浮遊でも重力を操っていた
ように見える？
22:１３２人目の素数さん
26/05/28 08:30:39.44 bJedUecj.net
上空移行と
昇天祭においては
重力を操る必要はない
23:１３２人目の素数さん
26/05/29 10:15:11.56 XrPXdaS2.net
>>8
望月新一教授に指導された星は
望月新一認定の「理解者」だ。
星はIUT入門サーベイで詳しくは
IUT論文を読めと丸投げした。
24:１３２人目の素数さん
26/05/30 05:08:41.57 IboVS48d.net
LANAプロジェクトが7月にGitHubで公開されれば、仮に半端だったとしても
自分でcodexやClaude codeにプロジェクト読み込ませて続きする奴おるやろ
まぁGitHubで公開とかしなさそうで中間報告のみだと思うけど、LEANの発展のためには公開してもらった方がいいけどね
25:１３２人目の素数さん
26/05/30 23:55:46.09 P0LAx1vO.net
URLﾘﾝｸ(m.youtube.com)