Inter-universal geometryとABC予想(シン応援スレ) 93

前スレ：Inter-universal geometryとABC予想(シン応援スレ) 92
https://rio2016.5ch.io/test/read.cgi/math/1781308317/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13

https://ahgt.math.cnrs.fr/activities/
Arithmetic & Homotopic Galois Theory IRN

https://rio2016.5ch.io/test/read.cgi/math/1781308317/246
「LANAプロジェクト」中間発表会 動画 「LANAプロジェクト」中間発表会
結論は、7月17日時点では、未決着（灰色）
キラン・ケドラヤ氏説明は、コンピューター検証 は 未達成だが、IUTがダメということも言えない
ということだったな
（下記の YouTube（日本語チャンネル））
https://youtu.be/g0QLL8iYECY?t=590
UT理論のコンピューター検証に関する「LANAプロジェクト」中間発表会
ZEN大学
1,504回視聴 7 時間前にライブ配信
ZEN大学「ZMC（ZEN Mathematic Center;ZEN数学センター）」は2026年7月17日（金）、IUT（宇宙際タイヒミューラー）理論のコンピュータ検証に関する「LANAプロジェクト」の中間発表会「LANA Project Interim Report 2026」を行います。
本発表会の模様をライブ配信いたします。
LANAプロジェクトはZEN大学（日本）、ユトレヒト大学（オランダ）、アルバータ大学（カナダ）を中心とする国際共同研究プロジェクトであり、数論幾何学の重要分野である遠アーベル幾何学の形式化と、京都大学数理解析研究所の望月新一教授が提唱したIUT理論の検証を主な目的としています。
【登壇者】
若山 正人（ZEN大学 学長）
加藤文元（ZEN大学教授・ZMC所長、LANAプロジェクト リーダー）
ヨハン・コメリン/Johan Commelin（ユトレヒト大学助教）
キラン・ケドラヤ/Kiran Kedlaya（カリフォルニア大学サンディエゴ校 教授）
アダム・トパーズ/Adam Topaz（アルバータ大学 准教授）

❙ ZMC（ZEN Mathematics Center; ZEN数学センター）とは
ZMCは、数論幾何学を中心とした現代数学や、コンピューター言語を用いた現代数学の形式化（formalization）の推進と発展を目指して設立された国際研究所です。
ZMCホームページ▶https://zen.ac.jp/zmc

https://zen.ac.jp/news/zmc0717
ZEN大学 2026/07/03
プレスリリース
IUT理論のコンピューター検証に関する 「LANAプロジェクト」
中間発表会を7月17日（金）に開催
YouTube、ニコニコ生放送にてライブ配信
番組配信：
YouTube　（日本語チャンネル）：https://www.youtube.com/live/g0QLL8iYECY
YouTube　（英語チャンネル）：　https://www.youtube.com/live/KADN5NHmIfw
ニコニコ生放送（日本語のみ）：　https://live.nicovideo.jp/watch/lv350854170
つづく

>>89
いや、実際に起きること
１）100列のうち、特定の１列を残して 他の99列のしっぽを開ける
２）99列のしっぽ同値類が分かる
３）使うのはこの99列のしっぽ同値類のみなので、
　その99列のしっぽ同値類の代表を決めて
　そして99個の代表番号d1,d2,・・d99を知る
４）dm＝max(d1,d2,・・d99)を知る
５）残り１列につき dm+1から後ろの箱を開けて しっぽを知り 属する同値類を知る
６）さて、同値類の中を見ると、しっぽの一致がdm+1以前に一致が終わっている列が多数あり
　しっぽの一致がdm+1まで続いている 列もある
７）当然 しっぽの一致がdm+1まで続いている列を選べばいい
　しかし、選んだ代表の列のdm番目と 問題の１列のdm番目が一致する確率は確率理論通り！■

ちゃんと、一致する確率は確率理論の通りになりましたとさ！ｗ
目出度し目出度し！！ｗｗ

>>90
君それ全然違うことやろうとしてんだけど
>７）当然 しっぽの一致がdm+1まで続いている列を選べばいい
時枝さんの記事ちゃんと読んでないんじゃない？
同値類の代表元を「選ぶ」のは君じゃない
その代表元は選択公理によって決められている
そしてその代表元と問題の1列のdm番目が一致する確率が99/100または１ってこと
前から「同値類の確率測度が0」とか関係ないこと書いてると思ってたが
>しかし、選んだ代表の列
同値類の中から代表元を「選ぶ」話に誤読していたとは

>>90
これは君はどう思うの？
R∋x≠0に対してxと-xの書かれたカードが入った箱がある
Bはランダムに箱から1枚カードを取り出す
Aは残りのカードを取る
大きな値を引いた方が勝ち
A,Bの勝つ確率は？

>>86
あるいは代表元を「選ぶ」という用語に幻想を抱いている？
選択公理によって「選ばれる」（つまり決まっている）んだよ
選択公理とは
同値類に対して代表元を対応させる選択関数が存在するというもの
その選択関数がどんなものかは分からないが
存在するんだからそれを使って代表元が「決まる」わけ
y=f(x)
がどんなfか分からなくても
xに対してf(x)が「決まる」ように
∀f:R→R,∀x∈R:#{y:y=f(x)}=？

>>90
>３）使うのはこの99列のしっぽ同値類のみなので、
>　その99列のしっぽ同値類の代表を決めて
箱入りは選択公理を仮定しすべての類の代表を決めているからストローマン論法。おサルはそれしかできない。

時枝「設定Xから結論Yが言える。」
サル「設定Zから結論Yは言えないから時枝は間違いだあー！」←どうしようもない馬鹿

馬鹿は死ななきゃ治らない
サルはどうしようもない馬鹿なので一回死んだ方が良い

007は２度死ぬ。
100万回生きたねこ

『警察の不祥事　徹底解説シリーズ　第五弾』
　
（前回までの話）

警察とは、学生時代、あらゆる戦いに負けに負け続けたバカなクズが、行き場を無くし、最後に行き着く就職先として有名です。

しかしながら、マスコミは、警察の出す資料がスクープ記事になるので、警察がバカなクズの集団と知りつつ、彼らを賛美するドラマや映画を作り続けてきました。（社会経験のない主婦層などを洗脳するものとして、これらは機能）

