【数学】ABC予想、証明に暗雲？　国際チーム検証中、望月氏と議論へ [すらいむ★]

数学・ABC予想、証明に暗雲？　国際チーム検証中、望月氏と議論へ

　数学の超難問「ABC予想」の証明について、ZEN大学などの国際研究チームが31日、「1年半前から証明の検証を進めていた」と発表した。
　検証は途中だが、京都大の望月新一教授（57）の証明には「現時点で解明できていないポイントがある」「ギャップ（論理的な飛躍）の可能性もある」として、望月氏らと議論を続けているという。

（以下略、続きはソースでご確認ください）

朝日新聞　3/31(火) 13:00
https://news.yahoo.co.jp/articles/7305051a1b2b85772362b2d0ca5de447430d71e1

最近のAI で検証出来ないの?

AIは神ではない

いまさらギャップがあるとか言ってんすかww

へぇ。。
この加藤さんって、望月さん側の人間かと思っていたけれど、そこから疑義が出ちゃうか。
上手く突破できればいいけれどね。

>作業はなお途中だが、加藤氏は「現時点で研究チームが解明できていないポイントがある」と話した。それはIUT理論の根幹を支える定理で、数学的なギャップの可能性もあるとみている。ただ、それが本当にギャップなのか、チームの理解不足なのかについては、まだ判断できないとしている。

証明されないとそれが新たな重要未解決問題になるわけか

>>5
Leanで形式的証明を与えるつもりだったろうにね

別の宇宙作って云々かんぬんだったっけ
相当無理筋な気が……

ABC ABC は～～～ん E気持ち～

AI使って検証するとか言ってなかった？

>>2
記事の国際研究チームがまさにそれ

>>6のポイントと
ショルツェの指摘した系3.12は近いのか遠いのか
弱いABC予想との関係はどうなのか

今は人間だけでなくコンピュータ（AI)も参加して証明が正しいか検証するのね。
理想的な共同ワーク。

京大の望月派が加わっての議論でも解消されず、公式発表となったのだから、証明の見直しが必要な可能性は結構あると思う。

加藤先生やZEN内部から動きが出てきたのは良いことやね

ABC包囲網が形成されたか。１.４億円の賞金欲しさに名うての賞金稼ぎが集結か。

数学者って重要な発見するのだいたい20前後からせいぜい30半ばだからなあ

SFでしょ

もっと分かりやすい論文書いてね。
でいいじゃん。

ギャップがあるってつまり

検証チーム「『 〇ならば△』ってなぜそうなるのか？飛躍してない？」
望月教授「いや自明でしょ」

みたいなことだろうか

zfcじゃねーからなw
zfcuかつ失敗してんのがIUT

>>9
涅槃で待つ

検証チーム「数学におけるフロベニオイドを平手友理奈、外部ガロア作用を秋元康に置き換えてますよね。これは何ですか？そもそもどこの別宇宙です？」
望月教授「自明だろ」

リーマン予想のリーマンゼータ関数の零点が負の偶数と実部が1/2の複素数に限られる
なんでそうなるかというと宇宙がそうなるように演算しているってnoteで読んだ
複素数や虚数が生まれるとタキオン粒子とか存在してはいけないものが創発されるだってさ

数学と将棋は似ているのかな？
若い盛りを過ぎると急に脳力が落ちる

フィールズ賞受賞者に論理の飛躍を指摘されてまともに反論できなかった時点でもう詰みだろ

チョンカスドワンゴはleanのギャップを人力で解いちゃってもいいんすよw

理解者なんだろワラヒw

確かに、「始めました」とか「解き明かしました」ならわかるが
「始めて１年半経ちました」って変な発表だな
そんなんわざわざ発表する意味ある？

主人がオオアリクイになんだろ

理解者誰もいませんでしたってオチ？w

ハッタリかまして抜いてきた税金どうすんの？

オマエラ

>>28
この朝日の記事にはなぜか書いてないんだけど
理解せずに書いているからだろうけど
日経の記事によるとショルツのLeanプロジェクトチームにいた

