#Tech

「Tech」に関する Elon Musk・AI ニュースの日本語まとめ。

Falcon 9ロケットが音速の7倍の速度で月面に着陸、今夏に

Falcon 9ロケットが音速の7倍の速度で月面に着陸、今夏に
2025年初頭に打ち上げられたFalcon 9ロケットの上段部分が、8月5日(UTC 06:44)に月面の近くに着陸すると、天文学者らが予測しています。このロケットの上段は高さ13.8メートル、直径3.7メートルのサイズで、大気のない月面は無傷で衝突します。地球からの観測は難しいと見られていますが、2つの月着陸機(Blue GhostとHakuto-R)打ち上げ時のロケットの一部であることが確定的です。天文学者らは1000回以上の観測データに基づいて、この物体がFalcon 9ロケットの上段であると結論付けています。

AIコンピューットの金融化:現状と課題

AIコンピューットの金融化が急速に進んでおり、GPU時間の取引、債券への組み込み、事前予約などが活発化しています。新しいスタートアップが先物取引所や価格インデックスを構築し、GPUキャパシティをトークン化する試みも存在します。一方で、サプライチェーンの集中や法的課題、GPUの陳腐化など、様々な課題も存在し、市場の成熟にはまだ時間がかかると見られています。特に、推論コストのヘッジやGPUアセットのセキュリタイズといった新たな金融商品が生まれており、今後の動向が注目されます。

Terminal-Bench 3.0 開発開始:AIエージェントの新たなベンチマーク

Terminal-Bench 3.0 開発開始:AIエージェントの新たなベンチマーク
Terminal-Bench 3.0 が開発を開始しました。このバージョンでは、ソフトウェアエンジニアリング、システム管理、セキュリティ、科学計算に加え、より幅広い分野を対象とし、解決率が最大30%に抑えられた難易度の高いタスクを導入します。開発チームは、現実のコンピュータ作業を模倣し、明確な指示と堅牢な検証を持つタスクの貢献者を募集しており、特に専門知識を必要とする長期的かつ複雑なタスクを推奨しています。詳細な貢献方法や週次ミーティングの情報はGitHubとDiscordで公開されています。

オープンソースは必ずしも活発なコミュニティを意味しない

オープンソースは必ずしも活発なコミュニティを意味しない
オープンソースソフトウェアは、かつてはシンプルなウェブページやFTPサーバーで公開され、メールやメーリングリストによるコミュニケーションが主流でした。しかし、GitHubの登場により、プロジェクトの維持管理が企業的な業務に変わり果て、プロジェクト管理者は多くの負担を感じています。 大規模なプロジェクトにはチームが必要な場合もありますが、本来のオープンソースの精神を取り戻し、シンプルな方法で開発を再開することが重要です。 オープンソースであることと、コミュニティを形成することは必ずしも一致せず、開発者は自身のペースで開発を進めるべきです。

抜け道でカリフォルニアに現れた中国の高性能車、米国の自動車メーカーを脅かす

抜け道でカリフォルニアに現れた中国の高性能車、米国の自動車メーカーを脅かす
中国製の安価で高性能な電気自動車(EV)が、メキシコの国境を介してカリフォルニアに流入し始めている。メキシコ居住者が購入したこれらの車両は、法的な抜け道を利用して米国に持ち込まれており、BYDなどの中国メーカーはすでに現地で販売されている。価格の低さと先進技術の搭載により、米国の自動車メーカーは競争に苦戦しており、業界首脳からは価格競争への懸念が出ている。多くの米国人が中国製車の購入を検討しており、今後の市場への影響が注目される。

自動運転車に対する違反チケット発行が可能に、カリフォルニア州が自動運転トラックの試験走行を承認

自動運転車に対する違反チケット発行が可能に、カリフォルニア州が自動運転トラックの試験走行を承認
カリフォルニア州自動車局(DMV)は、自動運転車の規制を大幅に変更し、緊急時における車両の安全確保と法執行機関による違反チケット発行を可能にしました。警察は、人間の運転者がいない場合でも自動運転車に対して違反チケットを発行できるようになり、地方自治体は緊急時に特定の地域への自動運転車のアクセスを制限できます。また、自動運転トラックの試験走行も承認され、今後、より広範な試験が実施される予定です。DMVは、これらの変更によって公共の安全へのコミットメントを示すと述べています。

AI、緊急医療の初期トリアージ診断で医師を上回る -ハーバード大学の研究

