Latest issue 20 7月 2026

2026年07月20日夜のAIニュースまとめ

(ほぼ)毎日AIニュースが届きます。ぜひご登録ください。

(ほぼ)毎日AIニュースが届きます
ぜひご登録ください

AIによる数学の難問解決と半導体インフラへの投資拡大

Claude Fable 5が87年来の未解決問題「ヤコビアン予想」の反例を発見するなど、AIの推論能力が数学分野で画期的な成果を出し始めています。

また、TSMCによる米国工場への1000億ドル追加投資や、ジェフ・ベゾス氏のAIスタートアップ出資など、半導体関連の投資も加速しています。

それでは、本日の注目トピックを掘り下げていきましょう。

Claude Fable 5が87年来の未解決問題「ヤコビアン予想」の反例を発見
Kimi K3が米モデル拒否のセキュリティバグを修正
GPT-5.6 Sol、6つの数学的ブレークスルーに貢献【続報】
TSMCがAIチップ需要増を受け米国工場に$100Bを追加投資
AI向けDRAM価格急上昇、Rubin CMX仕様判明【続報】
Kimi K3、ClinePass割引とメンバーシップ分割【続報】
Jeff Bezosが半導体新素材をAIで探索するCuspAIに出資
研究者のAI活用術：学会演題や科研費申請の効率化
分散推論アーキテクチャMesh LLMが話題に

Claude Fable 5が87年来の未解決問題「ヤコビアン予想」の反例を発見

Claude Fable 5が1939年から未解決だった数学の難問「ヤコビアン予想」の反例を生成しました。
反例の検証は多項式計算で容易に行えるものであり、AIが数学的ブレークスルーをもたらしたとして大きな話題になっています。
ユーザーからは「数学者へのドライブバイ屈辱だ」といった驚きの声が上がっています。

Lisan al Gaib: (翻訳) すべての数学者へのドライブバイ屈辱だ。彼はFableにプロンプトを出すことで、87年前の未解決の数学予想の反例を示した。しかもその反例はほぼ自明なものだ。

Chubby♨️: (翻訳) Claude Fable 5は、1939年からの未解決問題であるヤコビアン予想に対し、手計算で確認可能な反例を生成した。この予想は、定数でゼロでないヤコビアン行列式を持つ多項式写像は多項式の逆写像を持たなければならないというものだ。87年前の問題が何気なく解決された。

olivier: (翻訳) コアとなる数学的妥当性の検証は異常なほど簡単だ。2つの正確な多項式計算に還元され、どちらもパスする。クレイジーだ。

Kimi K3が米モデル拒否のセキュリティバグを修正

OpenAI CodexやClaude Fable 5が「サイバーガードレール」を理由に修正を拒否した15の重大なセキュリティバグを、中国のKimi K3が10時間で全て修正しました
米国のAIモデルの過剰な制限が競争力を削いでいるとの批判が噴出しています
同等の能力を持つモデルが管理外に存在する以上、安全性のガードレールは進化させる必要があるとの議論が起きています

Rohan Paul: (翻訳) サイバーセキュリティの「専門家」はこれを好まないだろう。OpenAI CodexとClaude Fable 5が拒否した後、Kimi K3は15の重大なバグを修正した。10時間、1つのプロンプト、そして250ドルで。

Chubby♨️: (翻訳) 「Kimiは、GPT-5.6とFable 5がガードレールを理由に修正を拒否した15の重大なバグすべてを、単一のプロンプトで10時間で修正した。」中国のオープンソースモデルへの敬意は日に日に高まっている。

Bindu Reddy: (翻訳) Kimi K3は、弱体化されたFableやSolよりもサイバーセキュリティ問題の発見に優れている。これは非常に残念なことだ。これにより、米国はこの分野で即座に競争力を失っている。米国政府は現在、テクノロジーとAIセクターを積極的に殺し、全体を危険にさらしている。

GPT-5.6 Sol、6つの数学的ブレークスルーに貢献【続報】