>ZEN大学やオランダのユトレヒト大学などは31日、コンピューターを使って数学の難問の検証を目指す国際共同研究を始めたと発表した。
>Leanは13年に登場したプログラミング言語で、数学の定理を証明するのに使われている。22年にはLeanを使って現代数学の高度な議論を検証するプロジェクトが完了した。この研究計画の開始を呼びかけたのはショルツ氏だ。
>今回のLANAプロジェクトには、ショルツ氏のプロジェクトで中心的な役割を果たしたユトレヒト大のヨハン・コメリン助教や、カナダのアルバータ大学のアダム・トパーズ准教授が参加する。加藤所長は「世界一のメンバーを集めたと自負している」と意気込む。

も参加するようだ

ショルツのプロジェクトはLiquid Tensor Experimentって奴で
自身の液体ベクトル空間理論の定理9.1の形式的証明
自分でも正しいか自信が持てなかったが形式的に証明した
もう4年近く前の話

特定の立場に偏らずと断ってるのはショルツの仲間が参加しているためだろう
参加者が増えた新プロジェクトの目的そのものだから
加藤文元所長がギャップがあると思っている事に自身が持てなかったから始めた、というところだろうか

>>12
7月に発表だって
中間報告と言っても
加藤文元プロジェクト的には最終発表なのではないか
望月との対話はギャップをどう埋めるかなのではないか

>ZEN大学ZEN数学センター（ZMC）の加藤文元所長らは23年にIUT理論を研究するプロジェクトを立ち上げ、24年から本格的に研究をはじめた。加藤所長は「（IUT理論について）議論に不備の可能性があるポイントは押さえた。望月氏との対話も続けたい」と話す。7月17日に中間報告会を開き、研究成果などを公表する考えだ。

>>33
元所長かよ

同じ国のノーベル賞もエプスタイン汚染されてたなw
アーベル賞柏なんとか大丈夫か？
ドワンゴw

　
ありまぁ〜す

望月氏の証明法への疑義は続くがABC予想自体はおそらく真だというのが大方の見方なのだろうか

>>37
だからそういう微妙な所狙って素人騙してたんでしょ

>>12
まさに系3.12らしい

星裕一郎：京都大学数理解析研究所
>しかし同時に、残念ながら、私はまだ自分の役割を完全には果たせていないとも考えています。特に、先に述べた定理3.11から系3.12を導く論理について、LANAプロジェクトのメンバーの多くが、その中に何か超えられない壁があると感じていること、その事実を私は重く受け止めなければいけません。そして、そのような状況に対して、自分自身の至らなさも強く感じています。
https://zen.ac.jp/zmc/topics/jwz-o8xr3v6f

これLANAプロジェクトで理論の欠陥が明確になったら100万ドル（だっけ？）getじゃん？

>>40
審査プロセス非公開の循環取引かw

あん？うん？という状態になってるのか

というか当時も、そして今も
Scholze–Stixが正しくてギャップがあるということだね
ギャップがあるという指摘に対して答えられてない
https://ncatlab.org/nlab/files/why_abc_is_still_a_conjecture.pdf は2018年の事なのに(問題提起は2017年の事で、京大に赴いたが議論を諦めた結果がこの論文だ)
8年間何をしていたのだ
いや望月が直接返事した
https://www.kurims.kyoto-u.ac.jp/~motizuki/Cmt2018-05.pdf
と言うかもしれないが納得はされてない

https://arxiv.org/abs/2210.16488 2022年
https://zbmath.org/1465.14002 2021年
の批判もある

カス論文認めちゃったクソ研究所の柏なんとかサンはどこに逃げてるの？

>>13
AIじゃない
AIなんか馬鹿すぎてこの人達の議論にはついていけない

んでカス川上はなんつってんのw

ショルツからの批判に皮肉で返した時点で望月新一の信用は地に落ちた

10進法だと(10+1)/2=11/2で訳分からんくなるから
5進法で考えればいいような気がする
(5+1)=6（5進法表記で10）

https://www.youtube.com/watch?v=hRJRaIP6VGk
こんな感じで

>>46
AIは形式証明に使われてるし
数学上の幾つかの未解決問題解いてるよ

生成AIが答えてる訳じゃないけどね

オレオレ数学使い出すしかないかもな
まあ最初だからだけどw

オレオレ数学使い出すしかないかもな
まあ最初からだけどなw

