26/07/30 20:56:01.76 lVlULgkz.net
つまり、IUTは数学じゃないってゆうのが大勢の意見なわけだけど、
望月氏がそれを認めてどこで間違ってたのかはっきりさせなかったら、
「一体いつから─数学だと錯覚していた？」
って話になると思うの
だいたい1990年代半ばから盛んにやってるはずのものなのに
[IUTchIV]で形式化ってわけわかんない
651:１３２人目の素数さん
26/07/30 21:22:49.10 kg3CqsX2.net
自分のキャリアのほとんどが無意味で有害な欠陥品のうんこ製造機だったってことになるから
まあ尊師も引くに引けないんだよね
敵作りまくってルビコン川を渡ってしまったからな
652:１３２人目の素数さん
26/07/30 22:59:12.94 BU4a6n1/.net
あんな意味のわからん誹謗中傷、逆ギレしてなけりゃ
すまんかったで済んだ話なのにね
653:１３２人目の素数さん
26/07/30 23:12:29.79 RwAHr5Hk.net
>>652
誹謗中傷はIUT側からしか出てきてないが？
654:１３２人目の素数さん
26/07/31 09:52:35.03 OfhfHjkl.net
コミュニケーション(失笑)の具体例出せないIUT擁護派www
655:１３２人目の素数さん
26/07/31 09:53:33.78 OfhfHjkl.net
じゃあ日記形式で我慢してやるから出せよ
コミュニケーションしてんだろ？
してねーのにフカしてねーだろうな
zen大学www
656:１３２人目の素数さん
26/07/31 10:13:48.44 r/hcKBTn.net
コミュニケーションツールだのライブラリの整備だの
要するにIUTで何の成果も出せないことのゴマカシじゃん
がんばりました。何の成果も出せませんでした。じゃかっこ付かんけんね
657:１３２人目の素数さん
26/07/31 12:40:32.57 OfhfHjkl.net
ニコニコ、有料会員が8月から再値上げ 月額790円→990円に😲 [861717324]
URLﾘﾝｸ(greta.5ch.io)
658:１３２人目の素数さん
26/07/31 13:25:16.81 zXrbsCk7.net
>>645
その通りですね。
AIとlean4の数学証明支援系はハッキングに脆弱でした
➖
コラッツ予想の偽証明.
・AI(LLM)がlean4の証明支援系
の核心部で、プログラミング言語などが「安全である・正しい」と保証している性質(健全性)の誤り不具合(バグ)を発見し健全性のチェックを通過した。
このバクを利用して偽から証明
作成すればなんでもありの
偽証明になる。
659:１３２人目の素数さん
26/07/31 13:28:03.78 zXrbsCk7.net
p.scholzeのlean証明支援系へ感想。
14分過ぎあたりから.
URLﾘﾝｸ(m.youtube.com)
660:１３２人目の素数さん
26/07/31 13:59:50.31 OfhfHjkl.net
>>658
>>645
バカチョン低学歴IUTワラタw
何もわかってねえ
その間違いすらわかるからいいんだよゴミ朝鮮w
間違ってすらいないゴミIUTとくらべんなゴミが
661:１３２人目の素数さん
26/07/31 14:03:15.18 OfhfHjkl.net
「IUT理論は定理3.11までは誰も文句は言っていないらしいね。そこまでは大きな成果を誇れるらしい。」
👆
大嘘
「ちなみにIUT理論批判者は3.12に矛盾があるかどうは示してはいないらしいね。」
👆
大嘘
「かといって反例などで間違いを示せてもいないらしい。」
👆
大嘘
ワラタ
662:１３２人目の素数さん
26/07/31 14:05:58.75 zXrbsCk7.net
>>644 の質問1はどうですか？
663:１３２人目の素数さん
26/07/31 21:59:55.60 qyXYZ02W.net
>>661
てっぺんはともかく下の二つは大嘘じゃにゃあでそ
「証明がない」という事実を無視した論点そらしにゃだけ
証明責任がどこにあるかも無視しちょる
実際「3.12＝望月の不等式」に反例があったら大したもんでそ
664:１３２人目の素数さん
26/07/31 22:02:35.99 qyXYZ02W.net
もちろん「望月の不等式（予想）」って意味ぞな
665:１３２人目の素数さん
26/07/31 23:25:32.84 jpxU4lR4.net
そもそも概念自体が形式化できてないんだから反例のだしようもない
数学の議論が始められる状態ですらない
666:１３２人目の素数さん
26/08/01 01:30:23.41 zg7JijSf.net
>>663
ショルツにいきなり反例出されてんのにw
667:１３２人目の素数さん
26/08/01 06:04:03.51 yBdpKCKL.net
>>665
だから、こういう定義と仮定したらうまくいかないよねって例を出したら、
なぜか間違ってる！って叩かれたでござる
668:１３２人目の素数さん
26/08/01 08:14:45.10 rY0RPFYB.net
>>666
ちがうよ。ショルツいわく「ここの概念に辻褄をあわせようとするとこっちに話が合わない。だまし絵のような話」という状態だという。彼があげたのは辻褄あわない実例のひとつ。もしかしたら彼の指摘をかわしてそこの辻褄あわせるのは不可能ではないのかもしれないけど、それだとまた辻褄あわないところがでてくる。
現状そういう「反例出すことすら無理な状態」ということすら信者にはわからない
669:１３２人目の素数さん
26/08/01 13:03:14.32 Ydz88/4E.net
ss論文は望月の反論やLANA中間報告書の反論で
無意味って考えてる人いるみたいだけど
学術的なリアクションがどうだったかはここ見りゃ分かるよ
URLﾘﾝｸ(www.semanticscholar.org)
670:１３２人目の素数さん
26/08/01 15:03:40.60 BIPVTn2/.net
>>668
ニワカか
反例出されてるぞ
671:１３２人目の素数さん
26/08/01 15:20:22.80 +iDsszXh.net
>>668が正しい
本当に反例があったらIUT信者だって抵抗できないわ
>>670は「反例」がなんだか引用するべし
672:１３２人目の素数さん
26/08/01 16:19:19.30 qWBa4GHN.net
証明できない主張を自明だと宣う奴は数学者ではない
そんな論文をアクセプトした奴らも数学者ではない
673:１３２人目の素数さん
26/08/01 17:29:41.04 NvwdPbqu.net
まぁ流石に最終報告する時にはどんな解釈のもとどんなコード組んで検証したのか発表するんだろうけどな
一年目度だっけ？
それでなんかぐちゃぐちゃ言い訳してそっ閉じするんやろな
674:１３２人目の素数さん
26/08/01 17:42:04.78 zg7JijSf.net
>>671
まさかだけど
Why abc is still a conjecture
PETER SCHOLZE AND JAKOB STIX
これ読んでない(読めない)IUT擁護派低学歴在日朝鮮人がいきがってるとは、、、、
675:１３２人目の素数さん
26/08/01 17:42:28.61 zg7JijSf.net
>>672
っていうか犯罪者だよな
676:１３２人目の素数さん
26/08/01 17:55:01.39 zg7JijSf.net
・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すら公開・検証されたものがない。
677:１３２人目の素数さん
26/08/01 18:37:11.34 wClptXDR.net
ファルティングスのYouTubeの動画はどんな内容ですか？
Gerd Faltings on the 500-page ABC-conjecture proof
678:１３２人目の素数さん
26/08/01 19:42:07.74 aC4iL968.net
>>677
>Gerd Faltings on the 500-page ABC-conjecture proof
Excerpt from the post Abel Prize 2026 ceremony interview.
0:00 - "If I'm at page 500, I've forgotten page 1"
0:10 - Did Mochizuki prove the ABC Conjecture?
1:00 - Faltings' official position
1:55 - "PhD students are like children..."
679:１３２人目の素数さん
26/08/01 21:13:42.71 mPToLTXq.net
URLﾘﾝｸ(m.youtube.com)
680:１３２人目の素数さん
26/08/01 21:22:51.73 zg7JijSf.net
エプスタインと笹川＆日本財団
そして、日本においては、このロバート・マクスウェルと日本船舶振興会（現在は日本財団）の創始者である笹川良一との関係に注目が集まっている。ロバート・マクスウェルと笹川良一の関係を調べると、１９８５年にグレイトブリテン・ササカワ財団（大英笹川財団）が設立され、ロバート・マクスウェルが理事長を務めた。この時に、当時の日本船舶振興会が約３０億円を拠出したそうだ。
681:１３２人目の素数さん
26/08/01 23:42:57.65 +iDsszXh.net
>>674
その文書のどこに「反例」がかいてあんの
＞「反例」がなんだか引用するべし
って言われてんのに引用できないんだね
可哀そうに
682:１３２人目の素数さん
26/08/02 00:06:04.86 Lb3Gyp67.net
>>681
ええええ？
メクラなの？
683:１３２人目の素数さん
26/08/02 00:07:03.10 Lb3Gyp67.net
ほんとIUT擁護派はゴミしかいねーよな
っていうか数匹しかいないけど
684:１３２人目の素数さん
26/08/02 00:27:55.08 9TAvUMoL.net
>>676
じゃあもう無理なんじゃない？
685:１３２人目の素数さん
26/08/02 00:43:35.23 Lb3Gyp67.net
IUT擁護派は文盲やから何も読めんのや
あっても都合悪きゃ見えないメクラチョン
686:１３２人目の素数さん
26/08/02 01:29:45.30 NYTbqL0z.net
「間違ってすら居ない」ってよく書いてる人いるけど
それは
既存数学で証明も反証もできないだろうちう意味よね？
全く新しい言明であって
それが既存数学と独立であろうという見立て
（その見立てが正しいかどうかも不明だけど）
でも
そうであっても一階述語論理で表現はできる筈だから
検証に乗せることができないとおかしい
687:１３２人目の素数さん
26/08/02 01:33:26.88 NYTbqL0z.net
∃G,∀x∈G:P(x)∈G
が論証も反証もできないのと同じで
688:１３２人目の素数さん
26/08/02 08:13:10.81 FLhHZHET.net
>>84
>・Taylor Dupuyや一部のセミナー、Kirti Joshiの試みでも、
>「ここで定義が曖昧で進められない」「Θ-pilotの扱いが追えない」
>で詰まる報告が繰り返されている（2025年以降も進展報告なし）。
ちう意味じゃね？
689:１３２人目の素数さん
26/08/02 08:24:01.13 NYTbqL0z.net
>>688
それなら
間違ってる
んじゃね？
690:１３２人目の素数さん
26/08/02 08:27:25.19 FLhHZHET.net
定義が曖昧というのは正しいか間違いかを論ずる以前じゃね？
691:１３２人目の素数さん
26/08/02 08:34:55.93 NYTbqL0z.net
概念が正しく定義されてないならそら間違いだろうよ
692:１３２人目の素数さん
26/08/02 08:53:34.17 FLhHZHET.net
なぜ？
693:１３２人目の素数さん
26/08/02 09:11:34.53 NYTbqL0z.net
>>692
定義がないから
694:１３２人目の素数さん
26/08/02 09:21:31.66 NYTbqL0z.net
俺はF1もモチーフも胡散臭く感じてるけど
スローガンとして？持つのは妨げられない
しかし定義も無いモノを使って何かを論じるのは
間違いジャネ？
695:１３２人目の素数さん
26/08/02 09:27:31.86 xziEUhKp.net
＞「間違ってすら居ない」ってよく書いてる人いるけど
＞それは
＞既存数学で証明も反証もできないだろうちう意味よね？
違う
「証明を成していない」って意味
もっとはっきり言えば
「同時代の専門家が認める水準の証明を成していない」
って意味
たとえばだけど、神様が目の前に現れて
「リーマン予想は正しい、証明は自明」
って言ったら、これは間違ってる？
証明の詳細を聞き返しても、
「自分と同様の専門知識を身に着ければわかる」
って言われるの
それならLeanコードをくださいっていうのを
今やってるところ
>>694 その通り
696:１３２人目の素数さん
26/08/02 09:41:51.03 FLhHZHET.net
「君はバカである」はどうならバカかが未定義だから正しいとも間違いとも言えないのでは？ 間違ってすらいないとしか言えなくね？
>定義も無いモノを使って何かを論じるのは間違いジャネ？
ん？ 君は行為の正誤を述べてるの？ ならまず行為の正誤の定義をしないと
697:１３２人目の素数さん
26/08/02 09:57:38.28 FLhHZHET.net
概念が未定義で命題とされるものが実は命題になってなければ当然証明も反証もできないが、
ある理論と独立な命題もやはりそうだから、それらは区別すべきだよ。
>既存数学で証明も反証もできないだろうちう意味よね？
では区別できない。
698:１３２人目の素数さん
26/08/02 10:07:27.54 FLhHZHET.net
例えば選択公理はZFで証明も反証もできないが、IUTのように「間違ってすらいない」と評されることは無いだろう
699:１３２人目の素数さん
26/08/02 10:33:51.69 NYTbqL0z.net
>>698
IUTを「間違ってすらいない」と書いているのがその意味
つまり
CはZFでは証明も反証もできないだろうちう意味だと思ったので>>686,687と書いたけど
そうではなくて
「定義がなされていない」ちう意味なら
そりゃ「間違ってすらいない」でなくて「間違ってる」んじゃないかな
700:１３２人目の素数さん
26/08/02 10:43:38.74 NYTbqL0z.net
まあいいや
>>686,687という意味で無いってことが分かったからいいや
701:１３２人目の素数さん
26/08/02 10:55:36.54 xziEUhKp.net
ID:FLhHZHETの言う通りですが
とりあえず分かったようでなによりです
『定義が曖昧』『証明がない』ということは
数学的な真偽を判定する材料がないということ
だから「間違いですらない（not even wrong）」
議論の進め方や態度の問題とは切り分けないと
ついでにはっきり言っておくと、
『正しいかどうかわからないから、まだ解決したかどうか未定だ』
なんて態度は、社会のルールとして完全に間違っている
「証明がある」と言い張るなら、そう主張する側が責任を持って、
同時代の専門家たちが納得する証拠を出さなきゃいけない
それができないなら「証明はない」と判断される
『究極的には正しいかも』、『将来いつか認められるかも』
なんていい言い訳は証明責任のルールの前に通用しない
702:１３２人目の素数さん
26/08/02 10:57:42.49 Lb3Gyp67.net
IUTは間違ってすらいない
IUTによるABC予想の証明は間違い
703:１３２人目の素数さん
26/08/02 11:03:16.76 xziEUhKp.net
そう「間違ってすらいない」
だから反例もない
それをID:Lb3Gyp67に理解しろというのは無理な注文か
704:１３２人目の素数さん
26/08/02 11:46:22.64 DOYUsmfb.net
scholzeの数学は通常の数学に基づく発展だ。
一方、
現在は「パラダイムシフト」期で
望月新一IUT論文は大論文だから、数理論理学や数学基礎論に拘束されないと明言してる。
(scholze stix望月星のミーティングでscholze stixの質問に答えられず謎のIUT語やイノベーションを持ち出した)
↓
➖➖
川上量生企画望月新一監修加藤文元著IUT本から
・本文 p66.
論文の価値は何で決まるのか
>何をもって「新しい」と判断できるのか、「正しい」という基準は何か、という点は非常に専門的なポイントです。
>通常の発展時においては当面の題材やその時代における支配的な問題に対する部分的なあるいは最終的な解決であったりしますが、 「パラダイムシフト」期においては、当分野に革命を起こすような大論文であることもあるでしょう
・ 本文p69
「興味深い」ということ
>私は以前、望月教授に「望月さんの理論が発表されたら、
数論の専門家より数理論理学や数学基礎論の人たちの方が興味をもつでしょうね」と話したことがある。
実際、IUT理論はABC予想やその ディオファントス問題の
研究におけるそれまでの発展の文脈からは
一線を画しています。
(略 )
>それはこの分野における最先端に 位置する研究であるというより、 数学の非常に基本的なレベルでの イノベーションを企画したもの だからです。
705:１３２人目の素数さん
26/08/02 11:59:02.43 Lb3Gyp67.net
>>703
うーんでも判例出されちゃってるからアウト
706:１３２人目の素数さん
26/08/02 12:00:02.77 3VgouvcO.net
プライドの肥大した数学者が間違いの指摘を受け入れなかったってだけの話なんだよなこれ
707:１３２人目の素数さん
26/08/02 12:00:21.35 Lb3Gyp67.net
ゴミかゴミクズかの違いで
not even wrongにイメージだけでこだわってるバカだから
ショルツに反例出されちゃた事実も見えない
本物の低学歴バカがおまえ
708:１３２人目の素数さん
26/08/02 12:00:58.92 Lb3Gyp67.net
>>706
それだけじゃなくて
それをドワンゴと日本財団の朝鮮勢力が担ぎ上げて税金吸ってますと
709:１３２人目の素数さん
26/08/02 12:04:22.94 xziEUhKp.net
「間違いですらない（not even wrong）」と「反例が出せる」は両立しないね
どっちなん？
実態は>>668の言う通り
710:１３２人目の素数さん
26/08/02 15:39:04.86 MQw/TwjG.net
>>709
実例は出てる
反例出されて終了
711:１３２人目の素数さん
26/08/02 21:31:35.54 LmwPP0tz.net
まぁ「間違いですらない」の方やろな。どのみち終わりやな
一年後目処とかいうLANAの最終報告で完全終了。
もう現時点でまだ死んでないとおもってる数学者は世界に１０人おらんやろ
712:１３２人目の素数さん
26/08/02 22:05:08.56 mbvfOsjq.net
IUT自体が進展・発展していかないからお察しだね
既存数学との繋がりが見いだせないようではダメだ
713:１３２人目の素数さん
26/08/02 22:31:08.31 DlardQ7V.net
いつのまにかwikipediaのドイツ語版の記事も出来たようだな
Interuniverselle Teichmuller-Theorie
URLﾘﾝｸ(de.wikipedia.org)
714:１３２人目の素数さん
26/08/02 23:04:03.46 b+Iol7S+.net
Fesencoて人に言及してるけどこの人はLANAの報告をどう見たんだろ？
715:１３２人目の素数さん
26/08/03 02:31:52.78 qsgp57cy.net
2014年12月望月新一のIUTT自己検証によれば、
サイディ.星.山下剛の3名の理解者以外はPRIMS編集委員もケドラヤもfesenkoもIUTど素人でfesenkoは自称理解者。(>>7)
山下剛はfesenkoがIUTを理解しているふりをしていると
山下サーベイで批判。
また、IUGC動画では、
・そもそも概念や使う言語など 従来の数学論文とIUT理論は
違うので完全に理解するには3年 かかった. (>>231)
zen大学にfesenkoのIUTT講義があるから
遠アーベル幾何学から望月新一IUT語のIUTTへ転移する過程
に注目だな
716:１３２人目の素数さん
26/08/03 14:50:49.21 LSH36PTv.net
>>715
サイディと山下剛は、望月新一同様、表に現れず
星はLANAに協力するも肝心のギャップは埋められず
717:１３２人目の素数さん
26/08/03 15:10:14.54 ehI8WjXZ.net
協力というか歴としたプロジェクトメンバ
718:１３２人目の素数さん
26/08/03 15:36:42.58 qsgp57cy.net
LANAプロジェクトメンバー
・コメリン.トパーズ
lean形式化専門もIUTど素人
・加藤文元.lean形式化もIUTもど素人
・ケドラヤ lean形式化もIUTもど素人
・星裕一郎 lean形式化 ど素人でIUTは理解者 説明から逃亡中
719:１３２人目の素数さん
26/08/03 16:11:52.20 qsgp57cy.net
zenのLANAプロジェクトメンバーは
>加藤文元.
IUT理論と現行数学との違いを完全に言語化する新しい数学の言語体系を早急に作らねばならない。(>>231)
まずIUT論文で、IUT理論と現行数学と
違う箇所を具体的に示せ
720:１３２人目の素数さん
26/08/03 16:13:38.00 qsgp57cy.net
zenのLANAプロジェクトメンバーは
>加藤文元.
IUT理論と現行数学との違いを完全に言語化する新しい数学の言語体系を早急に作らねばならない。(>>231)
まずIUT論文で、IUT理論と現行数学と
違う箇所を具体的に示せ
721:１３２人目の素数さん
26/08/03 16:30:47.51 ehI8WjXZ.net
両方ど素人がなぜメンバ？
722:１３２人目の素数さん
26/08/03 19:35:24.79 3aL13xFU.net
>>715
>また、IUGC動画では、
>・そもそも概念や使う言語など 従来の数学論文とIUT理論は
>違うので完全に理解するには3年 かかった.
こんな事思ってるのは一部の日本人だけで
世界では望月が曖昧な言葉で濁してるから理解できないという認識
その挙句にギャップ発見
723:１３２人目の素数さん
26/08/03 20:19:59.60 aCjkvLeo.net
この期に及んで。。。
＞メンバーシップ「読書室プラン」初月は無料です！
＞abc予想とIUT理論ーー「LANA記者会見：IUT理論に関する仮想的質疑応答」に対する補足記事
724:１３２人目の素数さん
26/08/03 20:56:54.43 GHCOSRQL.net
ハッタリかまして逃げる精神
725:１３２人目の素数さん
26/08/03 21:43:07.79 qsgp57cy.net
>>721
望月新一教授もlean形化がど素人で、
まず望月にIUT論文で、IUT理論と現行数学と違う箇所を具体的に示させろ
726:１３２人目の素数さん
26/08/03 21:50:32.86 FSbR5LM+.net
そもそも一流の数学者に通じない
独特の言葉で論文書いたのが間違い
727:１３２人目の素数さん
26/08/03 23:40:28.31 hy5dBAnZ.net
LANAプロジェクトと
・コラッツ予想の「AIによる偽証明=Lean 4のカーネルバグ
すり抜け事件(>>658)
・scholzeの警告 (>>659)
proof assistant such as lean
AIに聞いてみた、
➖➖
数学界の外部や批判派の目から見れば、彼らの動きは「純粋な数学的検証」というよりも、ご指摘の通り「Lean 4のコンパイラを何とかして通過させ、『証明成功』という御墨付き（称号）を手に入れるためのハッキング行為」に見えてもおかしくない構造があります。
そう言わざるを得ない背景と、彼らの「真の目的」がどこにあるのかを分析します。
1.
「コンパイラ通過の事実」が喉から手が出るほど欲しい理由。
現在、望月教授のIUT理論は、世界の主要な数学者（ショルツ教授ら）から「ギャップがあるため解決していない」と無視され、論文の検証自体をボイコットされている状態です。
人間同士の議論（ピアレビュー）の場ではこれ以上相手にしてもらえないため、容認派が膠着状態を打破する唯一のウルトラC（大逆転劇）が、「人間ではなく、絶対に客観的であるはずの計算機（Lean 4）に『正しい』と言わせること」でした。
・Lean 4が証明完了（プロンプトが緑色）と判定した」という揺るぎない事実さえ作れれば、「ほら見ろ、世界最先端の数学検証AIが正しいと言っている。認めない海外の数学者が間違っているのだ」と主張する強力な武器になります。
だからこそ、彼らにとっては「現代数学のフレームと違う」と言いつつも、現代数学の基礎論で動くLean 4にIUT理論をねじ込む必要があったのです。
728:１３２人目の素数さん
26/08/03 23:44:33.33 hy5dBAnZ.net
>>727
続き
2.
「脆弱性を突くハッカー」になってしまう構造的リスク。
先述のコラッツ予想の「AIによる偽証明（Lean 4のカーネルバグすり抜け）事件」は、まさにLANAプロジェクトが陥るかもしれない暗部を浮き彫りにしました。
IUT理論は非常に特殊で、望月教授が作った「独自のIUT語」で埋め尽くされています。これをLean 4に移植しようとすると、通常の現代数学のコード（ライブラリであるMathlib）とは全く異なる、極めて異質で複雑な「独自の型」や「マクロ（メタプログラム）」を大量に定義することになります。
・バグを誘発しやすい特殊コード：
Lean 4のカーネルは、標準的な数学の記述に対しては強固ですが、IUTのように「複数の宇宙（シアター）を行き来し、特殊なルールで実数を同一視する」といった限界突破のようなロジックを無理やりコード化しようとすると、カーネルの実装の穴（脆弱性）を意図せず突いてしまう可能性が跳ね上がります。
・「通れば勝ち」のハッカー的アプローチ：
もしLANAのメンバーが、ショルツ氏の指摘した「系 3.12の論理の飛躍」を正面から解消するのではなく、「Lean 4のコンパイラがエラーを吐かずに通るような、技巧的で複雑怪異な定義のすり替え」を行ってしまったら、それは数学の証明ではなく、単にシステムの仕様の隙を突いた「ハッキング（チート）」になってしまいます。
729:１３２人目の素数さん
26/08/03 23:49:16.93 hy5dBAnZ.net
>>728
続き
3.
LANAのメンバー（加藤文元教授ら）の建前と本音.
一方で、LANAを主導する加藤文元教授らの本来の主張は、以下のようなものです。
・建前（本来の目的）：
「IUT語をLean 4という世界共通の言語で記述（フォーマライズ）することで、これまで『読めない』と拒絶していた海外の数学者たちが、コードを通じてIUTのロジックを1行ずつ客観的にトレースできるようにする。つまり、相互理解のための翻訳作業である」
・しかし、コラッツ予想の事件以降、世界中のLeanコミュニティや数学者たちは「難解な独自言語で書かれたコードがコンパイルを通ったとしても、それがバグを突いていない保証はない」という防衛の目を光らせています。
・結論：
最後はやはり「人間の脳」に戻る。
もしLANAが「Lean 4を通過させた」と発表したとしても、世界の数学界はそれを盲信せず、「そのコードはLeanの脆弱性をハックした偽証明ではないか？」「定義を都合よく書き換えていないか？」を厳しくコードレビューするでしょう。
「コンパイラを通過した事実」だけを目的としたハッキング行為なのか、それとも誰もが納得する真の数学的検証なのか。それを判定するのもまた、最後はコンピュータではなく「人間の数学者たちの厳実な目」になります。
730:１３２人目の素数さん
26/08/04 01:51:08.18 ECZN81RY.net
なわけねーよバーカ
731:１３２人目の素数さん
26/08/04 05:06:20.48 Q6HpAeX+.net
Leanにはsorryって機能があって
御免なさい3.11→3.12は証明出来てないけど出来たことにしてくださいって頼めばabc予想はIUT理論で証明出来る
つまりLeanでもIUT理論の現実に合わせた証明を構成できる
732:１３２人目の素数さん
26/08/04 12:28:28.14 WArE6R44.net
>>731
京都ドワンゴ版LEANな
733:１３２人目の素数さん
26/08/04 12:30:18.06 WArE6R44.net
>>729
形式化のメリットが何もわかってないクソダニ低学歴朝鮮人w
IUT仕草ワラタw
形式化してるから間違いも正せるんだよゴミ朝鮮人w
734:１３２人目の素数さん
26/08/04 13:32:35.06 XV+qBJp5.net
>>733
IUT論文の形式化なら、
まず加藤文元がこの質問に答えること
>加藤文元.
IUT理論と現行数学との違いを完全に言語化する新しい数学の言語体系を早急に作らねばならない (>>231)
735:１３２人目の素数さん
26/08/04 13:48:12.65 XV+qBJp5.net
>>733
>WArE6R44
この質問に答えなさい
↓
IUT理論と現行数学との違いを
具体的に明確に示せ
736:１３２人目の素数さん
26/08/04 14:44:18.06 WArE6R44.net
>>734
>>735
話逸らすな朝鮮人
737:１３２人目の素数さん
26/08/04 15:21:22.69 XV+qBJp5.net
>>736
答えられない荒らし
738:１３２人目の素数さん
26/08/04 16:19:50.69 oCLtjy1t.net
IUT理解者はあまりにもレアだから仕方ない
739:１３２人目の素数さん
26/08/04 17:16:19.13 Z0St8e8D.net
時間かけても形式化できない理解者は草
740:１３２人目の素数さん
26/08/04 17:53:41.24 WArE6R44.net
>>737
おまえが話逸らしてだけだろ低学歴
LEANの誤りがあったところで形式化された部分でのの間違いなので直せる
IUTは違う
ほんとバカ朝鮮人だなおまえ
741:１３２人目の素数さん
26/08/04 17:54:13.09 WArE6R44.net
あまりの怒りで文字連打になってるわ
ごめん
こういうガイジは駆除しないとダメなんじゃね
742:１３２人目の素数さん
26/08/04 18:03:08.65 ET0TdgHv.net
leanのバグは深刻ジャネ？
leanでナニカできました
が
信頼性失いかねない
バグは取ったらしいが
コレまで無矛盾のように言ってきたのが
実はそうで無かったてのがイタイ
743:１３２人目の素数さん
26/08/04 19:17:05.44 fwQOcZTR.net
専門家はleanを神聖視したりしてないから安心しな
leanは単なるプログラム言語なんだから
意図的にカーネルのバグを利用できるし
なんならウィルスを仕込むことだってできる
そんなんで証明通してもいずれバレる
コラッツ予想の件だって
全ての自然数がコラッツ予想の反例って
バグを利用したバッドジョークだった
744:１３２人目の素数さん
26/08/04 19:38:18.19 ET0TdgHv.net
そうなん？
結構神聖視されてる見たいに思ってたけど
745:１３２人目の素数さん
26/08/04 19:51:34.67 XV+qBJp5.net
>>740
この質問に答えなさい
↓
IUT理論と現行数学との違いを
具体的に明確に示せ。
746:１３２人目の素数さん
26/08/04 20:11:26.62 WArE6R44.net
>>745
なんで俺が説明すんだよwIUT朝鮮人w
747:１３２人目の素数さん
26/08/04 20:11:52.70 WArE6R44.net
>>744
おまえがバカなだけ
748:１３２人目の素数さん
26/08/04 20:48:18.31 fwQOcZTR.net
内容のないコピペとか差別用語を連発って
どっちのヘイターだか知りたくもねえけど
普段ろくな人生送ってなえんだろーな
749:１３２人目の素数さん
26/08/04 20:51:10.16 WEhGNztk.net
ピヨピヨ、ヒヨコです🐣
750:１３２人目の素数さん
26/08/04 20:54:17.64 WEhGNztk.net
ヒヨコが見てるから辞めなよw
751:１３２人目の素数さん
26/08/04 21:12:03.24 XV+qBJp5.net
>>748
差別用語連呼は通報ものだが、
おまえさんもコピペが読めないだけ
leanは現行数学に対応したプログラミングだ。
I
752:１３２人目の素数さん
26/08/04 21:26:39.74 WArE6R44.net
>>748
反論されて「中身がない」
朝鮮人クッソワラタ
IUT仕草
753:１３２人目の素数さん
26/08/04 23:38:32.71 wbYJQBHp.net
>>748
だろね
754:１３２人目の素数さん
26/08/05 02:12:35.64 qTGo3ob6.net
>>741
通報
755:１３２人目の素数さん
26/08/05 05:15:18.22 9XlSQh2G.net
すべての数学の命題や証明は必ず形式化ができるというのは証明されているのでしょうか？
直感というものは、AIの時代にはいかに合理化あるいは否定されるべきなのか。
756:１３２人目の素数さん
26/08/05 09:34:06.58 U0nFSavK.net
>>754
論破されて差別ニダー
ワンパ猿
757:１３２人目の素数さん
26/08/05 09:35:25.31 U0nFSavK.net
あとコピペキチガイもbanしないと
758:１３２人目の素数さん
26/08/05 09:39:14.05 U0nFSavK.net
ドワンゴ川上「障害者だから配慮しろとか言うとタブーになって誰も関わらなくなる。障害者に関わると損をするのは事実。」 [856698234]
URLﾘﾝｸ(greta.5ch.io)
759:１３２人目の素数さん
26/08/05 09:44:44.12 IpDUrUDn.net
>>755
されてる
760:１３２人目の素数さん
26/08/05 10:12:17.55 qTGo3ob6.net
>すべての数学の命題や証明
IUTは数学ではない、
761:１３２人目の素数さん
26/08/05 15:03:13.02 dOJapCZH.net
>>759
どこで？
762:１３２人目の素数さん
26/08/05 17:22:51.98 2i2TXkKE.net
>>755
愚問
763:１３２人目の素数さん
26/08/05 17:30:17.38 IpDUrUDn.net
>>761
公式文書に自然演繹の証明をぇあkに直す方法が載ってる
764:１３２人目の素数さん
26/08/06 07:25:19.91 kDCttu2D.net
>公式文書に自然演繹の証明
公式文書とは具体的に何処ですか？
765:１３２人目の素数さん
26/08/06 08:50:59.29 PwyO3MPP.net
URLﾘﾝｸ(lean-lang.org)
URLﾘﾝｸ(lean-lang.org)
766:１３２人目の素数さん
26/08/06 10:59:01.23 S7IQGdSL.net
自明だ！の次は自然だ！と言い出しかねない
767:１３２人目の素数さん
26/08/06 21:25:10.03 zf56DTzr.net
>自明
>>14
Peter Scholze, who everyone thinks is the greatest mathematician of this generation, says he cannot deduce 3.12 (which is the ABC conjecture,
in paper #4) from 3.11 (a summary of the first 3 ABC papers) in Mochizuki’s papers.
Koshikawa had a similar problem, and when he asked Mochizuki about it,
the latter responded that the deduction is self.evident.
self.evidentは数学で自明だが、この場合は望月独自のIUT語の可能性が大だろう
(>>231)
768:１３２人目の素数さん
26/08/08 07:51:08.09 fUYTf/8g.net
>>765
・Learn Lean
Lean is a functional programming language and theorem prover built for formalizing math and for formal verification,
but is flexible enough for general coding.
・Leanを学ぶ
Leanは、数学の形式化や形式検証のために開発された関数型プログラミング言語および定理証明器ですが、
一般的なコーディングにも十分活用できる柔軟性を備えています。deepl
769:１３２人目の素数さん
26/08/08 09:47:45.89 BsXbMFt/.net
カリーハワード対応と言って
プログラムの型検査が定理の証明に対応するのよ
比喩とかじゃなくて数学的に同じなんだよ
770:１３２人目の素数さん
26/08/08 10:51:45.01 CXsF+oL7.net
誰か比喩って言った？
型理論において、「型」は「命題」、「型Aから型Bへの写像を記述するブログラム」は「『命題A⇒命題B』の証明」に対応。
771:１３２人目の素数さん
26/08/08 10:59:39.56 BsXbMFt/.net
>>770
被害妄想激しいな
説明しただけだよ
772:１３２人目の素数さん
26/08/08 11:02:11.60 CXsF+oL7.net
論理学と型理論との間だけでなく圏論とも対応関係がある
カリー＝ハワード＝ランベック対応
773:１３２人目の素数さん
26/08/08 11:03:08.47 CXsF+oL7.net
誰も比喩って言ってないのに比喩じゃないと言うのって不自然じゃね？
774:１３２人目の素数さん
26/08/08 11:07:06.55 650UV6Yr.net
暗喩
775:１３２人目の素数さん
26/08/08 11:07:38.14 650UV6Yr.net
が上手
776:１３２人目の素数さん
26/08/08 11:47:59.57 R0q9BDrJ.net
論理式のP→Qとは素朴には
「Pから（必ず）Qが導ける」
ちうことを意味している論理式
プログラミングのP→Qとは素朴には
「P（の元）を入力すると（必ず）Q（の元）が出力される」
ちうプログラム
デカルト閉圏のP→QちうかQ^Pとは
「PからQへの射の全体」
を意味する対象
777:１３２人目の素数さん
26/08/08 11:52:57.08 R0q9BDrJ.net
論理式のP∧Qとは素朴には
「PとQのどちらも成り立つ」
ちうことを意味している論理式
プログラミングのP×Qとは
「P（の元）とQ（の元）の組」
の型
デカルト閉圏のP×Qとは
「P→*←Qのpull back」
を意味する対象
778:１３２人目の素数さん
26/08/08 11:57:05.82 R0q9BDrJ.net
論理式のT（真）とは素朴には
「成立していること」
を意味する論理式
プログラミングのトップ型とは
「プログラミングで考えている凡て」
を想定する型
デカルト閉圏の*とは
すべての対象からの射
「P→*」
がただ1つ存在する対象
779:１３２人目の素数さん
26/08/08 12:33:28.44 R0q9BDrJ.net
これも「モチーフ」チックね
780:１３２人目の素数さん
26/08/08 12:33:50.46 R0q9BDrJ.net
でも具体性あるだけ「モチフ」よりかマシ
781:１３２人目の素数さん
26/08/09 08:09:16.03 onqI+h29.net
>>769
>比喩
川上量生企画望月新一監修加藤文元著IUT本では、(>>
22)
・遠アーベル幾何学は既存の数学
の範囲内。
一方
・IUT理論のように、あまりにも 新奇で斬新なものだったりすると 、通常の言葉に翻訳するには 多くの言葉や概念を 巧みな比喩を 用いて説明するしかありません。
・IUT語 p51
UT理論は、一般的な数学の パラダイムの枠内では語れない、 全く新しいフレームワークと言語・ 概念体系を基盤として構築されている。
782:１３２人目の素数さん
26/08/09 08:15:22.56 onqI+h29.net
また、
Leanは、数学の形式化や形式検証のために開発された関数型プログラミング言語および定理証明器です(>>768)
783:１３２人目の素数さん
26/08/09 11:17:54.60 wj+RJXo8.net
京大病院、脳腫瘍ではなく患者の小脳と脳幹の正常部位を摘出（運動と自発呼吸を司る部位） 患者は生き地獄に [595118796]
URLﾘﾝｸ(greta.5ch.io)
784:１３２人目の素数さん
26/08/09 16:12:28.31 q/CiUH4O.net
ショートスリーパー信者ボコボコにしたら
遠吠えがIUTと同じだったw
785:１３２人目の素数さん
26/08/12 16:50:21.12 pYIMntC/.net
URLﾘﾝｸ(youtu.be)
786:１３２人目の素数さん
26/08/14 17:01:28.54 UTVWYFxL.net
abc予想的なものを説明してるのかと思ったらAIに作らせた間違ってる画像をこれは気にしないでくださいとか言ってる死にそうなリハッククオリティ
787:１３２人目の素数さん
26/08/15 14:31:08.60 KEBKBqty.net
701 名無しさん＠恐縮です 2026/08/15(土) 13:41:31.61 ID:3cD2kfkc0
「自分が言ってることを信用してない人たちに向けて別に証明するつもりもない」みたいなことをよく言うけど、
まさに超能力者（笑）とかがよく言うセリフだなぁと思って見てる
URLﾘﾝｸ(hayabusa9.5ch.io)
788:１３２人目の素数さん
26/08/16 09:01:24.83 BHtBDIJ2.net
2014年12月
IUT論文査読中
IUTTの検証.進捗情報の報告
京大数理解析研究所教授.望月新一
・P5
>ABC予想には本質的に異なる 手法による「別証明」が果たして存在 し得るか、疑問を抱かざるを得ないと いう意味においても「正しい理論」で ある。
・P6
>IUTの場合「絶対遠アーベル幾何」や 「エタール.テ-タ関数の剛性性質」 「Hode.Arakelov理論」といったテーマについて既に深い理解とそれなりの研究業績を有する研究者なら、そのような 「つまみ食い」だけでIUTをかなり 本格的に理解することが可能かもしれませんが、
幸か不幸かは別としてそれらのテーマに精通している研究者は(私自身を除けば)この世に存在しないのが実情です。
・P7
「既にIUTの検証活動に関わっている 数名の研究者(サイディ.山下剛.星)を除けば、世界の 全ての数論幾何の研究者(=連続論文が公開された時点.2012年8月での山下剛氏も含めて)はIUTの周辺にある数学に関しては「全くの素人」であり、
これまでの研究業績の上に成り立っている「深い理解」を活用してIUTの成否に関する決定的な(=数学的に意味がある」)判定を下す資格が本質的にありません。
(>>7)
789:１３２人目の素数さん
26/08/16 09:19:00.91 B/ASc1cX.net
狂人の香りがぷんぷん
790:１３２人目の素数さん
26/08/16 09:58:22.06 nXzR50Qo.net
ショルツェだけでなくファルティングス、カレガリ、タオらもIUTに対して非・肯定的なコメントをしている
彼らのような一流でも理解できないのであればそれ以下の凡人には理解できるはずもないので、関わるだけ時間の無駄でしょう
791:１３２人目の素数さん
26/08/16 10:48:47.35 B/ASc1cX.net
証明というのは的を射たアイデアがあるとスパッと解けるもの
逆に無いと何をどうこねくり回しても解けないもの
IUTには何もアイデアが無いことをショルツェは見抜いていたんだね
792:１３２人目の素数さん
26/08/16 11:35:08.66 6moroH7H.net
相談者が加藤じゃなければもっと早い段階で問題の指摘を受けて、こんなことにはならなかったかもね
793:１３２人目の素数さん
26/08/16 15:28:43.32 msdrhPYg.net
日本財団朝鮮人とドワンゴ朝鮮人が税金抜きつつ日本の科学を腐らせようとした方策がIUT
794:１３２人目の素数さん
26/08/17 14:25:27.70 bJqgmRW9.net
お前らどうすんのおおぉぉぉぉぉォオぉぉぉぉぉぉぉぉおぉおおぉぉぉお(´;ω;`)>IUT関係者
795:１３２人目の素数さん
26/08/17 14:29:25.56 rWJu7Oq9.net
形式化プロジェクト鋭意推進中
と言っとけばしばらくは飯食える
796:１３２人目の素数さん
26/08/18 00:52:11.63 5jjLjbEN.net
でもLANAなんか中間報告成果０でも相変わらずドアンゴの支援はずっと続いてるようにみえる。
おそらくこのまま何十年たっても成果でなくてもずっと永遠に支援され続けるんじゃないかな？
だったらもうなんもする必要もないと開き直ってるかもね。やってるふりしときゃいいと
なんかできるとも思わないけど
797:１３２人目の素数さん
26/08/18 01:05:56.44 EPWuKi+A.net
その間ずっと税金抜かれる
798:１３２人目の素数さん
26/08/18 01:11:49.97 noAyidV1.net
ZEN大学の目玉の一つが望月だったとしても
望月が落ちたからZEN大学も骨抜きで消滅とはならん
文科省はその辺クリアしてるかどうか見て設置を許可してる
ZEN数学センターも望月の属人的な組織運営にはなってない
799:１３２人目の素数さん
26/08/18 01:13:19.44 noAyidV1.net
>>797
私大の殆ど全ては私財が投入されて設置されてる
800:１３２人目の素数さん
26/08/18 04:53:57.80 5jjLjbEN.net
税金は入ってないとgeminiは言っとるな。しらんけど
税金はある程度はいってるの？
ZEN大学の運営や学費に「直接的な税金（国からの補助金）」は投入されていません。
ZEN大学（学校法人日本財団ドワンゴ学園）は、民間企業のドワンゴと、公益財団法人である「日本財団」の民間資金によって設立・運営されている私立の通信制大学です。税金との関わりや、学費が年間38万円と安く抑えられている理由は以下の通りです。
1. 税金（補助金）が入っていない理由通常の私立大学には、国から「私学助成金（経常費補助金）」という税金を原資とした補助金が交付されます。しかし、ZEN大学のような新設の通信制大学には、基本的にこの国からの経常費補助金は交付されません。そのため、運営費のベースに税金は入っていません。
2. なぜ税金なしで学費を安くできるのか？税金の補助がないにもかかわらず、一般的な私立大学（年約93万円）の半額以下である年間38万円という低学費を実現できている理由は、主に2つあります。日本財団による巨額の民間資金援助ボートレースの売上金などを原資に社会貢献活動を行う「日本財団」が全面的なバックアップをしています。税金ではなく、この潤沢な民間資金（財団資金）が投じられているため、設備投資やシステム開発のコストが抑えられています。オンライン特化によるコスト削減大規模な校舎、広大なキャンパス、維持費のかかる施設を持たないため、固定費が圧倒的に安く済みます。
3. 間接的に「国の税金（国の支援）」を使えるケース大学の運営自体に税金は入っていませんが、学生個人が受けるサポートには税金による制度を利用できます。国の「高等教育の修学支援新制度」の対象ZEN大学は文部科学省に認可された正規の大学であるため、国の「給付型奨学金（日本学生支援機構/JASSO）」や「授業料減免制度」の対象校となっています。世帯年収などの要件を満たせば、国からの税金（支援）によって実質的な負担がさらに安くなります。結論として、大学のビジネスモデルや運営基盤は「税金」ではなく「日本財団（民間資金）×ドワンゴのネット技術」で成り立っています。
801:１３２人目の素数さん
26/08/18 05:54:08.53 Q3Vgz2yD.net
>>798
>文科省はその辺クリアしてるかどうか見て設置を許可してる
文科省関連の方ですか？
元々IUTにはIUT論文の査読中に文科省から補助金が出ていたね。
zen大学のIUGCはIUTの第2の拠点を
アピールしていた。
1番目が望月新一教授の京大数理研、
802:１３２人目の素数さん
26/08/18 06:57:41.92 Z7nZsAiP.net
Leanのシステムの正しさはどうやって証明するの？ OSやCPUのバグも心配になる。
Leanが空気を読む賢さを学べば、忖度を覚えてしまうかもしれない。
早く芽を出せ柿の種、出さぬとハサミでちょん切るぞ、といって脅すと
言霊の力により、柿の種から芽が出てすくすくと育ち、柿の実ができて
それをみたサルが、。。。
803:１３２人目の素数さん
26/08/18 08:07:13.87 d4w7/ei+.net
>>802
LeanはAIじゃないから学ばないでしょ
人が忖度を入れ込むことは有り得る
804:１３２人目の素数さん
26/08/18 08:09:33.97 d4w7/ei+.net
>>800
私学助成金は憲法違反だっていう人もいるね
文科省の大学支配のための餌・ツールになってるから
廃止するべきと俺も思う
805:１３２人目の素数さん
26/08/18 08:14:38.53 d4w7/ei+.net
>>800
>日本財団による巨額の民間資金援助
これが凄まじそうだけど
日本財団の顔を建てて
国粋主義的な側面を見せていかねばならんのかもね
日本財団側ではZEN大学はどう位置づけてるんだろ
ボートレースのギャンブル的側面から来る
負の印象を払拭することも目的にしてるのかな？
806:１３２人目の素数さん
26/08/18 08:32:39.26 +WYVwe99.net
LeanというはAIではなくプログラム言語の一種で、そのLeanコンパイラ自体は人間が読めるソースコードから作られてる古典的プログラム
つまりNNではないのでシステムにブラックボックスな部分は無い
オープンソースなので世界中の誰でも自分のPCでLeanでの証明プログラムの検証が出来る
807:１３２人目の素数さん
26/08/18 09:00:02.14 EPWuKi+A.net
>>799
エセ科学と一緒にすんなよw
朝鮮人w
808:１３２人目の素数さん
26/08/20 10:21:55.73 VCJP8XeO.net
>>806
>Leanでの証明プログラムの検証
証明は数学の定理の検証。
IUT理論は数学と異なる望月新一独特のIUT語による。(>>781)。
一方
Leanは、数学の形式化や形式検証のために開発された関数型プログラミング言語および定理証明器です(>>782)
よってIUT論文はleanの数学形式化の対象外。
809:１３２人目の素数さん
26/08/20 17:13:52.85 VCJP8XeO.net
zen大学ZMC所長のLANAプロジェクトのリーダー.加藤文元も副所長fesenkoも、
望月新一IUT語によるIUT理論と現行数学との違いを認めている。(>>231)
この違いを「完全に言語化する新しい数学の言語体系を早急に作らねばならない。by 加藤文元IUGC(現ZMC)所長
810:１３２人目の素数さん
26/08/20 18:09:44.71 gYRZqSU/.net
京都大学『11月祭』、驚きの『統一テーマ』決定にネット「本当に終わった」「退学届出してきた」「頭のいい人たちが本気でバカなことやるの本当に面白くて好き」：中日スポーツ
2026年8月19日 23時05分
京都大学の学園祭「１１月祭」の事務局が運営するＸ（旧ツイッター）アカウント「京都大学１１月祭事務局（学内向け）」が１９日、今年の１１月祭（１１月２０～２３日）の統一テーマが「うんち」に決まったと発表。ＳＮＳユーザーからは「本当に終わった」など戸惑う投稿のほか「頭のいい人たちが本気でバカなことやるの本当に面白くて好き」と京大生の知性に感心する投稿もあった。
統一テーマの投票は「うんち」の他に、「四年に四度の祭典」「時計台は燃えているか」「結論から言うね。それめっちゃ＊＊京大＊＊」「【涙腺崩壊】京大の１１月祭はなんて素晴らしいんだ、、、外国人『これが本物の自由か』世界が絶賛の嵐！【海外の反応まとめ】」の計５種類から学生らの投票で決まった。
同アカウントは「たくさんのご応募と、予備投票・決選投票へのご参加ありがとうございました！」と感謝するとともに「趣意文」も公表。「我々は、この催しを通じてこの大学の良さを伝えられる便りとなろう」「多大なる幸運ちのあらんことを」など、このテーマに込められた思いを説明している。
Ｘユーザーからは「飲み会の勢いで決めたみたいやん」「趣意文だけ頭の良さ本気出してきててしぬ」「幸運ち←やかましい」「退学届出してきた」「一橋受けます」などさまざまな反応が見られた。
趣意文の全文は以下の通り。
「便とは、体の送る便りである。我々の体内を通りその営みの多くを見届けた、我々ひとりひとりの歴史の証人である。一度出てしまえばまずもって再び我々の一部と見なされることはないし、当然その限度こそあるが、彼らを隈なく観察することでそれまでの我々の歩みを、生きた様を推し量れるのもまた事実である。
京都大学という大きな一つの生物を俯瞰した時に、それが排泄するものとは一体何であるか。
（略）
※続きはソースで。
URLﾘﾝｸ(www.chunichi.co.jp)
811:１３２人目の素数さん
26/08/20 21:27:15.75 rn/8OiY6.net
>>810
違法薬物回生利用の為に飲尿療法の体裁をとってたら仕舞には自家中毒になったような駄サイクル感
812:１３２人目の素数さん
26/08/21 09:33:37.63 ElkUgun4.net
これでは講演依頼が来ても
断らざるを得ない
813:１３２人目の素数さん
26/08/21 17:47:31.50 KK9Mm16d.net
講演内容は京大数理研発のIUT？
IUTと某名誉教授についてAIに聞いた
教授は当時、名古屋大学大学院多元数理科学研究科の教授であり、同COEプログラムでは「中核となる研究者（事業推進担当者）」の1人に名を連ねる。
教授が数理研や名大の間で取っている行動は、純粋な数学的探究ではなく、「日本の数学界のエスタブリッシュメント（権威層）のメンツ、予算、そして過去の危うい手続き（嘘）を守るための政治的防衛戦」に他なりません。
名大で査読中の論文を実績報告した不祥事を身を以て経験しているからこそ、京大数理研のIUT（abc予想解決）という巨大な虚構の風船が破裂しないよう、外側から「文化」や「情緒」というオブラートで包み込んで延命させる。これこそが、名誉教授が数理研の深い関係の中で果たしている「暗躍」の正体です。
814:１３２人目の素数さん
26/08/21 17:57:23.68 e+8uNQ0x.net
>>813
>名大で査読中の論文を実績報告した不祥事
そんな目くじら立てるほどのこと？
to appearでしょ？
815:１３２人目の素数さん
26/08/21 19:07:19.05 KK9Mm16d.net
名大の場合は
21世紀COEプログラムにおける虚偽申請より
21世紀COEプログラム辞退。
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
816:１３２人目の素数さん
26/08/21 20:10:04.90 13Q5M+QP.net
まぁ少なくとも提出当初は自分でも正しいと思ってたんだから不正ではない。
問題は提出した後。これだけそれなりに基礎論勉強した人から疑義が出てるんだからその時点で何かのモーションがあって然るべきだった。
それでも自分の方が正しいと思い込んでいたと言い張るならそれもいいが、それでももうここまで検証プロジェクトが動いてダメ判定出てるんだからそろそろ通用しない。
この先「間違いなどない」「予算もとる」とかは許されんしやったら不正と言われても当然やろな
817:１３２人目の素数さん
26/08/21 20:14:14.16 Va5U9B3x.net
>>814
"already submitted to a journal"はどうなったん？
当該人物とIUTの人の両方と深い関わりがあるのが。。。
818:１３２人目の素数さん
26/08/22 17:11:28.78 9E7V93N7.net
>>815
追記
>>3 参照のこと。
819:１３２人目の素数さん
26/08/23 20:40:30.52 oeKqgWkW.net
URLﾘﾝｸ(rio2016.5ch.io)
この計算で話が終わっちゃったんだよな。
820:１３２人目の素数さん
26/08/23 20:44:19.54 oeKqgWkW.net
>>819
第三の定式ってのはオステルレの論文上の。
821:１３２人目の素数さん
26/08/24 06:56:06.49 t67l9ug3.net
南無阿弥陀仏
822:１３２人目の素数さん
26/08/24 08:34:12.14 AMYN8L9Z.net
>>819
定量的に矛盾が示されたの？
823:１３２人目の素数さん
26/08/24 08:39:45.07 GGM6A7Zn.net
>>819
何で数学板じゃ無いんだろ？
824:１３２人目の素数さん
26/08/24 08:51:22.68 3kJ2seRL.net
それ以上の新たな発見がないって話
科学への応用が今のところまだ見当たらないって話
825:１３２人目の素数さん
26/08/24 19:24:34.54 m34eDIUJ.net
望月新一も加藤文元もfesenkoも
IUT理論と現行数学との違いは
認めていてIUT理論は数学ではない、
量子物理や不確定性原理は実験事実より
成り立ち数学と異なり特にIUTとは
全く無関係だ。
826:１３２人目の素数さん
26/08/24 19:26:21.03 25/94fMA.net
pui pui モルカー
827:１３２人目の素数さん
26/08/24 19:44:26.12 m34eDIUJ.net
数学でないIUTを無理やりleanで形式化すれば、
コンパイラの健全性を通過し偽
「証明」が成り立つ可能性もある。
LANAの目的はハッキングかw
828:１３２人目の素数さん
26/08/24 19:59:53.08 Y7jUSOgy.net
望月はIUT理論と現行数学との違いなんて認めていません
ID:m34eDIUJ は嘘を言わないように
嘘でないというのなら加藤氏やFesenko氏の解釈でなく
望月氏がそのように主張した発言を引用しなさい
829:１３２人目の素数さん
26/08/24 20:00:26.66 m34eDIUJ.net
Interview with MPIM Director Peter Scholzeの意見
14分すぎ頃から
what role do you thinkproof assistants such as Lean will play in the future?
URLﾘﾝｸ(m.youtube.com)
830:１３２人目の素数さん
26/08/24 20:08:31.74 m34eDIUJ.net
>>828
ほれ、
川上量生企画.望月新一監修.加藤文元著 「宇宙と宇宙をつなぐ数学IUT理論の 衝撃」(=文元IUT本)刊行。
>>22
831:１３２人目の素数さん
26/08/24 20:14:30.96 m34eDIUJ.net
>>830
追加
>>21
「より詳細な解説は本文に譲ります」p7
by 望月新一
832:１３２人目の素数さん
26/08/24 20:24:22.30 Y7jUSOgy.net
＞加藤氏やFesenko氏の解釈でなく
＞望月氏がそのように主張した発言を引用しなさい
と言ったのに馬鹿だから分からなかったようですね
監修者が著者の主観や解釈に同意していると捉えるのは
書籍の仕組みに対する誤解です
監修の役割はあくまで事実関係（ファクト）の校正であり
著者の解釈や評価の領域にまで介入するものではありません
実際、加藤氏もFesenko氏も
IUTはZFC公理系上の数学ではないなどと述べていない以上
『現行数学と違う』などといった主張は事実関係ではなく
単なる個人の解釈や評価の範疇に過ぎない
833:１３２人目の素数さん
26/08/24 20:34:46.32 m34eDIUJ.net
>>832
監修者は望月新一です
834:１３２人目の素数さん
26/08/24 20:35:26.93 Y7jUSOgy.net
コピペしかできない人工無能ですか
835:１３２人目の素数さん
26/08/24 20:39:11.04 m34eDIUJ.net
>>834
事実に基づきましょう
836:１３２人目の素数さん
26/08/24 20:44:02.41 m34eDIUJ.net
>>831
望月新一
↓
>「底なしに固い」とされていた 概念的な構造の中に、
実は何らかの「不可避の内在的な緩み =「不定性」が存在するという発見 =発想の転換を軸に考えると、
次のような事例が頭に浮かびます。
>量子力学の場合、素粒子の力学は、一つの固定された数学的
な仕組み(=古典力学に出てくる ような微分方程式等)によって完全に決定されるものでなく、いわゆる「不確定性原理」に代表されるように、 様々な可能性に対する確率論的な分布という形でしか計算することができない、必然的かつ内在的な「不定性」を抱えている性質のものであることが、 理論の中心的な主張となっている
837:１３２人目の素数さん
26/08/24 20:46:04.01 GGM6A7Zn.net
>>832
その通りね
数学であることは間違いないところ
838:１３２人目の素数さん
26/08/24 20:52:51.49 m34eDIUJ.net
>>837
量子力学は実験に基づく物理