AI速報 - 23ページ目

バッテリーのゲームチェンジ：それはあなたが思っていることと違っていた — バッテリー業界は、以前の単一の改善目標から、用途に応じた複数の目標を持つ多様な展開へと変化しています。LFP、NMC、ナトリウムイオン、全固体電池といった様々な化学技術が、コスト、安全性、エネルギー密度、スケールに応じて選択されるようになり、競争は「最高のバッテリーを作る」のではなく「最適なシステムを構築する」能力へとシフトしています。CATLやBYDなどが、バッテリーを単なる部品としてではなく、システム全体として捉え、生産、統合、グリッドを制御する企業が優位に立つことが予想されます。特に、ロボティクスやドローンなどの高付加価値市場では、より高い安全性と軽量化が求められ、全固体電池の導入が先行する可能性があります。

システムやコンポーネント間の相互作用は、タイムアウトの誤解釈など、予期せぬ不具合を引き起こし、連鎖的な復旧を発生させる可能性がある。特に、システムAの復旧がシステムBに過剰な負荷をかけ、メッセージバスへのデータリクエストを増加させることで、復旧ループを引き起こすことがある。この現象は、データ不足に対する再計算や、既に取り込んだデータの再取得といった、コストのかかる処理を発生させる。システム全体の安定性を保つためには、段階的な復旧を設計し、リソース使用量を抑えることが重要。

アプリ開発における現在のAIワークフロー — AIツールは日々進化しており、画一的な解決策は存在しないため、筆者は信頼できるAIワークフローを構築しようと試みています。ワークフローは、ChatGPTやdeep-researchで情報を収集・分析し、UIのプロトタイプ作成にv0やStitchを利用、Pencilでデザインシステムを構築、Matt Pocockのツールで実装計画を立て、Ralphループで実行、そしてTDDとPlaywright E2Eテストで品質を保証するという流れです。さらに、Zo Computerを活用して、場所を選ばずに作業を継続できるようになっています。今後の課題は、長期的な記憶の構築とエージェントのより賢明なオーケストレーションです。

米海軍、水中ドローン向けAI開発でDomino Data Labと9970万ドル契約 — 米海軍は、Domino Data Labと9970万ドルの契約を結び、ホルムズ海峡での機雷探知のため、水中ドローン（UUV）のAI検出アルゴリズムを数日で更新できるよう開発を進めます。このシステムはサイドスキャンソナーや視覚画像システムなどのセンサーデータを用いて、複数のAI検出モデルを監視し、リアルタイムでの修正を可能にします。従来、機雷探知は艦艇の任務でしたが、AIを活用することで迅速な対応が可能になり、世界貿易を阻害する可能性のある地域の安全確保に貢献します。Domino社の技術を活用すれば、異なる地域の機雷に対応するための再訓練を数週間で完了できます。

ベンチマークが見落とすもの — AIの性能評価ベンチマークは、システムが特定のタスクで優れた結果を示す一方で、その安定性や再現性を隠してしまうという問題を浮き彫りにしています。ベンチマークは、モデルの能力を測定し、進捗を可視化するために必要不可欠ですが、その過程で多様な状況やノイズを取り除き、結果を単純化してしまいます。そのため、ベンチマークで優れた結果が出ても、実際の運用環境では期待通りの性能を発揮できないことがあります。真に重要なのは、単に能力を示すだけでなく、さまざまな条件下で安定して動作するかどうかを評価することです。

Dell XPSにOmarchy LinuxをDay One対応：ハードウェアが出荷される前からLinuxサポートを開始するDellの取り組み — Dellは、ハードウェア出荷後6～8ヶ月の遅延をなくし、Day OneでLinuxが利用できる環境を提供するため、IntelとOmarchyと協力してXPSのLinuxサポートを実現しました。Dellは長年のLinuxサポートの経験を活かし、DKMSやLVFSなどの技術を開発・公開してきました。今回の取り組みでは、最新のOmarchy LinuxシステムをXPSに統合し、より快適で開発者向けの環境を提供します。Dellは技術チーム全体をOmarchyとXPSに移行し、Linuxのデスクトップ環境の未来を明るくする新たな一歩を踏み出しました。