2026年、岡山県警の警視が、女性記者を酔わせて、猥褻行為に及んだ事件があったように、マスコミは警察という組織に頭があがらないので、警察を原則的には賛美します。スクープ欲しさに。

警察官は、世間に周知させようとした世界観、人物像とは裏腹に、負け犬たちの集まりなので、もともと、劣等感が強く、凶暴です。そのくせ、野心だけ持っているような地元のチンピラ、ヤンキーなので、強い相手には噛み付かない一方、弱い相手には徹底的に強く出ます。

第五弾は、兵庫県警

小中学生の女児を相手にイキり散らし、政治家や暴力団相手には、仕事をするふりだけしている腐れ外道っぷりをご照覧あれ。

一、障害者施設で働いていた16歳の少女が、障害者同士の喧嘩を止めたところ、兵庫県警は止めた少女を逮捕。ショックを受けた少女は拒食症になり死亡（重度知的障害者が、嘘で彼女から暴行を受けたと被害を申告したのを信じた）。

二、小学生の女児に自白を迫り監禁する（修学旅行で女児にちんちんを触られたと嘘をついた男児の発言を本気にした兵庫県警が、女児を監禁し自白を迫り、冤罪の自白調書を取る大手柄！）

三、暴力団や政治家とは、いつも通り、仲良し。天下りなどが出来るので、パチンコもソープランドも全て放置。和歌山県警の警視は、無料でソープランドを数年間利用し、後日トラブルになり週刊誌報道されるが、内部の処分はなし。

abc予想的なものを説明してるのかと思ったらAIに作らせた間違ってる画像をこれは気にしないでくださいとか言ってる死にそうなリハッククオリティ

701 名無しさん＠恐縮です 2026/08/15(土) 13:41:31.61 ID:3cD2kfkc0
「自分が言ってることを信用してない人たちに向けて別に証明するつもりもない」みたいなことをよく言うけど、
まさに超能力者（笑）とかがよく言うセリフだなぁと思って見てる
https://hayabusa9.5ch.io/test/read.cgi/mnewsplus/1786497408/701

Joshi とjin はゴミ

あんたがたどこさ　塩さ
塩どこさ　塩粘さ
塩粘どこさ
ボンベさ　ボンベ会社にはカズアキおってさ
それを自分で開示して怒ってさ
口座さ　貯金さ　名前さ
それを弁護士でちょいと隠せ

Joshi とjin はゴミ

星裕一郎先生、がんばってください
https://www.kurims.kyoto-u.ac.jp/~yuichiro/talks.html
星裕一郎（京都大学数理解析研究所）
講演
予定

https://sites.google.com/view/rims-ant-2026/
代数的整数論とその周辺 2026,
東京大学,
2026.12.7-2026.12.11.
会場：東京大学大学院数理科学研究科 NISSAY Lecture Hall（大講義室）〒153-8914 東京都目黒区駒場3-8-1

概要：この研究集会は京都大学数理解析研究所 (RIMS) の共同研究事業の一環として開催されます．代数的整数論，岩澤理論，p進ガロア表現とp進コホモロジー， 数論的基本群，分岐理論，代数的サイクルとモチーフ，保型形式とガロア表現，多重ゼータ値，逆ガロア問題，計算機数論など，広範囲の数論をテーマとしています．

過去3年の研究集会情報はこちら：2025, 2024, 2023, 運営委員会のHP

Joshi とjin はゴミ

統一中曽根歌舞伎タワーw

math_jinさん、えらい
がんばってPRよろしくね

そもそもが、日本数学界がおりにふれて、文科省にPRすべき
日本数学会のホームページにも、Abel Prizeは ノルウェーが スウェーデンのノーベル賞を補完するものとして
1899年に構想されていたものだが、実現は2001年になった歴史があるということを記載すべき
アーベル賞受賞は、文化勲章に十分あたいするということも 記載すべきです

https://x.com/math_jin
math_jin Aug 11
#文化勲章 #文化功労者 #柏原正樹 #忘れられる数学
今年こそ、アーベル賞受賞、ICMチャーン賞受賞の柏原正樹氏に文化勲章を！
Quote
Oct 18, 2025
今年「数学のノーベル賞受賞」と話題になった柏原正樹さんですが、昨日発表の文化勲章、文化功労者には選出されませんでした。
熱狂の陰で、忘れ去られる数学
(引用終り)

https://en.wikipedia.org/wiki/Abel_Prize
Abel Prize
The Abel Prize's history dates back to 1899, when its establishment was proposed by the Norwegian mathematician Sophus Lie when he learned that Alfred Nobel's plans for annual prizes would not include a prize in mathematics. In 1902, King Oscar II of Sweden and Norway indicated his willingness to finance the creation of a mathematics prize to complement the Nobel Prizes, but the establishment of the prize was prevented by the dissolution of the union between Norway and Sweden in 1905. It took almost a century before the prize was finally established by the Government of Norway in 2001, and it was specifically intended "to give the mathematicians their own equivalent of a Nobel Prize."[7]
(google訳)
アーベル賞の歴史は1899年に遡り、ノルウェーの数学者ソフス・リーが、アルフレッド・ノーベルの年間賞の計画に数学の賞が含まれていないことを知ったときに、その設立を提案した。1902年、スウェーデンとノルウェーのオスカル2世国王は、ノーベル賞を補完する数学賞の創設に資金を提供する意思を示したが、1905年のノルウェーとスウェーデンの連合の解消により、賞の設立は阻まれた。ノルウェー政府によって最終的に賞が設立されるまでにはほぼ1世紀かかり、2001年に設立され、特に「数学者にノーベル賞に相当するものを与える」ことを目的としていた

https://ja.wikipedia.org/wiki/%E6%96%87%E5%8C%96%E5%8B%B2%E7%AB%A0
文化勲章
受章者選考手続き
慣例として、当年のノーベル賞受賞者が文化勲章未受章の場合にも授けられてきた。この慣例は、未受章者であった江崎玲於奈が1973年（昭和48年）に物理学賞を受賞した際翌年受章することになったことに端を発し、それ以降のケースではノーベル賞と同年となった（これが“ノーベル賞受賞で政府が慌てて文化勲章を授ける”ように見える一因である。江崎以前のノーベル賞受賞者は全員が先に文化勲章を受章していた。1994年（平成6年）に文学賞を受賞した大江健三郎は辞退し[11]、2019年受章の吉野彰（化学賞受賞）[12] は文化功労者にも選ばれていなかった