いやいやもう反例挙げてる論文出てるから
もうとっくに否定済みだよバカども

フィールズ賞受賞者で
望月が論文をちゃんと権威あるところへ提出したらレフェリーやるようなクラスの数学者が
もうとっくに否定論文出してる
何引き分けみたいにしてんだか
チョンかよ

>>54
ドワンゴ麻生っつったらもうあれよwww

明々後日に本人が話すじゃん
https://aitpm.github.io/
April 9th 2026
Shinichi Mochizuki: On the Formalization of IUT: a preliminary progress report
In this talk, we survey preliminary work conducted by my research group at RIMS, Kyoto University, since the fall of 2025 on the long-term project of formalizing IUT (inter-universal Teichmüller theory).
略
Finally, we discuss in detail, as a sort of case study, the reorganization into suitable blackboxes, from a Lean formalization-oriented point of view, of the logic of the final portion “3.11⇒3.12” of the third paper on IUT, since it is this portion of IUT that has received the most public attention. The skeletal Lean code that we wrote for this portion of IUT constituted a remarkably successful case of the use of Lean as a communication tool.

LEANがZFCのクソなので改造します的なこと言い出したら爆笑する

だいたいショルツに批判されて８年間、この人も何とか改良できなかったのかな
フェルマー定理は発表時に指摘された欠陥を修正できたのに

仮に3.12スルーしたところでまだ先は見てもらってもいない状態なんだよなこれ

後ろ盾が消えてケツに火がついたか

大英笹川財団議長 ロバート・マクスウェル

こういう時こそ得意の宇宙際タイヒミュラー理論だろ
3.11系から3.12系が成立する宇宙に持って行ってそこで証明してその結果をこの宇宙に持ってくればいい

>>59
なことはない

>>57
実際一階述語論理に基づいたZFCがLeanライブラリにないのでうまく証明が構成できないということは1年前から言ってる
ただそういう問題でもなさそうだとも分かってきたから今回の弱気な発言とショルツェ側の新メンバー招集なんだと思う

わからないこと

>>62
ワラタ
お前らのオレオレ査読の話してねーんだけど

>>65
いやSSも系3.12の導出しか問題にしてない

>>66
前提だからなw
他見てるわけじゃないw

ABCも知らないような高校生にも判るような易しい証明をお願いします。

XみたらもうIUTTとmathjinくらいしかいなくて
どっちもキチガイ扱いされてんの笑う

>>32
朝日の記事はずっと追ってる記者が書いていて数学科出身らしい
望月に肩入れしてるようなので混乱してるのではないか

>>70
あいつずっとIUT擁護の偏向記事出してるからなw
まー明日とアエラの科学記事はゴミだよ
ひやっしー持ち上げてたし

ABCも知らないような高校生にも判るような易しい証明（？）
かは、分からりませんが…というか証明ですらありまんが

16進法の0xABC=2748=(28-1)*10^2+24*2
Python記述:0xABC=2748=(24+6-6/2)*10**2+24*2

注釈:(24+4-1)→24+6（6は10進数と16進数分の差）に更に-6/2
今回はN=16進法で考えてみた…

信じるか否かはアナタ次第！！（たっ、多分。合っている筈…？？？）

論文載せた身内誌の編集委員7人のうち分かると言うのは1人だった。
新しい理論出すのは自由だが従来理論との違いは説明いりそう。望月はまず批判者は理解してないと切り捨てその後わが理論を数年学びに来いと吹いた。
信者20人対数学界でも少数が正しいことはありうるがもはや理論や理解でなく信仰するかしないかになってるようにみえる。

ブラックボックスおじさん

>>56
イングランドの大学らしいから
日本時間の今日中には終わるな
日本時間の0時が向こうの15時だから

>>56
skeletalってどういう意味で使ってるのかな
まだ出来てないけど俺の理論を形式化するために凄いライブラリを開発できそうだぜ
ってことなんですかね

>>56
https://www.kurims.kyoto-u.ac.jp/~motizuki/Formalization%20of%20IUT%20(2026-04).pdf

https://plaza.rakuten.co.jp/shinichi0329/diary/202601010001/ とほぼ同じかね