プロンプトエンジニアリングは恒久化する — かつてはAIモデルの意図を汲み取るための一時的な工夫と考えられていたプロンプトエンジニアリングだが、現在はより重要な役割を担っている。モデルの改善に伴い、文言の工夫だけでなく、文脈、ツール、権限、そして実世界の結果に対する責任を考慮したシステム全体の信頼性確保が求められている。今日的なプロンプトエンジニアリングは、コンテキストエンジニアリング、ツール設計、そしてテストやモニタリングを含む評価プロセスを含み、システムエンジニアリングに近い分野へと進化している。

人工知能が浸透する現代において、個人のプライベートな領域にもAI技術が導入され始めている。バイオフィードバックセンサーを搭載したデバイスは、ユーザーの反応をリアルタイムで学習し、最適化された体験を提供するが、その過程で詳細な生体データが収集されている。これらのデータはデータブローカーに流出し、個人のデジタル記録に加わる可能性があり、プライバシー保護の観点から懸念が生じている。ユーザーは、利便性や好奇心から警戒心を薄れさせ、意図せず自身の情報を提供するリスクを認識する必要がある。

AI時代に必要な不可欠なスキル：判断力 — 生成AIがソフトウェア開発を革新する一方で、経験豊富な開発者と初心者ではその影響が大きく異なるという研究結果が示されています。経験豊富な開発者は長年の経験から得た判断力でAIの出力を評価し、問題があれば修正できますが、初心者はAIに頼りすぎると判断力を身につけられません。AIを活用する上で不可欠なスキルは「識別力」、つまり品質の認識、技術的負債の検出、そして出力の検証です。AIは便利ですが、最終的な判断は人間が行う必要があります。

スタンフォード大学のCS 153は、エネルギー、シリコン、モデルからアプリケーション、セキュリティ、デプロイメントポリシーまで、インフラストラクチャ全体の世代交代的な書き換えが進む現状を扱います。毎週、世界のリーダーたちが最先端技術の進歩におけるボトルネックを解決する様子を講義で紹介します。講義には、OpenAIのSam Altman氏やMicrosoftのSatya Nadella氏など、著名な技術者が講演者として参加予定です。10週間のコースプロジェクトでは、個人で最先端の実験室を構築し、世界に価値を提供することを目標とします。

検索エンジンAsk.com（旧Ask Jeeves）がサービス終了 — 検索エンジンおよびQ&Aサービスを提供するAsk.com（旧Ask Jeeves）が、2026年5月1日にサービスを終了した。1996年に登場し、自然言語での質問応答に特化したことで、現在のAIチャットボットの先駆けともなった。IACによる買収後、検索機能は縮小され、Q&Aに注力してきたが、Googleとの競争激化によりサービス終了に至った。Ask.com側は、「Jeevesの精神は生き続ける」とメッセージを発表している。

WebAccessBenchは、AIの急速な導入によって、過去20年間の構造的な障壁がソフトウェアに組み込まれ、アクセシビリティが損なわれている現状を指摘しています。AIの学習データ不足やAIベンダーの技術的な限界が、アクセシビリティの問題を拡散させており、教育、医療、金融、雇用といった重要なサービスへのアクセスを阻害しています。改善のためには、政策立案者による法制化、エンジニアによる差別的な機能の排除、利用者による問題点の報告、そしてAI企業による責任追及が不可欠です。

EaglePress CMSの最新バージョン1.19がリリースされました。今回のアップデートでは、AndroidのFirefox環境におけるMarkdownコードブロックの折り返し表示の問題が修正されました。EaglePressはPython 3とPostgreSQLで構築されたセルフホスト型CMSで、CGIによるルーティング、強力なセキュリティ機能、Markdownパーサー、そしてカスタマイズ可能なテーマシステムを備えています。バージョン1.18では、管理者によるパスワード変更機能やテーマプレビュー機能が追加されています。