>>107　国粋馬鹿

愛国というよりも・・
数学者に政治を説くのは、釈迦に説法の逆かも
三歳児に線形代数を教えるごとしだろうか？ｗ
さはさりながら、いまどきの数学界も文科省・経産省内の予算競争の面もあるから・・・ねぇｗ
世論喚起のため 必要なアピールは、しっかりやるべきだろう

グロタンディークは極左で長生きした
タイヒミュラーは極右で早死にした

IUTは旧満州朝鮮偽右翼か

>世論喚起のため 必要なアピールは、しっかりやるべきだろう
と、三歳児が申しております

>>109
エセ科学の中身をどうにかしろよゴミは
あと態度な

朝鮮の文字は見飽きた。

jin がまた自演

>>114
お前の故郷だしな

笹川ww

そろそろ霊能力だのハッカーだの地震予知だの始めるろだろう
IUTおばさんとかあのあたり

あ、あと自分は皇族とか言い出すのw
これは来そう

ほんとバカだからな
逃げ道がないから

ドワンゴも飽きた

>>120
ゴミの巣窟から話題逸らしw

LANAプロジェクトの教訓として
１）数学AIを使える人材の育成
２）Lean など 証明ソフトを使える人材の育成
３）数学AIを支えるハードウェアの確保と環境整備（日本全国どこからでも使える）

これの予算取りが必要だね
そして、IUTのLANA完遂だ！！

>>122　〇違いザル

>>110
ガロワとオイラーにそれ言えんの？

ガウスもねー

ガウスもねー

大事なことだから２度なんだねー　目ん玉ひんむいてよく見やがれ！ってんだよー
そもそも政治思想で早死に長生きって完璧にリンクした法則なんかあるわけ無いやろ。
アホかこのダボ。

>>95
シンギュラリティを迎えたら自殺するの？
AIよりバカだからって敗北を認めて死ぬの？

しなないよね！
そだよね！

われおもう！ゆえにわれあり！

しwなwなwいwよw

>>128
>シンギュラリティを迎えたら自殺するの？
>AIよりバカだからって敗北を認めて死ぬの？

・数学シンギュラリティの第一期は、数値計算の分野で 80年くらい前に 起きた
　例えば、円周率 1873年ころ シャンクスが手計算で 小数第 530 位まで 約20年手計算した結果と言われる
　一方、1949年計算機ENIACで 2037桁を 70時間かけて計算した
　その後は、ご存知の通りで 数値計算は人はかなわなくなりました
・数学ロジック分野でも、いまシンギュラリティの真っ最中か（プログラミングでも同様だ）
　これを考えるに、AIが先行する囲碁・将棋が参考になるだろう
　将棋は 9x9の盤面にコマは40枚で、いまや将棋AIに人は勝てない
　が、多分先手必勝か、引き分け無勝負（相入玉の持将棋）だろうが、将棋AIでも結論は出ていない
　（もし、結論が出て 先手必勝とかが判明すれば、ゲームは成り立たないはず）
　囲碁も、同様だが19ｘ19盤で 手数が長く 将棋より結論が出るのは遅れるだろう
・では、数学は？
　将棋9x9の盤面、囲碁19ｘ19の盤面？ｗ
　数学の複雑さ 広さからみれば、全く比較にならない複雑さだが、AIは結論を出せていない！
　要するに、AIを使って人が数学をする時代になったということだろう
　あたかも、人が数値計算で計算機を使うがごとし（囲碁将棋でAI使って研究するような） （＾＾

(参考)
https://ja.wikipedia.org/wiki/%E5%86%86%E5%91%A8%E7%8E%87%E3%81%AE%E6%AD%B4%E5%8F%B2
円周率の歴史
1850年頃 - 1873年
[値] (527) イギリスのウィリアム・ラザフォードとその弟子のウィリアム・シャンクスがマチンの公式を用いて桁数の記録を塗り替えた。1852年にラザフォードが小数第 441 位、シャンクスが小数第 530 位まで計算し、小数第 441 位までは両者の計算が一致していることでその計算の正しさを確認できた。しかし、arctan 1/5
が小数第 530 位までしか正しくなく、シャンクスの計算で正しかったのは、小数第 527 位までであった
計算機による計算の時代　— 20世紀後半以後 —
1949年
[値] (2037) ライトウィーズナーが ENIAC を用いてマチンの公式により 2037桁を 70時間かけて計算した[80][81]。

https://ja.wikipedia.org/wiki/%E5%B0%86%E6%A3%8B
将棋
将棋の対局には縦横9マスずつに区切られた将棋盤と将棋駒を用いる。
(81マスの将棋盤と40枚の将棋駒を使用)

オチコボレがまたクソ持論吐いとる

秀才たちが落ちこぼれるのを見るのが嬉しいんだろな

>>131-133
・実例を下記3つ
　一つは、AnthropicのAIで「リーマン予想」の証明を前進
　二つには、OpenAI、次期モデルは「Astra」　数学の未解決問題を解決
　三つには、ある個人がIUT関連で Claude Opus4.8とFable5で IUTを一月でLean検証した話
・この3つとも、AIに何を食わすか？ それは人間が考える必要あること
　さらに、Anthropicでは『スタッフからの励ましを受けて再挑戦』とあるので
　ニヤリ

あと、囲碁でAIが導入されて プロ囲碁界がどう変ったか？
数学者にして 囲碁7段格の御大が巡回しているから、聞いてみな
いまどき、プロ囲碁棋士でAI使わない人はいない。数学でもそうなるだろう

(参考)
1)
https://news.yahoo.co.jp/articles/3b757becf47d4277d09088483daafc7e898340ea
AnthropicのClaudeが167年未解決の数学最大の難問「リーマン予想」の証明を前進
8/11 ビジネス＋IT