>>63
MathLibに登録されてないだけで見つかってるんだって
ただどうモデル化してるかによって
IUTで使いやすいかどうか違うからなあ
数学屋さんにはこの辺は理解しにくいだろうけど
理論は理論だろって思っているだろうから
極めてプログラミング的なゲーデルの第二不完全性定理の面倒臭さ考えれば自明なんだけど

>>77
学会で発表したPDFの方は流石にRCSとは書いてないのね

>>77
差別的とかどの口が言ってんだよ半ユダって感じだなw

>>32
この日経の記事で

>数学の超難問の「ABC予想」に関連する「宇宙際タイヒミューラー（IUT）理論」や「遠アーベル幾何学」の主要な定理をプログラミング言語の「Lean」で記述できるようにする。超難問の証明過程をLeanで正確に記述できれば、証明の真偽を確かめられる。

とあるのだけどこれは誤解
・上手く形式化できて証明出来る
・上手く形式化できない
・形式化が下手なのか
・証明に問題があるから形式化が不可能なのか
の後者は簡単に決着付かない
証明できる人間がまだ出てない問題は偽であると言えないのと同じ
その過程で何処に問題があるのかははっきりしてくる
しかしそれがSS論文の結論に近いというのが現在の状況

>>77
この内容じゃあ反応ないはずだわな
7月まで無風かな
あるいは外部の人も参加してるから少しずつ漏れてくるかな

全てが発覚した後
「日本のおお数学界を救うためにいい仕方なくううう」
とか言いそうだよなw

ああ…
>>77で形式的証明を与えることが重要なんではなく
これまでも主張しているように
数学的常識を疑う思考ができない人がIUTを理解できないのだから
その障壁を取り除くのにLeanはコミュニケーションツールとして有益という謎の主張をしてるのは
>>32
単に形式的証明を与えるだけだとショルツェの二番煎じになっちゃうからか
対抗意識が強いんだね

この発表聞いた人は頭抱えただろうな
数学の発表じゃないし
形式的証明与えたらもうコミュニケーションする必要もないんだが
一方的に宣言すればいい
勝利したと

>>84
しかもさ
指摘されてる内容が3.12と同じなのに
3.12は合ってる！3.11がおかしい！とか言ってんには
ショルツのアドバイスを受け入れたくないからだよね

ゴミを他の場所に移動しただけ
ほんとマジカス

コミュニケーションしたんですうう
完

IUT関係者「Lean4は忖度がないから困る」

ブラックボックスにされちゃったLEANくんの行く末
京都版LEAN改造人間にされてしまったりして

>>63
> 一階述語論理に基づいたZFCがLeanライブラリにないのでうまく証明が構成できないということは1年前から言ってる

>>77
>species/mutationの理論において本質的な役割を果たす「不定元のような論理式」（＝特定されていない、「とある論理式Φ」のようなもの）を扱うには、一階述語理論としてのZFCが必要であり

論理式が特定されてないなら必要なのは二階なのでは？
二階述語論理も必ずあると思いますが
ゲーデルの第二不完全性定理で必要なので
違うの？

ちなみに人間が扱うときは面倒なんで
公理の数を無限個にして一階のままやるパターンがあります
全ての論理式ごとに公理を無限個付け加えれば二階にする必要はないので
こういう無限個の公理を扱うプログラムがCoqやLeanにあるのかどうかは知りません

>>89
>論理式が特定されてないなら必要なのは二階なのでは？

だよな、このレベルで間違えるとか、信じ難いけど

キリスト教・ユダヤ教に基く欧米の神格化・選民思想と理性の弾圧
https://plaza.rakuten.co.jp/shinichi0329/diary/202401020000/
新一さんって大丈夫なの？

>>6
いやならない
論理的にギャップがあるから
それを認めると無根拠に色々と証明できてしまう
系3.12を証明に使うということは
証明にギャップを持ち込むのと同じことだから
だからグループの人が色々と証明出来てる
ちょっと工夫して系3.12を上手くはめ込むだけ

>>91
麻生太郎とかもなw

望月氏って苗字（姓）に月が二つ付いてるじゃん
論理和の一種「XOR」を翻訳したら差別的だと誤解されて論文を読んでもらえない説
んで、望月氏は月が二つっぽいので強く印象に残っていたのでは？