スピリット航空の破綻：アクティブなAzureエンドポイント、未修正の予約フロー、そして安価なドメイン — スピリット航空が正式に事業を停止した後、多額のインフラが放置され、予約フローが稼働し続けたり、Azure APIが有効なフライト記録を発行したり、フィッシングドメインが安価で登録可能になっている状況が判明しました。システムの迅速な停止処理が行われず、データベース内のフライトが削除されていないため、航空券の予約や支払い処理が継続されています。個人情報漏洩のリスクや、クラウドコンピューティングの費用負担といった問題も発生しており、GoDaddyがドメイン登録業者として残っている点も興味深い発見です。

数百万行ものHaskell：Mercury社の生産エンジニアリング — Mercury社は、30万人以上の顧客に銀行サービスを提供し、年間2480億ドルの取引量を処理するフィンテック企業です。同社は200万行を超えるHaskellコードベースで、高い成長と変化に対応し、大規模な金融システムを運用しています。従来の信頼性確保のための失敗防止策に加え、システムの変動を吸収し、オペレーターが対応できるような設計を重視しています。Haskellの型システムは、単なるエラー防止だけでなく、組織的な知識をコードに落とし込み、人材の流出による知識喪失を防ぐための運用上の助けとなっています。

インテル創業秘話：8008の起源 — インテルのCPUのルーツは、8ビットマイクロプロセッサの提案にありました。当初、ロバート・ノイスはCTC社の提案を却下しましたが、技術者たちの熱意とスタン・マゾーの提案により、8ビットCPUの開発が検討されることになりました。これは、後にインテルを支えるx86アーキテクチャの原型となり、同社の再興に繋がる重要な出来事でした。当時、インテルはメモリチップに注力していましたが、CTCとの協力により、新たなビジネスチャンスを開拓しました。

ワイオミング州ケメラーで、テラパワー社が建設を進める次世代型原子力発電所への建設許可が下り、アメリカで4つ目の原子炉建設が始まった。これは、比爾・ゲイツ氏が設立したテラパワー社によるもので、安全性を高め、建設期間を短縮する革新的な技術を採用している。データセンターの電力需要増加に対応するため、政府も巨額の投資を行っており、地域住民の支持も得られるようになっている。同社は、今後も複数の原子炉を建設し、原子力ルネサンスを推進することを目指している。

大規模言語モデルのトレーニングとサービス提供の仕組み：数理的な解説 — Reiner Pope氏による大規模言語モデル（LLM）のトレーニングとサービス提供に関する黒板を使った講義形式の解説動画が公開されました。API価格や公開されている数式から、AIラボの内部情報を推測できる点が驚くべきです。講義では、Transformerモデルの処理時間、MoEモデルのGPUへの配置、パイプライン並列処理、そしてRL（強化学習）による過剰なトレーニングなどの要素が数式を用いて解説されています。また、バッチサイズがコストと速度に与える影響や、メモリ帯域幅と計算性能の関係についても詳しく説明しています。

イランのインターネット遮断を回避するStarlink技術の密輸 — イラン政府によるインターネット遮断を受け、海外在住者らがStarlink端末を密輸し、国内に供給する活動が行われています。StarlinkはSpaceX社の衛星を利用したインターネットサービスで、イランの検閲を回避できます。当局はStarlink端末の所持や使用を厳しく取り締まっていますが、情報へのアクセスを求める人々によって、その数は増加しており、VPNとの併用などの対策も講じられています。この活動は、イラン国内の状況を国際的に共有し、変化を促すために重要な役割を果たしています。

リーマン予想とコラッツ予想の共通証明：数論的音響時空におけるエコー干渉 — クリスティン・ティンスキー氏が、リーマン予想とコラッツ予想を単一の構造定理として証明したと発表しました。この証明は、閉じた証拠系における「エコー干渉」という現象を利用しており、構造的に正のドリフトを持つ軌道は有限のステップで固定された領域に到達するというものです。両方の証明は独立した方法論を用いており、解析、代数、位相、測度論など27の同等な数学的表現に埋め込まれています。この定理の鍵となる要素は「グローバルなロゴスセクション」であり、その存在と一意性が証明されています。検証用のテストコードはGitHubで公開されています。