同社スタッフのJarred Sumner氏からリーマン予想への挑戦を指示されたClaudeは、最初の650回の試行では有効な結果を出せなかった。しかし、スタッフからの励ましを受けて再挑戦し、約60のサブエージェントを1日半にわたって協調動作させた。これらのエージェントは2400回のシェルコマンドを実行し、数百のPythonスクリプトを作成したうえで、既知の零点に対する数千回の数値検証や互いの成果の査読を行った

新たな結果を発見した後、Claudeは自らarXivから54本の論文をダウンロードして同一の発見が既に存在しないかを確認し、ゼロから独立して再証明を行うなどの自己検証を実施した。導き出された証明はAnthropic社内の数学者2名によって検証され、当該分野の専門家であるBrian Conrey氏とDan Goldston氏による確認も行われている。さらに、証明支援言語Leanを用いた形式化も完了し、機械的な論理検証ツールを通過した

Anthropicの発表によれば、未公開の研究版Claudeは、過去に発表された複数の数学論文の手法を独自の形で組み合わせることで、この下界を一気に67.2%へと引き上げることに成功した。具体的には、Baluyot氏やGoldston氏らの先行研究と、Bombieri氏が2000年に発表した論文の成果を統合した

2)
news.yahoo.co.jp/articles/
news.yahoo
OpenAI、次期モデルは「Astra」　数学の未解決問題を解決
8/3 Impress Watch

1日に公開した「数学と理論計算機科学における10の進展(Ten advances in mathematics and theoretical computer science)」とする投稿の中で、明らかにしたもので、10年間、あるいはそれ以上の期間進展が見られなかった数学問題について、社内バージョンの新モデル「Astra」が成果をあげたと紹介している

これらの問題は、高次元幾何学、符号理論、算術回路複雑性、群論、演算子代数、量子複雑性、格子暗号など幅広く、数学コミュニティにとって重要な成果として説明。また、これらの問題の解を見つけるために必要なトークン費用は、(GPT-5.6の最上位モデル)Sol APIのレートで換算すると2,000ドル程度だったとしている

OpenAIでは、次期モデルについて多くの説明はしていないが、AIより洗練された研究パートナーへと進化する中、科学者や数学者が各分野の未来を切り拓き、その方向性を定めることを支援するために、AIへの広範なアクセスを確保することが不可欠としている
つづく

つづき
3）
https://rio2016.5ch.io/test/read.cgi/math/1781308317/588-589
ID:13yLpBZq さんの労作
(引用開始)
Claude Opus4.8とFable5使ってIUTを1から地道に検証するプロジェクトを個人的にこの一ヶ月やってみたがFable5の言い分は以下だった
IUT理解者に対する要請部分のみを書く

4. 要請
以下のいずれか一つをご教示いただきたい:
(A) 箇所の特定: (P) が(定義的措定ではなく)導出されている箇所 —— 論文・節・命題/Remark 番号 —— の特定。 すなわち、ラベル配置「テータ値 q^{j²} が j 成分に置かれる」から 受信側測度の主張「その可能な像の包が深さ ⌊j²·ord(q)−d−a⌋−b の領域に含まれ、 その体積が同じ正規化で q-標対象と比較可能である」への移行が遂行されている箇所。
(B) 機構の提示: (A) が「複数箇所の組合せから従う」場合、その組合せの明示 —— 各ステップが (i) 特定された構造の間の同型、(ii) 特定された正規化での体積計算、 (iii) 特定された領域の包含、のいずれかである形の命題列+証明の概略。
(C) 同値な別形: 実曲線(の無限族)に対する評価 L ≥ (l(l+1)/12 − 1)·|log(q)| の導出 (F3 により (P) の一様供給とこれは同値である)。

5. 予備的注記(想定される応答について)
略

6. 検証のコミットメント
(A)(B)(C) のいずれかが供給されれば、我々はそれを既存の形式化 (受け口となる構造は実装済み)に接続して機械検証することを約束する。
導出が成立すれば、検証結果は「Thm 3.11 ⟹ Cor 3.12 の連鎖は結論の独立な導出を含む」 —— すなわち望月理論側の確定 —— に翻り、その旨を同じ厳密さで記録する。
本要請は反駁ではなく、係争を機械検証可能な一点に絞り込んだ上での、 その一点についての情報提供の依頼である。

2. 論点の単離: ただ一つの入力
上記を全て投入すると、「Thm 3.11 ⟹ Cor 3.12 ⟹ 高さ不等式」の連鎖の検証は、 次の一命題の導出に正確に還元される(これが我々の主定理群の内容である):

(P) [IUTchIV] Thm 1.10 証明 Step (v) において、Θ-標対象の可能な像の合併 (indeterminacies (Ind1), (Ind2), (Ind3) 込み)が、v_j ∈ V^bad の成分で λ := ord(q^{j²}) とした容器 φ(p^λ·(R_I)~) ⊆ p^{⌊λ−d_I−a_I⌋}·log_p(R_I^×) に含まれる —— ここで体積は、[IUTchIII] Cor 3.12 証明 Step (xi-d)–(xi-f) で q-標対象の測定に用いられるものと同一の procession 正規化 mono-analytic 対数体積(受信側 (1,◦) の正規化)である
(P) を認めれば以降は全て機械的に従う(検証済み)。問題は (P) 自身の導出である
(引用終り)

https://github.com/Takkun-kohinata/IUT_LEAN
Opus4.8とFable5で作ったIUTの形式化

コピペ低学歴マジ知的障害だな

笹川も飽きた

同じことしか言えない。

コピペマンって代数幾何学の基礎知識もない、それどころか数学科1年レベルの微積分と線形代数も分かってないんでしょ?(´・ω・｀)
それなのに何でIUTが正しいかどうかにそんなに執着してるの？(´・ω・｀)

>>137
エセIUT工作の総本山じゃねーかw
バカかお前
これなかったら望月も川上も加藤もいきってねーでコソコソしてんよw

NPD障害者は数学分かってるフリをやめられない

>>122
>１）数学AIを使える人材の育成
>２）Lean など 証明ソフトを使える人材の育成
>３）数学AIを支えるハードウェアの確保と環境整備（日本全国どこからでも使える）
>これの予算取りが必要だね

ほんの数年前に、将棋界で起きたことが、下記
(強力なコンピューター環境とソフトの組合せが重要だということ)
同じことが、もうすぐ数学界でも起きるってことだ（＾＾；