>>94
XORが使われている論文が読まれない説と、望月の名前に月が二つある話に、ギャップがあるぞ

LEAN自身の正しさはどう証明するの。それがC言語で書かれていたら、
そのプログラムの正しさをどうやって証明するのかな。
かりにC言語で書かれたプログラムが正しくても、それをコンパイル
して生成された機械語プログラムが正しいものになるためには、
コンパイラの正しさと、機械語をCPUや計算機のハードとOSが
正しく実行することが必要。I社のCPUはエラッタが多いぞ。
コンパイラも頻繁にバージョンアップがあるということは
バグも多いだろうし、バージョンが上がればバグが減ること
は保証されない。OSもWindowsなどバグだらけだろう。
Linuxだってカーネルやライブラリやデバイスドライバも
含めてバグはある。また長時間計算すると、電気ノイズや
宇宙線などの影響により正しく計算できる確率は時間と
ともに指数関数的に減少する。ECCも無いようなメモリを
使っている安物のPCによる計算結果は信用するに値しない。

>>96
あーあクッソ頭悪い低学歴が無限後退し始めたw





だせえww
IUT擁護のゴミマジだせええw

っていうか川上とかその辺りのレベルかもなw

このグループの人達の論文読むと
数学なのに例え話がよく出てくるよね
予備校の授業みたいに

ブラウアーの数学的直感は
全て排中律としてまとめる事が可能なことが分かった
みたいな事例もあるから
数学的直感は重要だけども

証明が可能になるようにLEANにパッチを当てればいいだけ。
信じるものは救われる。

パッチなんか当てる必要はなく系3.12を公理として加えればいい
RIMSでも公理として扱ってる

IUT派が心を入れ替えて誠実になるってことありうるんだろうか
もはやこの話に集約される

>>35
エスプタインは別にどうでもいいよ。

>>103
ドワンゴ
界隈にかなり近いぞ

>>6
加藤さんが解明できないんだったら、誰にもわからないぞおい

この世の中にたった一人の人間がいてあとはチンパンジーだけだったとするとき、
その人間が導いた証明はあとのチンパンジーには努力してもチンプンカンプンで、
決して理解されることはない。それよりもバナナが欲しいだろうし。

人間より圧倒的に頭のいいチンパンジーがいる状態
ただやっぱりチンパンジーは以下略

>>106
ゲラゲラ
ほんとIUT派はクソ頭悪い比喩多いよなあ



朝鮮人ww

>>105
ギャップがあると解明させてるけど
望月さんに強く言えない状態なのでは

偽右翼
顔面見たら
朝鮮人

望月新一の論文はもう具体的に反例が構成されて提出済み
議論なんかされてない
もう結論は出てる
否定済み

反例の論文が提出されて査読中ということ？
wktkして待ってる

ペーター・ショルツェは望月新一の理論には主要な定理に反例があり誤って居ることをすでに証明済み。当然査読済みの論文が出されている。
またアクシェイ・ヴェンカテシュも望月新一の論文は証明に飛躍があり、証明になってないとする見解を出している。
どちらもフィールズ賞受賞者であり、望月新一などより遥かに格上の数学者で、
望月新一が内々で勝手に証明したことにするインチキをやらずちゃんと世界的に名の知られた数学雜誌に論文を提出すればレフェリーをやるような数学者だ。
ウソつきがインチキをやって引き分けみたいに工作しているだけ。
望月新一の理論はすでに否定済み。



.

日本の京大関係者が必死になっているけど、世界は間違いで放置決定の話でしょ。

>>113
査読済みっての間違いだったな。
具体的な反例の提示だから、こういう議論は現物を指し示すだけで十分なので
普通は反例の提出だけで十分とされて、わざわざ論文を書いたりはしないものらしい。

望月氏の今までの論文は大丈夫なの？

>>116
否定済み。
少なくとも望月新一より遥かに格上のフィールズ賞受賞者の数学者が最低二人否定している。
レフェリーやるような数学者ね。

これがマズいのは
韓国がやりそうなことをよりによって京大がやらかしてるってことなのよね
日本はもうここまで劣化しちゃってるってゆうことを示す端的なデータ

Hard times create strong men,
strong men create good times,
good times create weak men, ←日本は今ココ
and weak men create hard times.←これからの日本
G. Michael Hopf