ユーザーは、より安価で高速なオープンソースモデルが存在するにも関わらず、高価で遅いモデル（Opus 4.6など）を選び続けている。これは、知能の投資収益率の非線形性、知能の測定の難しさ、競争環境下での優位性確保、そして知能を増やすための投資が常に可能であるという4つの要因が影響しているためである。特に、わずかな知能の向上でも飛躍的な視点や成果をもたらす可能性があり、その価値は計り知れない。現在では、より高度な推論や自己修正を行うモデルに高額な費用を投じる傾向にあり、今後もその傾向は続く可能性がある。

Architectures of Error: A Philosophical Inquiry into Human and AI Code — ```json { "titleJa": "エラーのアーキテクチャ：人間とAIコードの哲学的な考察", "summaryJa": "生成AI（GenAI）の普及に伴い、大規模言語モデル（LLM）がコード生成に活用されるようになり、人間プログラマーと共著者として機能する場面が増えています。本論文では、人間とAIのコード生成におけるエラーの発生原因の違いを明確にするため、「エラーのアーキテクチャ」という概念を提唱し、認知的なエラー（人間）と確率的なエラー（AI）という根本的に異なる原因を区別します。分析には、メカニスティック・ファンクショナリズムと方法論的プラグマティズムを参考にし、意味的一貫性、セキュリティ、エピステモロジカルな限界、制御メカニズムといった重要な哲学的問題を提起します。さらに、抽象化のレベルを活用し、GenAIによるヒューマン・AI協調ソフトウェア開発におけるエラーの相互作用と進化を理解するための枠組みを提供します。" } ```

AI Cyberattacks Meet Memory-Safe Code Defenses — ```json { "titleJa": "生成AIによるサイバー攻撃とメモリ安全コード防御", "summaryJa": "生成AIの進化により、ソフトウェアの脆弱性を悪用したサイバー攻撃が迅速かつ低コスト化している。一方で、AnthropicのClaude Mythosモデルは脆弱性発見にも活用され、主要OSやブラウザのゼロデイ脆弱性を早期に特定するのに役立っている。初期のファジング技術のように、AIを活用した脆弱性発見が攻撃側と防御側のどちらに有利になるかは不透明だ。しかし、自動化された脆弱性発見はコストを削減する一方、攻撃手法の技術的なハードルが下がり、防御には熟練エンジニアによる分析と対応が必要となる。特に、小規模チームで運営される重要なオープンソースプロジェクトにおける脆弱性対応の負担増が懸念されており、単なるAIの規制や自動パッチ化だけでは根本的な解決策にはならない。" } ```

I started using Linux terminal on Android and now I can do things no app store tool allows — ```json { "titleJa": "AndroidでLinuxターミナルを使うと、アプリストアのツールではできないことが実現できる", "summaryJa": "Android端末でLinuxターミナルを使用することで、アプリストアのアプリでは難しい複雑なタスクを実行できるようになります。TermuxとGoogleのLinuxターミナルという2つの主要な方法があり、それぞれ特徴と利用可能なパッケージが異なります。Linuxターミナルを利用することで、SSHサーバーの構築やRsyncによる効率的なファイル転送、スクリプトによる自動化など、Androidの可能性を大幅に広げることができます。" } ```

Steve Hilton: could this British former Fox News host be California’s next governor? — ```json { "titleJa": "元FOXニュース司会者、カリフォルニア州知事選に挑む？", "summaryJa": "英国出身の政治コンサルタント兼実業家スティーブ・ヒルトン氏が、カリフォルニア州知事選に予想外の強さで臨んでいます。民主党が圧倒的な優位性を誇るカリフォルニア州において、ヒルトン氏は共和党候補として、現知事ガビン・ニューソン氏の後継者争いでトップの座を争う可能性を秘めています。彼の勝利への鍵は、民主党候補者の混乱と、高コスト生活や経済機会の不足に対する有権者の不満を背景とした「政治革命」を起こすことにあります。トランプ氏との関係を活かし、実用的な政策を掲げ、有権者へのアプローチを重視することで、勝利を目指しています。" } ```