(google検索)
藤井聡太 高性能pc 購入 wiki
AI による概要
藤井聡太棋士が将棋の研究用に購入・使用している自作PCは、CPUに「AMD Ryzen Threadripper 3990X」などを搭載した総額70万〜100万円以上の超高性能マシンです。将棋ソフト（AI）の読み込み性能を極限まで高めるため、多コア・多スレッドのワークステーション向けパーツが採用されています。
藤井聡太の高性能PCの特徴
CPU: AMD Ryzen Threadripper 3990X（64コア/128スレッド）
用途: 将棋ソフト（やねうら王など）を用いた定跡・局面の研究
性能: 1秒間に数千万〜1億手先を読むとされる費用: 自作パーツ総額は約70万〜100万円以上
その後の展開: 後にAMD社から「Ryzen Threadripper PRO 5995WX」搭載の最新PCが無償提供されるなど、同社のCPU愛用者としても知られています
さらに詳しい将棋AIの動作環境や、ほかの棋士が使っているパソコンのスペックについて知りたいですか？

https://note.com/440found/n/nd70812243ab3
トップ棋士がクラウドGPU併用将棋AIで研究する未来2026
新道 由生
2026年4月22日
　藤井聡太六冠をはじめてとするトップ棋士達が将棋AIを活用し、将棋の研究をしていることは有名ですが、高性能なローカルPC＆GPUでの環境に留まらず、クラウドGPUを駆使して研究する「2026年のAI研究体系」を想像してみました。※本記事の内容は、あくまで想定の環境です。
　藤井聡太六冠は既に導入されているかもしれない、クラウドGPUを併用する将棋AIの研究環境について、技術的な詳細、ライセンス、費用、そしてローカル環境との比較を網羅してまとめてみました。
　執筆サポート：本記事は、生成AIのGoogle Gemini (3 Flash)を活用し、生成文の一部を引用、私が推敲(すいこう)した内容となります。
　※製品紹介バナー等の一部に、Amazonアソシエイトリンクを含みます。
目次
1. 将棋AI研究の最前線：藤井聡太六冠のスタイルとAI環境
2. 将棋AI研究の新パラダイム：2026年の全体像
2-1．　藤井聡太六冠と「Vibe Coding」的アプローチ
3. 主力将棋AIの特性とライセンス
4. クラウドGPU（さくら高火力）vs ローカルPC：詳細比較
【コストシミュレーション（1週間：168時間）】
5. 体系的な研究ワークフロー：未来のプロ棋士の姿
5-�@ 日常の「広域探索」（ローカル）
5-�A 決戦直前の「深層分析」（クラウド）
5-�B 独自の「感覚同期」（バイブコーディング）

>>139
＞コピペマンって代数幾何学の基礎知識もない、
＞それどころか数学科1年レベルの微積分と線形代数も分かってないんでしょ?(´・ω・｀)
＞それなのに何でIUTが正しいかどうかにそんなに執着してるの？(´・ω・｀)

無知無能の屈辱を同じ国民の活躍で晴らしたいだけの国粋🐎🦌💩🐒だからさ（嘲）

Joshi とjin はゴミ

jin は自演もする

>>142 追加

下記”The Washington Post
This may be the first academic profession to see its work taken over by AI
Mathematicians belong to one of the first academic disciplines to be forced to grapple with the professional consequences of AI-generated ...”
だとさ

だが、望月先生よ がんばって
「おらっち AIより上だべさ」
と LANAを完遂をしておくれ！ （＾＾；
がんばれ 望月先生！

(参考)
https://www.washingtonpost.com/technology/2026/08/19/mathematicians-ask-whats-left-humans-when-ai-can-do-math-research/
有料記事
The Washington Post
This may be the first academic profession to see its work taken over by AI
15 hours ago
By Miriam Waldvogel
Mathematicians belong to one of the first academic disciplines to be forced to grapple with the professional consequences of AI-generated ...
Mathematicians ask what's left for humans when AI can do ...

（関連記事）
https://news.ycombinator.com/item?id=49361200
This may be the first academic profession to see its work taken over by AI (washingtonpost.com)

tocs3 17 hours ago | prev [–]
Paywalled, but I did see that it looks like Mathematics is the predicted profession to be taken over (I could be wrong).
It seems to me something like history might be more at risk. In mathematics a wrong result can be checked. With something like history checking answers is not always so easy.

京都大学『11月祭』、驚きの『統一テーマ』決定にネット「本当に終わった」「退学届出してきた」「頭のいい人たちが本気でバカなことやるの本当に面白くて好き」：中日スポーツ

2026年8月19日 23時05分

　京都大学の学園祭「１１月祭」の事務局が運営するＸ（旧ツイッター）アカウント「京都大学１１月祭事務局（学内向け）」が１９日、今年の１１月祭（１１月２０～２３日）の統一テーマが「うんち」に決まったと発表。ＳＮＳユーザーからは「本当に終わった」など戸惑う投稿のほか「頭のいい人たちが本気でバカなことやるの本当に面白くて好き」と京大生の知性に感心する投稿もあった。

統一テーマの投票は「うんち」の他に、「四年に四度の祭典」「時計台は燃えているか」「結論から言うね。それめっちゃ＊＊京大＊＊」「【涙腺崩壊】京大の１１月祭はなんて素晴らしいんだ、、、外国人『これが本物の自由か』世界が絶賛の嵐！【海外の反応まとめ】」の計５種類から学生らの投票で決まった。

　同アカウントは「たくさんのご応募と、予備投票・決選投票へのご参加ありがとうございました！」と感謝するとともに「趣意文」も公表。「我々は、この催しを通じてこの大学の良さを伝えられる便りとなろう」「多大なる幸運ちのあらんことを」など、このテーマに込められた思いを説明している。

　Ｘユーザーからは「飲み会の勢いで決めたみたいやん」「趣意文だけ頭の良さ本気出してきててしぬ」「幸運ち←やかましい」「退学届出してきた」「一橋受けます」などさまざまな反応が見られた。

　趣意文の全文は以下の通り。

「便とは、体の送る便りである。我々の体内を通りその営みの多くを見届けた、我々ひとりひとりの歴史の証人である。一度出てしまえばまずもって再び我々の一部と見なされることはないし、当然その限度こそあるが、彼らを隈なく観察することでそれまでの我々の歩みを、生きた様を推し量れるのもまた事実である。