あと確かテレンス・タオも望月新一の論文は否定していたはず。この人もフィールズ賞受賞者。

昔、韓国人が悪さやって裁判になって
法廷に出たくないもんだから自分の体にうんこ塗りたくって抵抗したとかね
ああいう恥ずかしことをよりによって京大がやらかしてると言うね

CHATGPTに聞いてみよう。

誤ってることが証明済みなら何で今更Leanで検証なんて話になってるの？よくわからんな

やっぱ凡人が考える天才の真似
天才のハッタリって言ったら
形から入るよなあ
コジキのコスプレとか

>>123
IUTグループ自分らは誤りを認めてないんだよ
3.11から3.12のギャップの一部分だけ見て
他をブラックボックスにしときゃ
全体は間違ってても局所的に(とは言っても嘘になるが)正しいと言えるかもしれないからなあ

これさあ
みんな黙ってるけど
「IUTで他のやり方」したら別の不等式出てきちゃうだろw

>>123
ウソつき負け猿だからじゃ無いの？

.


Hard times create strong men,


strong men create good times,


good times create weak men, ←日本は今ココ


and weak men create hard times.←これからの日本


G. Michael Hopf


.

負けが確定したら
引き分けみたいに工作しだすのはチョンの常套手段
日本は最早チョンクオリティ

p進数とかN進法とか
分かりずらいから麻雀パイの絵文字を用いれば良いかも

>>125
加藤は認めてるに等しいという報道なんでは？

>>39
星のIUT入門論文読んだけど
理解するのはなかなか難しかった
用語が独自すぎるのと
うまく整理されてるようには思えなかった事で
それから「これは大雑把に言うと～するということである」が多すぎ

>>131
バカチョンアスペルガーか
なんでLEANに手を出したかその経緯の話だろ
ゴミかお前の脳は

エッシャー階段へのチート策は
視野を狭めて局所だけ正しいとか言っときゃいいだけだからな

AIに聞いてみただけだから確実ではなく個人的な予想に過ぎないけれど
LEANには排他的論理和に関す表す機能？が無いらしくMathLibに載っていないらしい
排他的論理和はc言語やPythonはハット記号「^」だけれども
Basicやネット上では乗数で用いられているので実装が難しいと予想
ＷHat？状態な予感

>>135
なわけない

>>136
失礼、表現の仕方が悪かった
ご指摘の通り、LEANは確かに排他的論理和を表せるのだけれども
https://www.youtube.com/watch?v=H4n1XIa2flI
を視聴したのだけれども
集合記号と¬の組み合わせで混乱して読めない…的なことを言いたかったんよ

数学者は数学的記号の統一的表記を決める気はなく
分野によって使い方が違うので
証明系では証明系研究者たちが自分たちで決め打ち的にやるしかない
適用分野ごとに使う記号を差し替えるライブラリを作れる証明系もあるが保守性が低くなる割にメリットはほとんどない

集合論の人は含意を⊃で表すのを好むが
計算論の人たちはそうではない
困った事にこの二つの分野はゲーテルの予言通りかなり接近してきている

多分こんな感じ？
Φ(ζ(-1))∈{2π,2π+(π/6)i}

笹川朝鮮財団の方から来た偽学者w

AIでええんとちゃう？

a+b=c、gcd(a,b)=1 のとき

素因数の積 rad(abc) は
→ cに対して「異常なスケール差」を作れない

正確には

任意の ε>0 に対して

rad(abc)≫c1/(1+ε)という制約がかかる

スーパーコンピューターで２０００通り試してその割合で大体あってるっていう統計学的な解決案で大体合ってるやろ
試行を止めずに２兆通り、2亥通りとかやれば９９．９９９９…％正しい答えが出るだろ

無限大と比較すれば2亥通りどころかグラハム数通りでさえ無視できる小ささ
99.9999…%じゃダメなんですか？
はい、ダメなんです

LEANの前にリファレンスになるIUTは実在すんの？
なんか昔は何年もかけて誤字脱字数式ミスの改訂繰り返してたけど
もう飽きてんだろ？

あんな状態でLEANの持ち込めるリファレンスがあるわけねーじゃんw
そもそもw

