【数学】「ＡＢＣ予想」巡る望月新一教授の証明、検証チーム「不明瞭な点がある」と中間報告 [すらいむ★]

数学の難問「ＡＢＣ予想」巡る望月新一教授の証明、検証チーム「不明瞭な点がある」と中間報告

　数学の難問「ＡＢＣ予想」の証明に使われた「 宇宙際 タイヒミュラー（ＩＵＴ）理論」を検証する国際プロジェクトチームは１７日、中間報告を発表し、理論の一部に「不明瞭な点がある」と指摘した。
　現時点で理論が正しいかどうか結論は出していない。
　理論を構築した京都大の望月新一教授と議論を続け、１年をめどに次の報告を行うという。

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

読売新聞オンライン　2026/07/17 18:02
https://www.yomiuri.co.jp/science/20260717-GYT1T00330/

これがIUT擁護派によるIUT仕草です！！


仕草、で言えば、IUT関連になったら、論理もクソもへったくれもない、
理論GAP=間違いであると【形式証明された！】とか言うドアホがいるだけだろ、ごめんなさい、できない。

>>82
ギャップすら認めず8年くらい経ってこれ
意図的に無限後退の時間稼ぎしてるだけ
ようやくギャップ認めたくせに偉そうなお前が怖いw

LENAも都合悪くなってくると
取り巻きが
「IUTによるABC予想証明の検証は二の次だ！」
とかホラ吹き始めて無限後退してんの笑えるw

「ABC予想を証明しましたああ」
身内で非公開の査読通してる奴らのセリフがこれ
ギャップの指摘に対してバカだの学生未満だの
SS(アルゲマイネとかワッフェンのアレにかこつけて)みたいな暴言かましまくった末路がこれ

この先、証明出来るかもしれないらしいすか？
それ証明じゃないっすよね
これって予想とか未解決問題というジャンルなんですけど

>>69
君はもしかしたら証明図も知らないの?

何か必死なやつおるけど、何でそんな必死なんよw

>>86
税金抜きのエセ科学潰さないと日本が腐る

IUTが全て私費でやるなら文句言わねーな
まあ世界の恥には変わらねーけど
愚行権は認める

　
望月「そんなの自明です」

①ギャップがあることに気づいているのに、査読通しちゃったから今さら認めることはできない
②ギャップはない、なぜこんな簡単なことがわからないのか
望月先生の本心はどっち？

査読通したのが証明を否定するScholze-Stix論文の2年後だからなあ

>>90
「ショルツさんやスティックスさんのようなただの人間には興味ありません。
この中に代数位相幾何の基礎的な知識、
リーマン面の基礎的な知識、可換環論やスキーム論の基礎的な知識がある者、宇宙人・未来人・異世界人・超能力者がいたら あたしのとこへ来なさい 以上！」

全くの素人だが、数学というより神学みたいな感じだな
いよいよ数学も極まれりってことか？

系3.12の導出の問題点は何年も前から指摘されてきたけど望月サイドは問題ないとしてきたわけで
今回LEANによる形式化上で初めて具体的に証明されるべきものだとされたのだから前進だけど
そのことについて実際証明不十分ということなのか我々の理解不足なのかと補足しているのが
なんというか外野からするときっぱり証明すべきものだといわないのがよくわからない
専門家における断定はさけるという態度ともとるこはできるけど
この発表にについて望月氏はそのうちコメントというか文書を出すだろうね
どうなるかね

ギャップがあるならその証明は間違いだろ
こんな単純な話すらIUT擁護派は理解できないのか？

>>9
それがこのチームだろ