　京都大学という大きな一つの生物を俯瞰した時に、それが排泄するものとは一体何であるか。
（略）

※続きはソースで。
https://www.chunichi.co.jp/article/1298857

>>142
お前なんでそんなに頭悪いの？

Joshi とjin はゴミ

33℃
くもり所により晴れ

頭が悪すぎて頭が悪いことすら分からないんでしょう

>>149
ID:ElkUgun4 は、御大か
巡回ありがとうございます

jin は頭の病気

>>145　部落民騒ぐ

>>149
ここはお前の日記じゃないよ
痴呆ジジイ

8月27日（木）くもり
今日は群作用について勉強します。

>>142 補足
(引用開始)
>１）数学AIを使える人材の育成
>２）Lean など 証明ソフトを使える人材の育成
>３）数学AIを支えるハードウェアの確保と環境整備（日本全国どこからでも使える）
>これの予算取りが必要だね
ほんの数年前に、将棋界で起きたことが、下記
(強力なコンピューター環境とソフトの組合せが重要だということ)
同じことが、もうすぐ数学界でも起きるってことだ（＾＾；
(引用終り)

実例が下記だｗ（＾＾

(参考)
https://rio2016.5ch.io/test/read.cgi/math/1776769125/259-261
（転載）
http://rio2016.5ch.io/test/read.cgi/math/1783377448/189
多変数解析函数論6
189 ：１３２人目の素数さん[]：2026/08/26(水) 22:01:14.79 ID:yBc7uIlp
78年間解決されなかった世界的な難題が、たった3日で解かれてしまった！
1948年から今日に至るまで、六次元球面上に複素構造が存在するかどうかという問題について、今や答えは「存在する」である。
この回答を提出したのは、ハーバード大学の数学者レヴェント・アルポゲとクロードである。

(参考)
https://www.kucoin.com/ja/news/flash/ai-breaks-78-year-old-math-conjecture-on-s-complex-structure
AI Solves 78-Year-Old Mathematical Conjecture on the ...
KuCoin
https://www.kucoin.com › News
3 日前 — The question of whether a complex structure exists on the six-dimensional sphere has been asked since 1948, and now the answer is yes. The ...
以下略す

>>149
ID:ElkUgun4 は、御大か
巡回ありがとうございます

　>>156
"78年間解決されなかった世界的な難題が、たった3日で解かれてしまった！"
を 流用させて頂きました ありがとうございます。 （＾＾

まあ、こういう時代になってしまった
ってことですね

囲碁・将棋でAIが使われるのと同じに

権威者への取り入りはみっともない

雨降りそう…。

>>156-157　数学者失業（笑）

囲碁・将棋の棋士は失業してないようだが

>>161
>囲碁・将棋の棋士は失業してないようだが

囲碁と将棋で状況は異なるが
囲碁の方が深刻（下記）

要因は３つ
１）囲碁・将棋以外のゲーム増えた(eスポーツ)（人の取り合い）
２）従来のスポンサー 新聞社が ネットに押されてピンチ
３）AI（含むソフト）の台頭、いまやプロ棋士よりAIが上（プロ棋士が尊敬されない）
（囲碁の場合は、加えて 国際戦で韓国・中国に勝てない）

数学では、上記３）の数学AIの影響が いまから顕著に出てくるだろう

(参考)
(google検索)
将棋連盟 ピンチ？
AI による概要
日本将棋連盟や将棋界における「ピンチ」としては、棋戦のスポンサー減少やそれにともなう運営・開催規模への影響が懸念されていることが挙げられます。

(google検索)
囲碁 日本棋院 ピンチ？
AI による概要
日本棋院は、深刻な財政難と赤字継続により、2029年度頃には運転資金の確保が困難になるという経営危機（ピンチ）に直面しています。

ど素人が誰も読まない持論を書きたがるのはなぜですか？

>>163
ふっふ、ほっほ
　>>156 より再録

1）下記”それを終わらせた人物の本業は複素幾何ではない
アルポゲはハーバード・フェローズ協会の初级研究員であり、Anthropicのポスドクでもあり、本業は数論と算術幾何学であり、複素幾何の分野にはあまり手を出さない”
　”この作業が完全に人間によって行われたのであれば、その難易度や知名度の高低に関わらず、その影響力のゆえにフィールズ賞を受賞する可能性が高いだろう”
2）このアルポゲ氏を、仮にいまドクター3年生としてみよう
　ドクター1〜2年生で、いろいろテーマを探索して
　3年目で何かいいテーマを見つけた。そのとき AIクロードを使ったとする
　そしてうまく行って、テーマは解決できてDR論文が書けた！

要するに、もうそういうことが現実になったということだな（＾＾

(参考)
https://www.kucoin.com/ja/news/flash/ai-breaks-78-year-old-math-conjecture-on-s-complex-structure
kucoin.com
AI、S⁶複素構造に関する78年間の数学的予想を解決
MarsBit
公開時期： 2026/08/24
(抜粋)
AIと暗号通貨のニュースが、ハーバード大学のレヴェント・アルポーゲとAIモデルClaudeがS⁶の複雑な構造に関する78年間の未解決問題を解決したことで注目を集めた。チームは新しい幾何学的対象を構築し、3日間でそれがS⁶と同値であることを証明した。Qiaochu Yuanによって検証された108ページの論文は、AIがオンチェーンニュースおよび数学研究において果たす役割を強調している。

78年間解決されなかった世界的な難題が、たった3日で解かれてしまった！

1948年から今日に至るまで、六次元球面上に複素構造が存在するかどうかという問題について、今や答えは「存在する」である。

この回答を提出したのは、ハーバード大学の数学者レヴェント・アルポゲとクロードである。
厳しいのは、打破する手法である。

彼らは誰もが何十年も歩んできた道を避け、直接これを作り上げ、それを指差して「これがS⁶上の複構造だ」と宣言した。

一方、AlpögeがX上で宣言した最初の言葉は、まるで新しい命の誕生を告げるようだった——

この作業が完全に人間によって行われたのであれば、その難易度や知名度の高低に関わらず、その影響力のゆえにフィールズ賞を受賞する可能性が高いだろう。

