>>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-② 決戦直前の「深層分析」（クラウド）
5-③ 独自の「感覚同期」（バイブコーディング）