GPT-5.6 Solの数学的能力に関する続報です
リリースからわずか1週間で、約6つの数学的ブレークスルーに貢献したと報告されています
OpenAIのGreg Brockman氏も、数学を進歩させる画期的な瞬間であり、科学や医学の進歩が非常に近づいていると言及しました
AIによる高度な推論能力が、学術研究の最前線で実用的な成果を出し始めています

Haider.: (翻訳) GPT-5.6がリリースからわずか1週間で、すでに6つ近くの数学的ブレークスルーに貢献しているのはクレイジーだ。2025年12月にAIが最初の無名な数学的解を発見し、今ではOpenAIの新しいモデルが数十の主要な解を生み出し、誰でも利用できるようになっている。

Greg Brockman: (翻訳) 数学を進歩させる画期的な瞬間のように感じる。人々の生活を本当に向上させることができる科学的および医学的進歩が、今非常に近づいていると感じる。

Haider.: (翻訳) GPT-5.6 Sol Ultraはほぼ何でも処理できる。極端な推論が必要ない場合や、マイナーなタスクでトークンを消費したくない場合は、ほとんどのリクエストでmd-highの方が適している。私の悩みは、solがultraとhigh/xhighの両方で非常に優れているため、「Terra」に何かを任せることができないことだ。

TSMCがAIチップ需要増を受け米国工場に$100Bを追加投資

TSMCが米国顧客からの強力なAIチップ需要に応え、競合を牽制するため、アリゾナ州の工場に1000億ドルを追加投資すると発表しました。
同社のCFOは、AIチップに対する「強力な複数年にわたる需要」を見込んでいると述べています。
市場のタイミングが良ければ、設備投資の資金調達のために債券発行も排除しない姿勢を示しています。

Bloomberg: (翻訳) 台湾積体電路製造（TSMC）は、米国顧客からの強い需要に応え、野心的なライバルを牽制するため、アリゾナ州での投資に1000億ドルを追加すると、同社幹部が今週述べた。

Evan: (翻訳) TSMCのCFOは、同社がAIチップに対する「強力な複数年にわたる」需要を見込んでいると述べた。また、市場のタイミングが良ければ、設備投資の資金を調達するために債券を売却して資金を調達することも排除しないと語った。

Evan: (翻訳) TSMCのCFOは、米国顧客からの強い需要に応え、野心的なライバルを牽制するため、米国のチップ生産構築にさらに多くの資金を投資していると述べた。

AI向けDRAM価格急上昇、Rubin CMX仕様判明【続報】

AIインフラ拡大に伴うサーバー向けメモリ需要に関する続報です
7月中旬以降、新たな買い手の登場によりサーバーDRAMのスポット価格が急上昇しています
また、NVIDIAの次世代機「Rubin CMX」は576個のSSDを搭載し、9,600TBのストレージ容量を提供することが判明しました
これにより、CMX向けのNAND需要が今年の3500万TBから来年は1億TB以上に急増すると予測されています

Jukan: (翻訳) サーバーDRAM（64GB）のスポット価格急騰に関するメリッツ証券のコメント： - これは昨日のレポートの重要なチャートであり、スポット価格と契約価格のギャップをどう解釈するかを示している。 - サーバーDRAMのスポット価格は7月中旬以降急上昇している。従来の傾向とは異なる。

パウロ: サーバーDRAMは新たな買い手登場で上振れですねスポットも

Jukan: (翻訳) 「NvidiaのCMXは576個のSSDを搭載し、総ストレージ容量9,600TBを提供する。業界の予測では、CMX向けのNAND需要は今年の3500万TBから来年は1億TB以上に急増すると示唆されている。」NvidiaのRubin CMXは文字通りNANDを吸い尽くすだろう。

Kimi K3、ClinePass割引とメンバーシップ分割【続報】