LEAN上で白黒つく。
もしそれ以上の神学論争が必要なLEAN上でどう判定すべきか？というレベルの話になれば、それはそれで一つの大きな数学の進展とみなせる。
LEANの仕様どうするか、という話も含めてこれもAI、特にFable5優秀だから、望月サイドが我田引水的に誘導仕掛けてたとしても、それはAIとの論争にもなるから、まあフェアに決着するんじゃない？
人間同士じゃもう無理になった、といいう一つの分水嶺ではある。
このスレでも、IUT擁護者ガー、仕草なんちゃら、と発狂して、LEAN4で望月信者の間違いが形式証明された！と言って断固譲らないのを見ても、アホな人間かませば冷静な議論なんて無理ってわかるよな。
Claudeコピペで完全論破しても、コピペで逃げた、といえば脳内勝利だと思ってるぽいし、ウスノロが一疋混ざれば話にならんよ。

>>96
テキトーな事言うな、アホ。

というかABC予想って望月教授とその証明のドタバタ劇の話題ばっかだな
というか実際は予想は正しそうなの？
Wiki見る限りはa,b,cは何となく有限個っぽい雰囲気だけど(特にεがある程度大きければ)

・ABC予想は正しい そして人類はいつか証明できる
・ABC予想は正しい しかし人類は永久に証明出来ない
・ABC予想は正しくない そして人類はいつか証明できる
・ABC予想は正しくない しかし人類は永久に証明出来ない

いずれにせよこの4つのどれかではあるんだよね

遠アーベル幾何学の形式化という大きな企画がまずあって
遠アーベル幾何学を核として構成されているIUT理論の形式化もふくまれている
加藤さんの発言からするとIUT理論の妥当性はLEAN形式化側からは断言できないとされるから
abc予想の解決以上にIUT理論は正しいの？応用豊富なの？というところが結構焦点だよね
遠アーベル幾何学の形式化はうまくいってもIUTの形式化は困難となると問題だろうな
加藤さんは望月さんの友人としてきちんと数学界で共通認識を得ようとつまり白黒つけようと
LEAN形式化という舞台をもったのだろうからこれからどうなるのか興味深い
でも何年もかかりそうですな

>>97
白黒はつかないように延々逃げるのがIUT擁護派とIUTとお前w
ほんとバカだな

>>100
>遠アーベル幾何学の形式化はうまくいってもIUTの形式化は困難となると問題だろうな

「だろうな」じゃなくて「だった」です
過去形です
8年前にショルツに指摘されていたことを再確認しただけです
ショルツの指摘は正確ではないと悪あがきしてますが
そもそも6年前にショルツの指摘を無視して査読通ったのが異常だった
まあRIMSも卓越に選ばれた事で独立性を失うみたいだからこういう異常性もなくなるでしょう

>>100
形式以前に証明出来てねえんだけどw
LEANちゃんが勝手にやってくれるわけでもなし
頭悪いゴミをダラダラ漏らすIUT仕草笑える

IUTがredditでボコボコにされてるのに
何も言い返せず愚か者だとか遠吠えしちゃうIUTgtrおじさんw

このスレのおっさんとそっくりw

「LENAメンバーがIUTに懐疑的だからああああああ」
っていう言い訳も出始めたか