カドカワ金無くなってきたんか？
朝鮮麻生笹川ザマw

京大の研究所は２０２６年度からは紙に印刷された雑誌の製造と配付を辞めるらしい。
世界中からダウンロードされたりミラーリングして保存しておかないと、戦争や大災害
などあれば、学術研究の成果の記録はデジタルデータだけだと風と共に去りぬになって
しまうかもしれない。

これ読んだらもう人間の脳ミソじゃ無理みたいやね
ttps://note.com/cool_chives7783/n/n0b48a6daa3fe

>>148
Geminiの発現はでたらめだって、隣の空き地にいる野良猫が言ってたよ

>>147
データはやっぱ消えるの早いと思う
紙にしとけよな
選抜してな

>>148
geminiほんとバカだからな
バカに合わせてくる

>>147
電磁パルス（EMP）攻撃とか受けたらデジタルデータは大丈夫なのだろうか?

笹川朝鮮財団とエプスタインと統一教会とアーベル賞

とドワンゴ

ギャハハ
IUTのバック死にそうじゃんw

KADOKAWAのCEO・夏野剛さん、筆頭株主に133ページに及ぶ資料の中でボロカスに批判され、解任要求されてしまう [594040874]
https://greta.5ch.io/test/read.cgi/poverty/1779497010/

人にわからん証明したって意味はないわな
まぁ単なるホラだと思うが

しばらく黙って見とくかな
いつ頃からネットで工作し始めるんだろうな
創価ドワンゴのボンクラデブは

IUT派チョンカスはチョンカスPOPOPOとか使ってんの？w

この加藤とかいう人の本読んだけど
本人分かってないんだろうな
というのがヒシヒシと伝わってきたよ

｢クライシスアクター｣｢宮本晴代｣｢豊島保養所｣｢ケムトレイル｣｢マグナBSP｣｢アドレノクロム｣←画像検索＆拡散！！
｢ムサシ　不正選挙｣←要検索！！！ちなみにアメリカは「ドミニオン」な

インドの対日レアアース輸出禁止・インドの航空機事故・インドの新幹線導入はリンクしています。
爬虫類（レプティリアン/DS）金融ヤクザ天〇財閥・tsmc浙江財閥等の中華系爬虫類組織、CSIS、CeyeA等のアメリカ系爬虫類組織をぶっ潰しましょう。

イラン国内のモサド工作員　≒　イラン在住のレプ
レプ（DS）の地下施設に突撃！！！！

www.youtube.com/watch?v=UzEhzJw69KM　www.youtube.com/watch?v=fsG76Mo5ZTs
www.youtube.com/watch?v=V1SXb3tIk8U　www.youtube.com/watch?v=fa8ZfKL7TZ4
www.youtube.com/watch?v=EuQWR0cl7es　www.youtube.com/watch?v=daApYtbhUbQ
www.youtube.com/watch?v=83ZMb2vK_dI　www.youtube.com/watch?v=DlIqow9MnxQ
www.youtube.com/watch?v=ETlSW0OiB5U　www.youtube.com/watch?v=xfW4ha_Bfrs
www.youtube.com/watch?v=HBL5oidtCpw　www.youtube.com/watch?v=R6FLwGhZ4xY

あなたの周りにも存在し、自分たちの種族に敵対的な存在に対して集団ストーカー等を仕掛ける痛い下等種族です。

ユダヤ系住民がタムラへの攻撃を喜び、「村が燃えますように」と叫ぶ様子
↑人間同士の対立を煽るこいつがレプやでーーーー
神道仏教ユダヤ教イスラム教ヒンズー教キリスト教イエズス会み〜んなレプ教やーーーーーーー

要するに、形式化に手こずってるって事？

いや証明が間違ってたからグズグズしてるだけ
形式化なんてあそこまでヒューマンリソース注ぎ込んだらもう終わってるって

LEANは過去の数学に基づいて作られた検証ツール
LEANの枠組みを超えるような新数学理論だってあり得るだろう
それが画期的で新しい物であればあるほど

IUTはそういうものではないんだよ
望月も頭の切り替えが必要なだけで簡単だと言ってるだろ

>>163
ゲラゲラ
ほんとバカチョンの言い訳は終わってるわ

どっかで見た手口