AI、緊急医療の初期トリアージ診断で医師を上回る -ハーバード大学の研究
ハーバード大学の研究で、大規模言語モデル(LLM)を活用したAIシステムが、緊急医療の初期トリアージ診断において人間の医師を上回る成果を上げたことが判明しました。AIは電子カルテに基づいた診断において67%の精度を記録し、医師の50〜55%を上回りました。特に情報が限られた状況での迅速な判断においてAIの優位性が際立っています。今後は、医師とAIが協働する新しい医療体制が構築されると予想されていますが、AIの誤りや責任に関する課題も残されています。

最適なオープンソースTranslateGemmaツール

最適なオープンソースTranslateGemmaツール
TranslateGemmaは、クラウドAPIに依存せず高品質な翻訳を実現するローカルAI翻訳ソフトウェアの新カテゴリを確立しました。本記事では、デスクトップ翻訳ツール、OllamaやDockerを利用したツール、字幕やMarkdownワークフローに特化したツールなど、多様なオープンソースTranslateGemmaツールを紹介します。各ツールの特徴、セットアップの難易度、ハードウェアやOSへの影響、そして本格的なローカライゼーションワークフローに適したツール(MetalGlotなど)について解説。TranslateGemmaはGemma 3アーキテクチャを基盤とし、多言語タスクに特化したモデルです。セットアップやアーキテクチャの特性から、標準的なUIや推論エンジンとの互換性が低い場合があり、その点を解決するコミュニティによる様々なツールが開発されています。

数十年の時を経て、初めてZX Spectrumを手にした時の感動

数十年の時を経て、初めてZX Spectrumを手にした時の感動
ゲームライターは、スコットランドのレトロゲームショップでZX Spectrumのカセットテープを手にした経験を語る。かつてのゲームショー「GamesMaster」の司会者として、多くの人々に記憶されていることに感銘を受け、往年のゲームに対する人々の熱量や、物理メディアを持つことの価値を再認識した。現代のデジタルゲームとは異なり、カセットテープを手にする喜びや、ゲームにまつわる思い出が人々の心に残る理由を振り返り、懐かしい体験に安堵したと述べている。

シリコンバレーのレイオフが隠す、雇用市場の未来

シリコンバレーのレイオフが隠す、雇用市場の未来
MetaやAmazonなどの大手IT企業が人員削減を発表する中、効率化を強調していますが、従業員数は2022年のピーク時とほぼ変わっていません。AIへの投資が大幅に増加しており、人員削減というよりは、コスト増加を正当化するための言い訳としてAIが利用されている可能性があります。AIの普及によってより多くの人員が必要になることも考えられ、技術大手企業のレイオフは、単なる人員削減だけでなく、新たなプロジェクトへの投資や組織再編の一環である可能性を示唆しています。広範な労働市場への影響は限定的であり、AIを理由とするレイオフは、AIに対する世間の反感を招くリスクも孕んでいます。

バッテリーのゲームチェンジ:それはあなたが思っていることと違っていた

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

復旧の連鎖とループ:システム全体の安定性を損なう相互作用

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

アプリ開発における現在のAIワークフロー

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

米海軍、水中ドローン向けAI開発でDomino Data Labと9970万ドル契約

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

ベンチマークが見落とすもの

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

Dell XPSにOmarchy LinuxをDay One対応:ハードウェアが出荷される前からLinuxサポートを開始するDellの取り組み

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に頼りすぎると判断力を身につけられません。AIを活用する上で不可欠なスキルは「識別力」、つまり品質の認識、技術的負債の検出、そして出力の検証です。AIは便利ですが、最終的な判断は人間が行う必要があります。

最先端システムCS 153:スタンフォード大学

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

検索エンジンAsk.com(旧Ask Jeeves)がサービス終了

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

アクセシビリティは公民権。AIは障壁を生み出してはならない

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

EaglePress CMS 最新バージョンリリース!

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

スピリット航空の破綻:アクティブなAzureエンドポイント、未修正の予約フロー、そして安価なドメイン

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

数百万行ものHaskell:Mercury社の生産エンジニアリング

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

インテル創業秘話:8008の起源

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

ワイオミング州、次世代原子炉の建設承認で「原子力ルネサンス」を祝う

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

大規模言語モデルのトレーニングとサービス提供の仕組み:数理的な解説

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

イランのインターネット遮断を回避するStarlink技術の密輸

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

リーマン予想とコラッツ予想の共通証明:数論的音響時空におけるエコー干渉

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

16 / 17