Less financial stability, smaller social safety nets: inside the gen Z investing boom — ```json { "titleJa": "Z世代の投資ブーム：経済的不安定とオンライン投資文化", "summaryJa": "Z世代は、経済的な不安定さや社会保障の低下を背景に、過去の世代よりも早く投資を開始する傾向にあります。暗号資産投資で痛手を経験した人もいますが、今ではAIを活用したロボアドバイザーの利用や、ロボティクス、AIなどの分野への投資にシフトしています。ETF（上場投資信託）への長期投資が主流で、若年層のコスト意識の高さが将来的なリターンに繋がると期待されています。一部の若者は積極的にデイトレードや暗号資産取引に挑戦していますが、専門家は長期的な視点での分散投資を推奨しています。" } ```

Infrasound waves stop kitchen fires, but can they replace sprinklers? — ```json { "titleJa": "超音波がキッチン火災を鎮めるが、スプリンクラーの代替になるか？", "summaryJa": "カリフォルニア州で実証されたSonic Fire Tech社の技術は、AIセンサーが火災を検知し、超音波（インフラサウンド）を放射することで消火するシステムです。この技術は、燃焼に必要な酸素を遮断することで火災を鎮めます。同社は、水による損害のリスクを減らすため、スプリンクラーの代替としての利用を目指しています。ただし、専門家からは、広範囲な火災や再燃の可能性など、実用化には課題が残ると指摘されています。また、NFPA（National Fire Protection Association）の基準に準拠するための詳細な検証とデータ公開も求められています。" } ```

My New Ebook (Free Download): Quantization for Modern AI Systems — ```json { "titleJa": "最新のAIシステム向け量子化：無料電子書籍", "summaryJa": "大規模AIシステムにおけるメモリボトルネックを解消する手法として、Google ResearchのTurboQuantが登場しました。TurboQuantはKVキャッシュの圧縮に特化したベクトル量子化手法であり、次元あたり3～4ビットに圧縮しつつ、FP16と同等の精度を維持します。著者は量子化の基礎から最新のAIシステムまでを網羅した70ページ以上の電子書籍を公開しており、GPTQ、AWQ、QLoRAなどの技術や、vLLM、TensorRT-LLMといったプロダクションシステムでの活用方法を解説しています。モデルのスケーリングとコンテキストウィンドウの拡大に伴い、量子化とメモリ最適化の重要性はますます高まっています。" } ```

Earning the Right to Have an Opinion on AI in the SDLC — ```json { "titleJa": "AI開発ツールに対する意見を述べる資格を得るために", "summaryJa": "SVPの筆者は、AI開発ツールに関する意思決定を行うために、9週間もの間、顧客向けのプロダクションコードを自身で開発しました。その結果、現在のAI開発ツールは、既存の複雑なシステムへの適用や、AIのタイプライティングと人間の監督・レビュー・修正を組み合わせた作業が重要であることがわかった。AIによるコードレビューは、人間のレビュアーと並行して活用することで、より高い品質を維持できる点も明らかになりました。しかし、CSSや視覚的な作業、制約条件の無視、レガシー契約のずれといった課題も存在し、常に人間の目による確認が不可欠です。" } ```

```json { "titleJa": "素粒子物理学における100年間の停滞", "summaryJa": "量子力学の解釈論争は、物理学における長年の未解決問題として認識されているが、これは数学モデルとしての量子力学と、それを現実世界に適用する物理理論の区別が曖昧であることに起因する。1928年以降、素粒子や相互作用が発見されてきたが、基本的な存在論（時空や物質の構造）は大きく変化しておらず、新しい存在論が確立されていない。この状況は、物理学が計算形式主義を拡張する速度よりも、存在論の刷新が遅れていることが原因と考えられる。量子力学の真髄は、物質が波動のような性質を持つことや、原子の状態が離散的であることなど、1900年から1928年の間に発見された物理的構造に存在する。" } ```

23 / 24