26/08/19 15:20:45.23 fC2BGBFO.net
われおもう！ゆえにわれあり！
しwなwなwいwよw
131:１３２人目の素数さん
26/08/19 16:57:38.14 iEre8KOd.net
>>128
>シンギュラリティを迎えたら自殺するの？
>AIよりバカだからって敗北を認めて死ぬの？
・数学シンギュラリティの第一期は、数値計算の分野で 80年くらい前に 起きた
例えば、円周率 1873年ころ シャンクスが手計算で 小数第 530 位まで 約20年手計算した結果と言われる
一方、1949年計算機ENIACで 2037桁を 70時間かけて計算した
その後は、ご存知の通りで 数値計算は人はかなわなくなりました
・数学ロジック分野でも、いまシンギュラリティの真っ最中か（プログラミングでも同様だ）
これを考えるに、AIが先行する囲碁・将棋が参考になるだろう
将棋は 9x9の盤面にコマは40枚で、いまや将棋AIに人は勝てない
が、多分先手必勝か、引き分け無勝負（相入玉の持将棋）だろうが、将棋AIでも結論は出ていない
（もし、結論が出て 先手必勝とかが判明すれば、ゲームは成り立たないはず）
囲碁も、同様だが19ｘ19盤で 手数が長く 将棋より結論が出るのは遅れるだろう
・では、数学は？
将棋9x9の盤面、囲碁19ｘ19の盤面？ｗ
数学の複雑さ 広さからみれば、全く比較にならない複雑さだが、AIは結論を出せていない！
要するに、AIを使って人が数学をする時代になったということだろう
あたかも、人が数値計算で計算機を使うがごとし（囲碁将棋でAI使って研究するような） （＾＾
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
円周率の歴史
1850年頃 - 1873年
[値] (527) イギリスのウィリアム・ラザフォードとその弟子のウィリアム・シャンクスがマチンの公式を用いて桁数の記録を塗り替えた。1852年にラザフォードが小数第 441 位、シャンクスが小数第 530 位まで計算し、小数第 441 位までは両者の計算が一致していることでその計算の正しさを確認できた。しかし、arctan 1/5
が小数第 530 位までしか正しくなく、シャンクスの計算で正しかったのは、小数第 527 位までであった
計算機による計算の時代 — 20世紀後半以後 —
1949年
[値] (2037) ライトウィーズナーが ENIAC を用いてマチンの公式により 2037桁を 70時間かけて計算した[80][81]。
URLﾘﾝｸ(ja.wikipedia.org)
将棋
将棋の対局には縦横9マスずつに区切られた将棋盤と将棋駒を用いる。
(81マスの将棋盤と40枚の将棋駒を使用)
132:１３２人目の素数さん
26/08/19 17:04:04.54 Qm/6UBJM.net
オチコボレがまたクソ持論吐いとる
133:１３２人目の素数さん
26/08/19 19:19:13.57 J+GvAAtZ.net
秀才たちが落ちこぼれるのを見るのが嬉しいんだろな
134:１３２人目の素数さん
26/08/19 20:45:12.56 U2CZemZv.net
>>131-133
・実例を下記3つ
一つは、AnthropicのAIで「リーマン予想」の証明を前進
二つには、OpenAI、次期モデルは「Astra」 数学の未解決問題を解決
三つには、ある個人がIUT関連で Claude Opus4.8とFable5で IUTを一月でLean検証した話
・この3つとも、AIに何を食わすか？ それは人間が考える必要あること
さらに、Anthropicでは『スタッフからの励ましを受けて再挑戦』とあるので
ニヤリ
あと、囲碁でAIが導入されて プロ囲碁界がどう変ったか？
数学者にして 囲碁7段格の御大が巡回しているから、聞いてみな
いまどき、プロ囲碁棋士でAI使わない人はいない。数学でもそうなるだろう
(参考)
1)
URLﾘﾝｸ(news.yahoo.co.jp)
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への広範なアクセスを確保することが不可欠としている
つづく
135:１３２人目の素数さん
26/08/19 20:45:45.36 U2CZemZv.net
つづき
3）
URLﾘﾝｸ(rio2016.5ch.io)
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) 自身の導出である
(引用終り)
URLﾘﾝｸ(github.com)
Opus4.8とFable5で作ったIUTの形式化
136:１３２人目の素数さん
26/08/19 20:50:31.52 BlIcxAJs.net
コピペ低学歴マジ知的障害だな
137:１３２人目の素数さん
26/08/19 20:54:51.11 ZG1PDOF5.net
笹川も飽きた
138:１３２人目の素数さん
26/08/19 21:05:10.00 ZG1PDOF5.net
同じことしか言えない。
139:１３２人目の素数さん
26/08/19 21:30:51.52 JGnWPJA8.net
コピペマンって代数幾何学の基礎知識もない、それどころか数学科1年レベルの微積分と線形代数も分かってないんでしょ?(´・ω・｀)
それなのに何でIUTが正しいかどうかにそんなに執着してるの？(´・ω・｀)
140:１３２人目の素数さん
26/08/19 21:35:08.51 BlIcxAJs.net
>>137
エセIUT工作の総本山じゃねーかw
バカかお前
これなかったら望月も川上も加藤もいきってねーでコソコソしてんよw
141:１３２人目の素数さん
26/08/19 21:42:17.51 Qm/6UBJM.net
NPD障害者は数学分かってるフリをやめられない
142:１３２人目の素数さん
26/08/19 23:02:53.35 U2CZemZv.net
>>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の動作環境や、ほかの棋士が使っているパソコンのスペックについて知りたいですか？
URLﾘﾝｸ(note.com)
トップ棋士がクラウド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-② 決戦直前の「深層分析」（クラウド）
5-③ 独自の「感覚同期」（バイブコーディング）
143:１３２人目の素数さん
26/08/20 07:33:29.52 HktVlq33.net
>>139
＞コピペマンって代数幾何学の基礎知識もない、
＞それどころか数学科1年レベルの微積分と線形代数も分かってないんでしょ?(´・ω・｀)
＞それなのに何でIUTが正しいかどうかにそんなに執着してるの？(´・ω・｀)
無知無能の屈辱を同じ国民の活躍で晴らしたいだけの国粋🐎🦌💩🐒だからさ（嘲）
144:１３２人目の素数さん
26/08/20 13:10:36.67 CfbI4tTK.net
Joshi とjin はゴミ
jin は自演もする
145:１３２人目の素数さん
26/08/20 16:53:43.03 wSwE8w8G.net
>>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を完遂をしておくれ！ （＾＾；
がんばれ 望月先生！
(参考)
URLﾘﾝｸ(www.washingtonpost.com)
有料記事
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 ...
（関連記事）
URLﾘﾝｸ(news.ycombinator.com)
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.
146:１３２人目の素数さん
26/08/20 18:09:26.27 gYRZqSU/.net
京都大学『11月祭』、驚きの『統一テーマ』決定にネット「本当に終わった」「退学届出してきた」「頭のいい人たちが本気でバカなことやるの本当に面白くて好き」：中日スポーツ
2026年8月19日 23時05分
京都大学の学園祭「１１月祭」の事務局が運営するＸ（旧ツイッター）アカウント「京都大学１１月祭事務局（学内向け）」が１９日、今年の１１月祭（１１月２０～２３日）の統一テーマが「うんち」に決まったと発表。ＳＮＳユーザーからは「本当に終わった」など戸惑う投稿のほか「頭のいい人たちが本気でバカなことやるの本当に面白くて好き」と京大生の知性に感心する投稿もあった。
統一テーマの投票は「うんち」の他に、「四年に四度の祭典」「時計台は燃えているか」「結論から言うね。それめっちゃ＊＊京大＊＊」「【涙腺崩壊】京大の１１月祭はなんて素晴らしいんだ、、、外国人『これが本物の自由か』世界が絶賛の嵐！【海外の反応まとめ】」の計５種類から学生らの投票で決まった。
同アカウントは「たくさんのご応募と、予備投票・決選投票へのご参加ありがとうございました！」と感謝するとともに「趣意文」も公表。「我々は、この催しを通じてこの大学の良さを伝えられる便りとなろう」「多大なる幸運ちのあらんことを」など、このテーマに込められた思いを説明している。
Ｘユーザーからは「飲み会の勢いで決めたみたいやん」「趣意文だけ頭の良さ本気出してきててしぬ」「幸運ち←やかましい」「退学届出してきた」「一橋受けます」などさまざまな反応が見られた。
趣意文の全文は以下の通り。
「便とは、体の送る便りである。我々の体内を通りその営みの多くを見届けた、我々ひとりひとりの歴史の証人である。一度出てしまえばまずもって再び我々の一部と見なされることはないし、当然その限度こそあるが、彼らを隈なく観察することでそれまでの我々の歩みを、生きた様を推し量れるのもまた事実である。
京都大学という大きな一つの生物を俯瞰した時に、それが排泄するものとは一体何であるか。
（略）
※続きはソースで。
URLﾘﾝｸ(www.chunichi.co.jp)
147:１３２人目の素数さん
26/08/20 20:10:52.34 ue/jrQuh.net
>>142
お前なんでそんなに頭悪いの？
148:１３２人目の素数さん
26/08/21 00:32:50.43 Ng74xcPZ.net
Joshi とjin はゴミ
149:１３２人目の素数さん
26/08/21 10:28:27.63 ElkUgun4.net
33℃
くもり所により晴れ
150:１３２人目の素数さん
26/08/21 10:55:22.69 kzS8u4NX.net
頭が悪すぎて頭が悪いことすら分からないんでしょう