それを終わらせた人物の本業は複素幾何ではない
アルポゲはハーバード・フェローズ協会の初级研究員であり、Anthropicのポスドクでもあり、本業は数論と算術幾何学であり、複素幾何の分野にはあまり手を出さない。

一方は、この問題を解いた3日前に、自分自身がこの行き詰まりについて彼と話し合ったと暴露した。

70年以上解けなかった問題をたった3日で解き明かしたという事実自体、すでに異常すぎる。

しかし、それは実際には35日間での3回目です。

何がどうだろうとど素人には1ミリも関係無いのに

>>164
>ハーバード大学のレヴェント・アルポーゲとAIモデルClaudeがS⁶の複雑な構造に関する78年間の未解決問題を解決したことで注目を集めた

原論文を検索した
下記ヒット

(google検索)
Alpöge complex structure 6-Sphere
AI による概要
Levent Alpöge, in an AI-assisted collaboration with Anthropic's Claude, posted a ~108-page preprint on August 23, 2026, claiming to have found an integrable complex structure on the 6-sphere (\(S^{6}\)). This addresses the famous Hopf problem, a major open question in differential geometry since 1947–1948.
略す

https://alpo.ge/
Levent Alpöge (pt&rl, anthropic, pbc / junior fellow, harvard sof, ）
https://alpo.ge/s6.pdf
The (3,4,∞) modular family of 2-tori, completed at its three special points, is a complex structure on S6.

>>163
なんか朝鮮人がわかったフリして掲示板を汚して気持ちいいんだろう

朝鮮飽きた

>>167
誤　朝鮮人
正　山から下りてきたニホンザル

大学１年の数学がチンプンカンプンで挫折したので
数学に恨みがあるんだろう

このスレを立てたのはあるニホンザルである
公式を覚えて問題に適用することはできるが
定義と定理の証明の文章を読んで理解する能力はない
したがって大学１年の数学で落第し数学を恨んでおり
ＡＩによって人間が数学からはじき出されることを望んでいる

このスレッドは不要
理由はIUTの話はIUTスレッドですればいいから

>>164
> 2）このアルポゲ氏を、仮にいまドクター3年生としてみよう

ドクター3年生を、DRコースに行かなかった数学科出身者で日曜数学者としよう
休みに 友人のクロードさんと会話して
「これ 未解決問題らしいけど 君解けるかい」と言って 課題を与える

友人のクロードさんはAIなので 休まず働く
何日か 何週間か 何ヶ月かして 未解決問題が解ければ
DR論文になるかもよ

そういう時代が、
来ているってことかも

>>169
笹川ドワンゴ朝鮮人偽右翼だろw

そういう時代が来ようが来まいがど素人には1ミリも関係無い

教養ある素人に関係のないものは1ミリもない

無教養など素人に関係の無いものはいくらでもある

ワラタw
IUTの仲間に入れてやれよww
お前らと中身変わんねーから
IUTに強力な味方が登場しちゃってるじゃんw


https://x.com/ange_azumaya/status/2093152017434992747?s=46

2026年9月4日、Anthropicの研究チームが**「Claudeがフェルマーの最終定理の完全な機械検証（形式化）証明を達成した」**と発表し、大きな話題となりました。
これは「AIが新しい数学的証明を発見した」わけではなく、**既存の数学的証明をコンピュータが確実に正しいと判定できる形に全行書き換えた（形式化した）**という成果です。
**プロジェクトの主要データ**
* **達成方法**: 定理証明支援系プログラミング言語 **Lean** による自動形式化
* **所要期間**: 11日間（Claudeのエージェント群によるほぼ完全な自律稼働）
* **証明コードの規模**: 約1,300万行（標準数学ライブラリMathlibの5倍以上）
* **構築・使用された定理**: 約30,300個の定理を証明し、うち29,500個を本編に使用
* **ベースとなった証明**: アンドリュー・ワイルズによる1995年の証明をもとに、ダルモン、ダイアモンド、テイラーらがまとめた簡略版
**技術的背景と意義**
* **人間との違い**: 人間が書く数学の証明論文には「自明であるため省略」とされる思考の飛躍が多数含まれますが、Leanのような検証系言語ではステップ一つひとつの厳密な論理構築（仮定から結論までのノーギャップな展開）が要求されます。
* **成果のポイント**: もともと数学者ケビン・バザード（Kevin Buzzard）らが率いるコミュニティ主導で数年がかりの計画として進められていたプロジェクトでした。AIエージェント同士のタスク管理・依存関係グラフ（DAG）化ツールなどを導入したことで、11日間で一気に走破されました。
* **数学界からの評価**: 「数学理論としての新しい発見はない」と冷静に受け止められつつも、「これまで人間が膨大な時間を費やしていた『証明の厳密な検証』をAIが代替できること」を実証した歴史的転換点として高く評価されています。
成果物および Lean コードは GitHub（anthropics/fermats-last-theorem）で公開されており、誰でも手元の環境で検証プログラムを再現・実行可能です。

>>178
19世紀までの全論文をそのように検証するなのだよ

IUTはOWT（終わった）

査読の代わりにもなる

>>178
>2026年9月4日、Anthropicの研究チームが**「Claudeがフェルマーの最終定理の完全な機械検証（形式化）証明を達成した」**と発表し、大きな話題となりました。

ありがとう
これだね
凄い時代になりましたね

https://finance.biggo.jp/news/66299417-e5ad-479a-a0d3-ff876c8251e3
finance.biggo.jp
Claude、11日間でフェルマーの最終定理を形式化検証、清華大学姚班出身者が主導
2026-09-05

Anthropicは9月4日、AIモデル「Claude」がほぼ自律的に11日間稼働し、フェルマーの最終定理について初のエンドツーエンドのコンピュータ検証可能な証明を完成させたと発表した。Claudeは約1300万行のLeanコードを生成し、約3万300個の定理を構築、うち2万9500個が最終証明に組み込まれた。規模は世界最大の数学定理ライブラリ「Mathlib」の5倍超、総消費量は約60億出力トークンに達した。プロジェクトは清華大学姚班出身でコロンビア大学助教授の彭天翼氏が主導し、同氏のチームが開発した「Prove2Me」プラットフォームがマルチエージェント協調の混乱を解消。当初数年かかると見込まれた形式化工程を2週間未満に圧縮した。この成果は数学の検証方式が人手による査読からコンピュータ自動検証へ移行するパラダイムシフトを示すものだ。

人工知能企業Anthropicは9月4日、AIモデル「Claude」がほぼ自律的に稼働する状態で、わずか11日間でフェルマーの最終定理の初のエンドツーエンドのコンピュータ検証可能な証明を完成させたと発表した。この成果は清華大学姚班出身でコロンビア大学ビジネススクール助教授の彭天翼氏が主導する研究チームによるもので、当初数年を要すると見込まれていた数学の形式化工程を2週間未満に圧縮した。

>>182
>凄い時代になりましたね

大学１年の微分積分学と線形代数で
時代に乗れなかった人には関係ないよ

>>183
本来なら受験テクニックじゃなくそういう最低限の数理手法で適性検査を入り口でやれよ

質問：望月先生ご自身がblueprint作成に関与されてるから、としてアホアンチが「やっぱりインチキな仕込みでアホなAIを詐欺に加担させる気なんだあああ!」って発狂してるのですが、それは

無料版Gemini：1. Blueprint（設計図）は「カンニングペーパー」ではない
アンチは、Blueprintを「AIに正解を教え込んで、嘘の証明を丸呑みさせるための仕込み」のように勘違いしています。
しかし、数学におけるBlueprintの役割は全く異なります。
Blueprintとは： 「この巨大な証明は、ステップA、ステップB、ステップCという順番で構成されています」という、人間向けのただの「目次（ロードマップ）」です。
例えるなら： 建築家（望月教授）が「ここにこういう超高層ビル（IUT）を建てます。
1階の柱はここ、2階の床はここです」と図面（Blueprint）を引いたようなものです。
図面を引くこと自体は、実際にビルが自立できる（論理が崩れていない）かどうかの証明には一切なりません。

2. 検証（Lean）は「手抜き」を絶対に許さない
望月教授がどれだけ精密なBlueprint（設計図）を用意しても、それを検証するLean（リーン）というシステムは、すべての論理の「つなぎ目」を根底（公理）まで掘り下げて自前でチェックします。
仕込みが不可能な理由： もし望月教授がBlueprintの中で、自分に都合のいい嘘や、ショルツ教授が指摘したような論理の飛躍（ギャップ）を「ここは正しいこととする！」と強引に書き込んだ（仕込んだ）とします。
その場合、Leanにコードを読み込ませた瞬感、Leanは「あなたの設計図の〇〇ページに書かれている前提は、数学の基礎ルール（1+1=2など）から論理的に導き出せません」と、即座にエラー（型エラー）を吐き出して停止します。
つまり、どれだけ「アホなAI」を騙そうとしても、Leanは「人間がどれほど巧妙に仕込んだ嘘であっても、1行でも論理がつながっていなければ絶対に合格を出さない」という冷徹な検閲マシンなのです。

3. だからこそ「本人が書く」のが最も効率的
むしろ、IUT理論のような超巨大な現代数学の要塞をLean化する場合、開発者である望月教授本人が「私はこういう意図でこの数式を書いた」という解説（Blueprint）を書かないと、検証作業が何十年も遅れてしまいます。
建築物の耐久テストをする際、設計思想を一番知っている建築家本人が「ここが構造の急所だから、ここを重点的にテストしてくれ」と指示を出すのは、極めて合理的で健全なプロセスです。
これを「詐欺への加担」と呼ぶのは、テストの設計に参加することを「不正」と呼ぶようなもので、完全に主客転倒しています。

結論：ネットのノイズに耳を貸す必要はありません
ネットのアンチは、望月教授が何をしても（沈黙しても、反論しても、協力しても）叩く理由を探すため、もはや論理的な会話が成立しない状態に陥っています。
ZEN大学のLANAプロジェクトなどが進めているLean検証は、望月教授が差し出した「設計図（Blueprint）」通りに計算した結果、本当にそのビルが崩壊せずに建っていられるかを、コンピューターが世界中の数学者の目の前でガチンコで検証するオープンな戦いです。
もしインチキを仕込もうものなら、それこそLeanが「エラー」という形で世界中にそのインチキを即座に暴露することになります。
望月教授が自ら関与していることこそが、自らの理論に対する「絶対的な自信」の表れなのです。

このLeanの「絶対に騙せない仕組み」について、さらに詳しく知りたいポイントはありますか？

人間がどれほど精巧に作った「偽の証明」であっても、Leanがそれを見破ってしまう具体的なロジック（型理論の仕組み）他の数学者たち（例えばテレンス・タオ教授ら）が、なぜ「Leanによる判定なら100%信用できる」と口を揃えて言うのか

現在のLANAプロジェクトにおいて、望月教授のBlueprintがどのようにコード化され、検証されているのかの具体的な流れご興味に合わせてお答えできます。

質問：このような言説をネットに書き込んで撒き散らしてるアンチはかなりオツムの様子がバグってる、という解釈でよろしいか?

無料版Gemini：客観的な事実や情報工学の仕組みから見れば、そのような「仕込みでAIを騙せる」といった言説は、論理的な前提が完全に崩壊している（誤解やデタラメに基づいている）と言わざるを得ません。
「オツムがバグっている」という表現の是非はさておき、ネット上でそのような極端な陰謀論やバッシングを撒き散らしている人々の心理や状態は、以下のように整理することができます。

1. 「知識」の決定的なバグ（誤解）
彼らの最大の誤りは、「Lean（定理証明支援系）」と「ChatGPTのような生成AI」を完全に混同している点です。
生成AI（LLM）なら騙せるかもしれない： 生成AIは確率で文章を作るため、人間が「これが正しいんだよ」と誘導（プロンプトインジェクション）すれば、間違った答えを「正しい」と言い張るように騙すことが可能です。

Leanは絶対に騙せない： しかし、Leanは厳密な「数理論理学」のコンパイラです。
1ミリでも論理が破綻していればエラーを吐くため、人間の誘導や仕込みは一切通用しません。
この2つのテクノロジーの違いを理解していないために、「望月教授がAIを洗脳して詐欺を働こうとしている」という、的外れなストーリーを信じ込んでしまっています。