Moonshot AIの「Kimi K3」に関する続報です
需要過多による新規サブスク停止が続く中、ClinePass経由での割引アクセスが提供され注目を集めています
また、メンバーシップがWeb/App向けとコーディング向けに分割されるなど、MoE最適化に向けた動きも見られます

Cline: (翻訳) 約5倍の割引アクセスが可能なサブスクリプション、ClinePassでKimi K3をお試しください。1.99ドルの特別プロモーションでCline CLIで使用できます：npm i -g cline。これは現在、K3にアクセスする最も手頃な方法です。

Bloomberg: (翻訳) 世界人工知能大会で、Moonshot AIはAnthropicやOpenAIに匹敵する2.8兆パラメータのモデル「Kimi K3」をデビューさせた。Bloombergの@minminlowが、これが世界のAI競争にとって何を意味するのかを解説する。

パウロ: これはMoEの最適化に寄与しそうですねそしてより良い専門家に特化したデータが集まる >> 今後、メンバーシップをより焦点を絞った2つのプランに分割します：Kimi Web、App、Work向けのKimi Membershipと、コーディングワークフロー向けのKimi Code

Jeff Bezosが半導体新素材をAIで探索するCuspAIに出資

Jeff Bezos氏が、AIを使用して半導体チップの新しい材料を発見する英国のスタートアップ「CuspAI」の資金調達ラウンドに参加しました。
このラウンドでは総額4億5000万ドルが調達され、AIを活用したマテリアルズ・インフォマティクス分野への期待の高さが伺えます。
半導体製造の効率化や新素材開発において、AIの役割がさらに重要視されています。

Bloomberg: (翻訳) Jeff Bezosは、AIを使用して半導体チップの新しい材料を発見する英国を拠点とするスタートアップCuspAIの4億5000万ドルの資金調達ラウンドに参加している投資家の一人である。

研究者のAI活用術：学会演題や科研費申請の効率化

学会への複数演題登録や科研費申請の書類作成をAIエージェントで効率化する方法が研究者の間で共有されています
同じ情報をAIに参照させることで繰り返し作業を削減できるほか、AIを用いて概念図を自動生成するスキルなども紹介されています
目的別の案内ページも作成され、医学英語論文や文献検索など、研究活動全般におけるAI活用が進んでいます

限界助教|ChatGPT/Claude/Geminiで論文作成と科研費申請: 同じ学会への複数演題登録、繰り返し作業がだるいですよね結局入れている情報は毎回一緒なので、その情報をAIに参照させてあげればOKですどんな情報を入れればよいか具体例を示しているので簡単にやり方を真似できます同じことは論文の登録作業でもできます！

限界助教|ChatGPT/Claude/Geminiで論文作成と科研費申請: AIエージェントによる科研費作成のNoteに概念図作成のSkillを追加しました画像生成からpptx変換しているためCodexのみの対応です例は文字だけですが画像の入った概念図も生成できます

限界助教|ChatGPT/Claude/Geminiで論文作成と科研費申請: Noteの記事が増えてきて「どれから読めばいいか分からない」状態になってきたので、目的別の案内ページを作りました。・医学英語論文・科研費・文献検索・学会発表、スライド・AIエージェント・研究英語新しい記事を中心に、今も評価の高い定番記事も厳選しています

分散推論アーキテクチャMesh LLMが話題に

80GBのGPUがなくても70B以上のモデルを実行できるMesh LLMが紹介され、注目を集めています
ノードにモデルが収まる場合はローカルで実行し、収まらない場合はピアにルーティングするなど、利用可能なデバイス間で推論を分散させます
リソースが限られた環境でも大規模モデルを動かせる賢いアーキテクチャとして評価されています

Charly Wargnier: (翻訳) 70B以上のモデルを実行したいが、80GBのGPUがない？Mesh LLMは、あなたが実際に持っているデバイス間で推論を分散させる。アーキテクチャは信じられないほどスマートだ：→ノードがモデルに収まる場合はローカルで実行する→そうでない場合は、可能なピアにルーティングする→モデルが大きすぎる場合は...