
汚名返上から大発見へ。OpenAIの推論モデルが世界的数学者を唸らせた「代数学の魔法」
OpenAIの汎用推論モデルが、80年間未解決だったポール・エルデシュの「単位距離問題」における予想を反証した。AIは、幾何学問題を代数的整数論の「無限類体塔」と「チェボタレフの密度定理」を用いて高次元空間から平面に射影することで、距離が1となるペアの数を$n^{1.014}$にまで増やし、従来の$n^{1+c/\log\log n}$という下限を大きく上回る新たな証明構造を構築したのである。
Latest
全 10,356 件 / 863 ページ

OpenAIの汎用推論モデルが、80年間未解決だったポール・エルデシュの「単位距離問題」における予想を反証した。AIは、幾何学問題を代数的整数論の「無限類体塔」と「チェボタレフの密度定理」を用いて高次元空間から平面に射影することで、距離が1となるペアの数を$n^{1.014}$にまで増やし、従来の$n^{1+c/\log\log n}$という下限を大きく上回る新たな証明構造を構築したのである。

SpaceXはS-1文書を提出しNasdaq上場手続きを開始、推定時価総額2兆ドル規模で、Starlinkが収益を牽引しつつ、xAI統合によりAIインフラへの巨額投資を加速している。将来的には軌道上データセンター構築を視野に入れ、28.5兆ドルという巨大な市場規模を標榜している。

Stability AIが公開した音楽・効果音生成モデル「Stable Audio 3.0」は、最長6分20秒のステレオ音声生成に対応し、可変長生成やインペインティングなどの編集機能を統合した。これにより、単発のプロンプト入力から、開発者や制作者が自身の制作フローに組み込める実用的なツールへと進化している。Small、Small SFX、Mediumの3モデルがオープンウェイトで提供され、高速生成とローカルでの反復試行を可能にし、AI音楽生成のワークフローを大きく変革する可能性を秘めている。

Samsung Electronicsの労働組合は、競合とのボーナス格差を背景に計画していた大規模ストライキを、政府の介入による労使間の暫定合意で回避した。これにより、AIデータセンター構築に不可欠なHBMやDRAMの供給に対する市場の深刻な懸念は一時的に後退し、グローバルな半導体サプライチェーンへの影響は免れた。

Microsoftは、SMS認証がSIMスワップ詐欺の主要な発生源となっている現状を受け、個人向けMicrosoftアカウントにおけるSMS二段階認証を段階的に廃止し、より安全なパスキーへの移行を進めている。パスキーはデバイス内で秘密鍵を生成・保存するため傍受のリスクがなく、フィッシング詐欺にも強い一方、VM環境での利用やデバイス紛失時の回復経路など、一部課題も残されている。

Intelは1.4nmクラスの「14A」プロセス開発ロードマップを公開し、2026年10月にPDK 0.9を外部顧客へ提供すると発表した。2030年代を見据えた「10A」および「7A」プロセスの開発にも着手し、High-NA EUV露光技術や裏面電源供給により競合との差別化を図ることで、長期的な信頼関係を構築しファウンドリ事業の成功を目指す。

GitHubの内部リポジトリからソースコードが流出した事件は、従業員端末にインストールされた悪意あるVS Code拡張機能が起点だった。脅威アクター「TeamPCP」は約4,000の内部リポジトリからデータを窃取し、5万ドル以上での売却を要求しており、開発インフラを狙うサプライチェーン攻撃の高度化が開発環境のセキュリティモデルに見直しを迫っている。

AIデータセンターの電力需要が2030年に米総電力の11%を占める見通しに対し、米国はエネルギー産業がバッテリーストレージに100億ドルを緊急投資すると発表した。この投資は、再生可能エネルギーの変動性を吸収しつつ、600 GWh以上の累積容量達成を目指し、国産バッテリー製造の加速と脱炭素化の両立を実現することでインフラ覇権を狙う戦略である。

絶滅復元企業Colossal Biosciencesが人工卵からのヒナのふ化に成功したと発表した。この技術は絶滅鳥類の復元を目指すもので、補助酸素不要で胚の完全発育を可能にするという。しかし、発表には査読済み論文やデータが不足しており、独立した検証が困難である。

Anthropicは、競合他社も利用していたSDKおよびMCPサーバー自動生成のスタートアップStainlessを買収し、そのホスト型サービスを廃止した。この買収は、競合の開発環境に直接的な影響を与え、AI競争がモデル性能から周辺ツールチェーンやシステム統合を支配するエージェントインフラへとシフトしていることを示している。Anthropicは、MCP規格の普及と同時にその実装ツールを独占することで、開発者エコシステムにおける主導権を確立しようとしているのだ。

東京科学大学の研究チームは、有機ELで培われた特殊な発光分子を太陽電池に組み込むことで、光と電気の双方向変換を可能にする多機能素子を開発した。この新設計により、熱としてエネルギーが失われる経路を物理的に遮断し、高効率な発電と鮮烈な発光を同時に実現することに成功した。

サンディア国立研究所が核兵器シミュレーション用スパコン「Spectra」に、NVIDIA製GPUではなくNextSiliconのMaverick-2アクセラレーターを採用し承認した。これは、AI向け低精度演算に注力しFP64性能が後退したNVIDIAに対するHPC機関の危機感と、既存コード変更不要で高精度演算を効率化するデータフロー型アーキテクチャへの評価を示している。