33 名無しさん＠実況は禁止ですよ 警備員[Lv.3] (ﾜｯﾁｮｲ 1347-h4v0) 2026/05/27(水) 15:02:09.76 ID:KVhGBc830
今日Xのタイムラインでやたらとニコニコ動画を褒めまくってる（よいしょ）ポストが流れてるんだけど、ニコニコを褒め称えるバイトでもあるのかな
今までの運営を全然しらない人がポストしてるようなのばっかり
https://egg.5ch.io/test/read.cgi/streaming/1779421814/33

40 名無しさん＠実況は禁止ですよ 警備員[Lv.0][新芽] (ﾜｯﾁｮｲ ab0c-S3fo) 2026/05/28(木) 14:05:00.35 ID:w+lIvLur0
>>33
まじなんなんだろうなあれ、最近流れてきてきっしょいわ
だれか言ってやれよ、糞運営は相変わらずだと
https://egg.5ch.io/test/read.cgi/streaming/1779421814/40

>>163
数学基礎論を余り分かってないのでは
数学の理論は
1.推論規則
2.公理的集合論
3.対象とする分野の公理
から成り立っている
IUTは二階述語論理+ZFCAに収まることは一連の報道で明らかで
1と2に関して新しいことは必要としてない
だからLeanで記述出来ることは明らか

なお2に関してはいろいろ選択肢がないわけではない
1に関しても選択肢はある

一般的に言ってどんな新しい数論の理論でも
ZFCAの範囲に収まってしまう
それくらい人間が関心のある公理系は非常に狭い
公理系を記述する言語が生成する公理系群全体に比べると

朝鮮人「一連の報道から明らか」
朝鮮人「Leanで記述できることは明らか」



キチガイ朝鮮人妄想w

報道ww

xyz予想の方もどうかよろしく

阿部氏巨人監督止そう問題

select
count(*),
a, b, c,
rad(abc) as d
from universe
where
a + b = c
and
c > d^(1+ε)
and
ε > 0;

同じ系統のドワンゴ国産LLMのオッサンもいい感じに仕上がってきたなw
訴訟がどうの喚き始めたw

5chには理解者が多数いるのになんで世界の名だたる数学者は理解できないんだ…

https://sites.google.com/view/workshop-on-algebraic-pi1-2026/
ZMCやRIMSの人も出るのね

しかし何も聞こえてこないなあ

角川歴彦（ＫＡＤＯＫＡＷＡ元会長）、夏野剛を提訴wwwwwwwwwwwwwwwwwwwwwwwww [398059782]
https://greta.5ch.io/test/read.cgi/poverty/1781578379/

>>174
来来週始め開始だから10日切ったね
>>33
>7月17日に中間報告会を開き、研究成果などを公表する考えだ。

これも1月切った
2年やってまだ中間報告か

数学の人間が書いた普通の論文を、AIの力によってLeanで記述させれば、証明の検証が機械的にできたりはせんのか？

>>177
形式化が難しい
ギャップがあるから
つまり理論が間違ってるから出来ないだろうね

数学に親しんでないと
形式化が済んで形式推論で真偽をはっきりさせると
正しいか間違ってるか分かるだろと思うだろう

けどその必ず真偽が分かるというのは完全性と言って
ゲーデルが数論を含めば数学理論は完全性を持たないと証明している
つまりそうはならない
要するに>>81

Fumiharu Kato 加藤文元（Bungen）
@FumiharuKato 20時間
Hodge-Arakelov理論の大域化によってabc予想が解けるかもしれないという病気にかかった人が、数学史上2人だけいた。1人はMochizukiで、もう1人がKimだ。

Fumiharu Kato 加藤文元（Bungen）
@FumiharuKato 20時間
昨日までエディンバラにいた。欧州は記録的熱波ということでエディンバラもスコットランドらしからぬ焼け付くような晴天だったが風は冷たく過ごしやすかった。Minhyong Kimの家でいろいろお話しした。私は何と戦っているのか、途中でわからなくなっていたが、最後にはまたわかって帰国した。

>>179
RIMS外のIUT擁護者たちに証明にギャップがあるという結論について意見交換して
最終的に同意しなかったのが望月と金だということなんだろうな
違うの？

メイドさん ご苦労さん