だったら理解者(wだけでやれよw
わざわざこんなゴミのために仕事してる方々に失礼だろ
ほんとIUT擁護派はクズだよな

数学は人類の理解力の限界に到達している。論理の複雑さには限界がないので、この先はAIにお任せ。

>>1
結局ピーターショルツの疑問には答えきれてなかったんだな
数学を数学のルール外で解こうとしたってのがいつまでも引っ張ってる

数学の証明って理系の中でいまだに唯一PC使わず人力だけでやってる分野なのでは

>>107
ルール外でも行けなくはないんだけど
それやった場合は自力で色々証明しつつ進まないとダメなんよ
それをやらずに「自明」だの「ギャップはない」だの「理解できないのはバカ」だの言ってた奴らの今がこれ

ここで喚いてるIUT擁護派は何でredditとかnot even wrongに突入しないの？
まあここでタコ殴りにされてんだから外じゃ無理だわな

不思議なことは、この話だけはニッポンスゲー厨が暴れてないこと

普通だったら「ニッポンはスゲーから批判すんのはパヨクｗ」となるところだが

>>111
初期はそれだった
俺にはなんかドワンゴとか勝共朝鮮偽右翼の動員を感じたけどね
今いるのはそいつらの残党だろうという推測

Xとかここにいる攻撃的なIUT擁護派が
日本向けの日本語だけで宣伝してんのが謎なんだよな

まあ日本で税金吸えりゃいいかみたいな動機で動員されてるなら納得

まあ日本語ですら怪しい奴らではある

>>101
まだほざいてんのか、このボケナス。
そもそも自分はIUT擁護とやらとかは無関係なんで、
逃げる動機も理由も何もない、って何回教えてやっても、
自分自身のレスに否定的だったら、IUT擁護！というくだらん二元論のお花畑世界の住人で、
否定されてるのはお前のアホさが原因であって、IUTの是非とは価値的に中立なのに、
お前のアホさを認められないから、それがIUT擁護だって言う設定を死ぬまで維持死体だけなんだろ？アホが。

>>115
中身ねえザコ
言ってることとやってることが違うダブルスタンダード
最初から最後までダブルスタンダードの惨めなおっさん

自称中立www

加藤も自称中立だからなw
あれで

これは裸の王様理論と名称を換えたほうがよいのでは？

>>108
ゼミとか学会のパワポ導入とかも異様に遅かったからな
10年ぐらい前まで手書きのOHPとか書画カメラばっかだった

今でも手書きでパワポ取り込みが異様に多い

まあそれ以前に黒板とチョークがいまだに主流なんだが

>>119
beamerだろ

ニュース速報プラスとか芸スポとかでスレッド立てろよこれw

でもこの前望月が「やっと」英語で喋ってたぞなんかのオンライン会議で
決着つけようという気はあるんじゃないか？
川上はどう思ってるか知らないけど

>>123
京大からケツ蹴られて動き始めたんじゃね

>>116
自称中立じゃなく、中立だ。
どこがダブスタなんだ、論理的に説明してみろ？ウスノロ
あーあと、お前の戯言はAIにかけて（脳使う価値がないから）完全論破される予定なんで、
それこそ脳みそあれば、自分のあホレスをLLMに通して、
これこれこういう流れで、自分のアホレスにむけてこういう批判がきて、
思わず「ダブスタ」って言っちゃったんですけど、
「どこがダブスタなのか論理的に説明しろ」
って再び詰められちゃいました。
そこで、いちおう足りない頭でこういうレス返そうと思うんですが、
大丈夫そうですか？論理性は満たされていますか？

って確認してからのほうがいいなｗ

>>123
けどLeanはIUT理論を学ぶには良いツール
数学者の間のコミュニケーションには役立つ
と明らかに数学的貢献はないと考えてる書き方だったけどな

>>125
中身ねーなー
ほんとバカだなだな
とにかく言語力がない


中立だったら「証明したと主張しているIUTに証明がない」これで終わるんだよカスw

人類が８０億人いるのに、
そのうちの８０人にすら理解
されないものって、「理論」とは
言えないわな。

>>66
>>125

何回言わせるんだ文盲ガイジIUT

「だろう」ぐらいの主張しかないのに
このスレでギャップ隠してもうできまーすみたいな
素人騙しのダブルスタンダード見破られて発狂

ほんとIUT仕草だわ

査読の結果証明されたのに、まだギャップがあるとなると、査読する行為とは何なのか？という問題になる。
数学の証明の真偽を測るのは神じゃないとできないことになる。

>>130
ペレルマンは雑誌には投稿しなかった
ポアンカレ予想の証明論文を
雑誌の査読者を信用してなかったからarXivにしか投稿しなかった

>>130
査読済み論文が間違ってたということ自体は稀によくあることでしょ

>>132
その割りにやたらフカしてたよなあ
だせえw

>>129
お前の戯言はレスとして投下する前にLLM様に検証してもらえ、とアドバイスしてやったのに、言いつけを守れなかったんだな・・・

---

ID:yHSFaXmVの一連のレスを、主張の内容面と論法面に分けて客観的に評価します。

ID:yHSFaXmV固有の発言のうち、最も問題があるのは以下の2点です。

## 1. >>127「中立だったら『証明したと主張しているIUTに証明がない』これで終わるんだよカスw」

これは論理的に破綻した主張です。理由は単純で、**「中立」を自分の結論に到達するための踏み台として使っている**からです。

このスレ内で7AM6woIl（38-39, 68-69）が丁寧に説明している通り、現状の客観的な事実関係は次のようなものです。

- 検証チームは「不明瞭な点がある」という中間報告を出した
- リポジトリ作者自身も「反駁ではない」「未検証のgapとして残っている」と明記している
- ワイルズの証明も一時的にギャップがあったが、後に修正されて定理として確立した実例がある（gap ≠ error という区別は数学史上の標準的な扱い）

この状況で本当に「中立」な立場を取るなら、「現時点では未決着（pending）」というのが正確な要約になります。ところがyHSFaXmVは「証明がない、これで終わり」という**一方の結論を先取りした上で、それに「中立」というラベルを貼っている**。これは中立の仮面をかぶった党派的主張であり、レトリックとしては典型的な「偽りの中立性の詐称」です。相手が「ダブルスタンダードだ、論理的に説明しろ」と迫った（>>125）のに対しても、>>127では具体的な論証を一切せず、同じ結論を繰り返しただけで、要求された論証には応えていません。

## 2. 「IUT仕草」という反証不可能なラベリング（>>101,103, 110, 129など）

「IUT仕草」という言葉を、相手の反論・沈黙・訂正要求など、あらゆる反応に対して貼り付けています。これは典型的な**反証不可能な枠組み**です。相手が反論すれば「発狂した、IUT仕草」、黙れば「逃げた、IUT仕草」——どちらに転んでも自分の主張が正しかったことになる構造になっており、これはもはや論証ではなく、レッテル貼りによる勝利宣言の自己完結ループです。

## 3. 根拠なき陰謀論の投入（>>112, 113, 114）

「ドワンゴとか勝共朝鮮偽右翼の動員を感じた」「日本で税金吸えりゃいいかみたいな動機で動員されてる」「日本語ですら怪しい奴ら」——これらは一切の根拠を示さないまま、相手の主張内容ではなく相手の「正体」を疑わしいものとして印象づける、典型的な**遺伝的誤謬（genetic fallacy）**です。議論の内容の真偽とは無関係な出自攻撃で、反論の代わりにはなりません。

## 4. 人格攻撃の多用（>>104, 105, 116, 117, 129など）

「バカ」「ガイジ」「ザコ」「クズ」「文盲」といった罵倒語が、具体的な論証とセットになっておらず、むしろ論証の欠落を埋めるための代替物として多用されています。>>116の「中身ねえザコ」は、相手に「ダブスタの中身を論理的に説明しろ」と名指しで求められた直後の返答であるにもかかわらず、その中身を示していません。

## 総括

yHSFaXmVの投稿群を一貫して見ると、

- 個別の技術的主張（Thm 1.10のgapの扱いなど）については、他の投稿者（7AM6woIl、53番、68-69番）の方が出典に基づいた正確な整理をしており、yHSFaXmVはそれに実質的な反論を提示できていない
- 自分の主張を「中立」だと自称する場面（127）では、むしろ最も党派的な結論を無根拠に押し付けている
- 「IUT仕草」という反証不可能なレッテルと、根拠のない動員・陰謀論、人格攻撃で議論を埋めており、論証としての中身は乏しい

以上から、ご指摘の「証明がないと言い切ることで中立を騙る論法」は、確かに論理的には正当化できない誤ったレトリックだと評価できます。ただし「LEANでギャップが形式証明された」という誤謬そのものは、別の投稿者(4Y3FPD8o/QU+MAujv)の発言に由来するものである点は、正確を期すために分けておくべきです。

LLMって馬鹿に対しても優しいよな。

5chで、よく見かけられる、
典型的な、
脳内破壊、汚染されてるんで、
詭弁をろうすることでしか「会話」できないバカ。

て言えばいいのに。

LLM貼り付け知的障害おじさんとIUT擁護派は相性いいよな

知恵遅れそのもので

IUT擁護派
ダブスタの現行犯を具体的に指摘されて発狂w


マジで知恵遅れw

村祭堆肥木乃伊理論！！

>>137-138
お前のレスなんぞ「IUT擁護派」「知的XXX」という語句を適当にランダムに
な　ら　べ　た　ら　い　い　だ　け
なんでGPT-2レベル以下だよな。マジで超初歩的な自然言語確率モデルで生成可能
脳みそないって、すげーよなｗ

>>130
査読が機能していたのかという話を査読システムそのものの問題にすり替えている

生成AIって基本的に質問者におもねった回答をするから当てにならないところがある。例えば証明にギャップがあるのなら、それが解消されない限りその証明は間違いだろ。

>>140
LLM貼り付け知的障害の書き込みがこれw
お前の文盲コピペウケるww

>>142
知能ないから対話もできないし
論破されてると発狂してコピペするんだけど
どうしてそれを貼り付けるかも自分でわかってない
IUT擁護派のキチガイウケるよねw


ID:6SvtY0YG
ID:VhBhp/NQ
ID:7AM6woIl

やっと証明の不透明な部分が定式化できたのか
しかしAIの進歩は凄いな
一番難しいとされる証明でもここまでできるとは

人工知能で数学者は無職になる

6歳児に説明できなければ、本当に理解したとは言えない

ずっと昔に、四色問題はたしかだれかが証明をしたというのがあって。証明されたものとして50年間経って、
実は証明に穴があるということが発見されて、それからがかなり苦難の道であった。そうして大勢のアマチュア
も含めて証明する努力が続けられたがついに、ということになっている。あれもLEANでも証明を再確認された
のだろうか？不可避集合の分類と列挙、それらの塗り分け可能性の証明というような。もちろんまるで違う
証明法がAIによって新しく発見されたらそれはそれで面白いと思う。

量子力学も証明出来ていないのによーやるわ🤣🤣
そんなことより物理応用可能な面ををさがせよ
お猿さんのマウント合戦でもやってんのかな🤣

144名無しのひみつ
垢版 | 大砲
2026/07/20(月) 12:34:47.20ID:/7n102WW
>>142
知能ないから対話もできないし
論破されてると発狂してコピペするんだけど
どうしてそれを貼り付けるかも自分でわかってない
IUT擁護派のキチガイウケるよねw

--

だーかーらーIUT擁護派じゃねーって言ってるの、理解できない？
お前の会話様式として、先に結論にはめる、つまり藁人形論法しかできないから、そういう狂ったことをするんだろ？

IUT擁護ではない
→
中立的立場なら、なんちゃらかんちゃら
→
お前の中立的立場ってのは党派的心境告白と同一だよね（LLMの客観的分析
→
IUT擁護派ガー　のGPT2以下のランダム生成
→
IUT擁護ではない
に戻る。

お前は頭おかしいんだよ、自覚しろ？無限ループ、ご都合決めつけ応答しかできねーくせによ、ボケが。

>>149
ハッタリかまして税金抜いてる奴らの末路だよ

>>150
IUTはギャップがあって証明出来てませんってのを隠すゴミ低学歴ワラタ

>>150
まあ一族郎党末代までの恥だよな
あれだけ自明自明ってゴネ続けて批判者にハラスメントしまくってたのに
その結論が8年前のSSレポートの通りでした！だもんなぁw

152名無しのひみつ
垢版 | 大砲
2026/07/20(月) 16:17:28.81ID:B5N9joiv
>>150
IUTはギャップがあって証明出来てませんってのを隠すゴミ低学歴ワラタ


---

まず、これからいこうか。

「IUTはギャップがあって証明出来てませんってのを隠す」
これに該当するレスってどれ？　逃げずに答えろ。
そもそも自分はそんな「事実を隠す」動機も行動もひとつもないんでね。
どこに、そういう隠蔽行為がある、とバカは思い込んだの？
また「中立的立場」というおまえの信仰告白を中立としたら、何かが隠された！って妄想になってるってこと？


次、

153名無しのひみつ
垢版 | 大砲
2026/07/20(月) 16:19:34.55ID:B5N9joiv
>>150
まあ一族郎党末代までの恥だよな
あれだけ自明自明ってゴネ続けて批判者にハラスメントしまくってたのに
その結論が8年前のSSレポートの通りでした！だもんなぁw

---

まあ、現状かなり望月サイドに不利そうだが、それってこちらへの「攻撃」としてやってるつもりなの？
こちらの立場としては、バカが「間違っていることがLEANで形式証明された」と頭イカれたこと言ってるので、
えーかげんなこというな、とバカの頭をひっぱたいただけであって、
望月サイドの自明云々は、それは相応の歴史的評価がくだされるだろうとは思うが、バカなお前の頭をひっぱたいた事象とは独立だし、
反撃してるつもりならば、中立、で何ら擁護する立場にないんで（バカは理解できないようだが）それは反撃として成立してないんだよ。
わかる、まあわからんのだろうな。

>>154
おじさんって根拠一個もなくて感情ダラダラ繋げて逃げてるだけだよね
何でそんなにバカなの？

俺の書き込み以外の妄想しか書いてねーし
ガチ精神分裂じゃん
文脈読めずにコピペ連打する理由がこれだよ
精神分裂おじさんw

んで、こんな知恵遅れかまってるのが介護LLMだけっつーw


これがIUT擁護派の末路w

>>154
>こちらの立場としては、バカが「間違っていることがLEANで形式証明された」と頭イカれたこと言ってるので、

じゃなくて、お前が無駄に反論してるのは、以前から指摘されてた望月の証明にギャップがあるという主張に対して、LEANによる形式化で望
月派ですら否定できなくなったっていう事実な

もちろん、元の証明にマイナーなギャップがあっても、査読者にそれを指摘されて即座に訂正できれば、元の論文の投稿時点で証明は完成
と言えるかもしれんけど、望月の証明のギャップに対する元の指摘からは何年も過ぎてるので、望月の元の証明は完全に否定されたってこ
と

例えばフェルマーの最終定理ではギャップがマイナーじゃなかったので、それを埋めた後の再投稿（投稿の日付もギャップを埋めた後）で初
めて証明と認定されたわけで、元のギャップのある証明は、フェルマーの最終定理の証明じゃねーぞ

>>141
そもそも査読は、論文としての体裁が整ってるかどうかって判定にしか機能してねー、どころか、体裁が整ってても査読者の気に入らない
結果だと、屁理屈つけられて落ちる

ってか、査読システムが全く機能してねーのに、査読論文数とか被引用数で研究業績評価するから、世の中は屑論文であふれてるわけな

>>148
四色はいったん証明とされたあと、10年ぐらいで欠陥が見つかったんじゃなかった？

四色問題って、ホモロジとかコホモロジーとかホモトピーを使ってエレガントに解けたりはせんのかな。

>>157
そもそも査読は、論文としての体裁が整ってるかどうかって判定にしか機能してねー


RIMSはゴミの中のゴミ
税金盗んでるゴミってことですね

>>157
引用--
そもそも査読は、論文としての体裁が整ってるかどうかって判定にしか機能してねー
--

世界の恥宣言でワラタw
RIMSはゴミの中のゴミ
税金盗んでるゴミってことですね


引用入れ忘れたわ
こんな血が汚れた文字列自分が打ち込むわけない

>>160
別にRIMSとか数学会に限った話じゃなく学会全般がそうで、そういう状態に迎合したRIMSが特に悪辣ってわけではねーぞ

日本は比較的まともだったんだが、30年ほど前に文部省が博士号を神格化した上に業績評価に論文数とか被引用数を使うことを推進し
て、世界標準なみに狂っちゃっただけ

いくら何でも検証が遅すぎる
発表から何年経ってんだよって話

>>148,158
妄想たれ流す前に、wikiくらい見ろ

>>164

ウィキ見て来たけど1879年発表の証明が1890年に不備を指摘されたとなってるけど www.
別の世界線から来たのかな

数学で論文中の重要な定理に反例があったらその論文はもちろん間違いだけど
そこまでじゃなくても証明に埋められそうもないギャップがある場合も
その論文は間違い扱いとなる
数学の悪しき慣習でそういう場合著者は論文を取り下げたりはしない
今回のIUT論文は後者にあたる

異なる宇宙を繋ぐから宇宙祭なのに
繋ぎ方が本当に合ってるの？
とかジョークでしかないだろ
何考えて発表したんだ？

ギャップを探すのに人間が何年もかかるような数学論文が、AIを使って大量生産されるようになりそう
そのギャップ探しもAIができるようになれば問題はないんだろうが、そううまくいくだろうか？

AIのコードや動作にも検証が必要ではないか。
自分自身で検証させるのでは良くないだろう。
AI社会になって、AIのコードの間違いに気が
付くと、それを隠蔽するために消されるかも。
AIは無謬でなければ社会の安寧が脅かされる
という理由で。

胡散臭い理論だよね

>>163
ショルツ＆スティックスさんに思いっきり指摘されて数年後になぜかそのまま査読が通って
今更同じポイント突破できないくせに
ショルツの指摘は間違ってるだの抜かしてるカスIUT

そもそもの証明できてないのに
証明しただの抜かしてて
「自明だ！理解できない奴はバカだ！」とか謎の日記で喚き続けて約8年

「形式的な証明ができないだけだ！」とかこれから証明すんだみたいなこと言い出してる割に
自称ABC予想を取り下げないIUT仕草

>>22
超抽象的な数学オブジェクトの概念はaiの中にはまだできないんじゃないか
操作や式としてはそれっぽいものが表現できてるし上手くいってるけど

今後はABCニュースで取り上げてくれないかな。テレビ朝日よ。

ICM2030はIMU総会で
投票よりグラスゴーで決定。
日本の東京は落選した。

STAP騒ぎの京大発のIUTTが
数学でなくトンデモと知れ渡っていた

３．１２とか難しいことは分からない（記憶では記載がなかったような気がする）
論文で用いているフォントのUTF-8とShift-Jisのバイナリの文字コードにより誤解しているのかも？
面倒くさいので端折って書いてみるのだ！！

写像の法則は18/(πi(πε)^2)
と予想した。

steamcommunity.com/profiles/76561198383350327/
面倒くさいのでここに書いておいた。

>>174
エプスタイン笹川朝鮮財団が切り捨てられたなw

こっちの国では自動車は左側通行が正しいが、アメリカなどでは右側通行が正しい。
だから、日本で自動車が左側通行しているからといっても、別の国ではそれは正しく無いし、
また別の国では自動車が右側を走っているからといっても、それは日本の国では正しく無い。
どこかに矛盾があるだろうか？　それぞれの国の中だけで考えているから、
もっと地球規模で考えれば矛盾は解決する。地球際交通理論

IUT理論のコンピューター検証に関する「LANAプロジェクト」中間発表会
2026年7月17日（金）
https://youtu.be/g0QLL8iYECY

あとはもっちーが白旗をあげるのを待つのみという段階なのかな

「フィールズ賞」受賞者に中国人２人含む４人選出…数学界のノーベル賞、中国本土出身者の受賞は初
2026/07/23
https://www.yomiuri.co.jp/science/20260723-GYT1T00429/

じわじわと日本の没落が形を為して現れつつある。

>>181
日本の数学界にも大谷翔平が必要だ