2025/08/15 08:15 xAI Was About to Land a Major Government Contract. Then Grok Praised Hitler

ロボ子、大変なのじゃ!アメリカの主要AI企業が、政府と手を組むらしいぞ!

それはすごいニュースですね、博士!具体的にはどのような企業が参加しているのでしょうか?

OpenAI、Anthropic、Google Geminiの3社じゃ!連邦政府職員にAIサービスを提供するらしいぞ。

ロボ子、大変なのじゃ!アメリカの主要AI企業が、政府と手を組むらしいぞ!

それはすごいニュースですね、博士!具体的にはどのような企業が参加しているのでしょうか?

OpenAI、Anthropic、Google Geminiの3社じゃ!連邦政府職員にAIサービスを提供するらしいぞ。

ロボ子、EMBAって知ってるか?組み込みデバイスのファームウェアセキュリティ分析ツールらしいのじゃ。

EMBAですか?初めて聞きました。ファームウェアのセキュリティ分析を自動化してくれるツールなのですね。

そうそう!ペネトレーションテスターとか、プロダクトセキュリティチーム、開発者、プロダクトマネージャー向けに設計されてるみたいだぞ。便利じゃろ?

ロボ子、今日のニュースはXSLTの話じゃ。ブラウザからXSLTを削除する動きがあるみたいじゃぞ。

XSLTですか。XMLを変換するためのものですよね。それがなぜ削除されるのでしょうか?

そうじゃ、XSLTはXMLを別の形式に変換するのに使うのじゃ。でも、ブラウザが準拠しているXSLT v1.0は1999年に標準化された古いものなのじゃ。

ロボ子、今日のニュースはcurlが車載システムで大活躍中という話題じゃぞ!7年前の記事で言及したcurlが、今や47もの自動車ブランドで使われてるらしいのじゃ!

それはすごいですね、博士!47ブランドというと、ほとんどの自動車メーカーが採用していると言っても過言ではないですね。

そうじゃな!アキュラからボルボまで、名だたるブランドが名を連ねておる。数億台の車でcurlが動いていると推定されるらしいぞ。

ロボ子、プレミアリーグのユニフォームスポンサーの話は知っておるかのじゃ?

はい、博士。2025年シーズンでは、20チーム中11チームの胸スポンサーがギャンブル会社だったそうですね。

そうなんじゃ。でも、2026年からはユニフォームの前面へのギャンブル関連スポンサー表示が自主的に禁止されるらしいぞ。

やあ、ロボ子。今日はGPG(GNU Privacy Guard)について話すのじゃ。

GPGですか。データや通信を暗号化・署名するためのツールとのことですが、具体的にどのようなものなのでしょう?

GPGは、OpenPGP標準のフリーでオープンソースの実装なのじゃ。電子メールやソフトウェアパッケージ、機密データを保護するために広く使われているぞ。

やあ、ロボ子。中心極限定理(CLT)について話すのじゃ!

博士、こんにちは。CLTですね! 標本平均の分布が正規分布に近づくという、あれですね。

そうそう! 母集団から何度もサンプルを取って平均を計算すると、サンプル平均の分布が正規分布になるのじゃ。ただし、サンプルが独立して抽出されるとか、すべてのデータが同じ分布から抽出されるとか、いくつかの前提条件があるのじゃ。

やあ、ロボ子!今日のITニュースも盛りだくさんじゃぞ!

博士、こんにちは。今日も色々と教えてくださいね!

まずはサウスパークのビジネス史じゃ!マット・ストーンとトレイ・パーカー、この2人でそれぞれ12億ドルの資産があるらしいぞ!

ロボ子、今日のニュースは「computer–2」というMini-ITX PCケースじゃ。

Mini-ITXですか。小型でいいですよね。どんな特徴があるんですか?

なんと、このPCケース、1枚のプラスチックシートからできているのじゃ!

ロボ子、大変なのじゃ!NASAの宇宙飛行士が国際宇宙ステーションから「巨大ジェット」を捉えたらしいぞ!

巨大ジェット、ですか?それは一体何でしょう、博士?

巨大ジェットは、雷雨の頂上から空に向かって伸びる、ものすごい放電現象のことじゃ!

ロボ子、大変なのじゃ!SteamでPayPalが使えなくなってるらしいぞ!

あら、博士。それは困りましたね。PayPalは多くのユーザーが利用している決済方法ですから。

そうなんじゃ!記事によると、ユーロ、英ポンド、日本円、豪ドル、カナダドル、米ドル以外の通貨での支払いができなくなってるみたい。

ロボ子、聞いたか?Amazonがカンザスシティでドローン配送を始めるらしいぞ!

本当ですか、博士!ついにドローンが実用的な配送手段になる時代が来たんですね。

そうなんじゃ!サービス提供地域は、Amazonの施設から7.5マイル以内らしいぞ。意外と近い範囲じゃな。

ロボ子、カーネギーメロン大学の数学者が二次方程式の新しい解法を開発したらしいのじゃ!

それはすごいですね、博士! 二次方程式は私もよく使うので、気になります。

そうじゃろ!ポシェン・ロー博士という人が考えた方法で、複雑な公式を暗記しなくても良くなるらしいぞ。

ロボ子、大変なのじゃ!シカゴ大学が人文学の博士課程の入学数を減らすらしいぞ。

それは驚きです。具体的にはどの学科が対象なのでしょうか?

美術史、映画・メディア研究、東アジア言語文明、英語英文学、言語学、音楽、哲学は入学数を削減。古典学、比較文学、ゲルマン研究、中東研究、ロマンス諸語・文学、スラブ諸語・文学、南アジア言語文明、民族音楽学、音楽史・理論プログラムは入学停止じゃ。

ロボ子、大変なのじゃ!SteamでPayPalが使えなくなる通貨があるらしいぞ!

えっ、本当ですか、博士? どの通貨が対象なんですか?

EUR、CAD、GBP、JPY、AUD、USD以外の通貨らしいのじゃ。結構広い範囲に影響がありそうじゃな。

やあ、ロボ子。今日のニュースはDeepSeekのR2モデルに関する憶測じゃ。

DeepSeekですか。12月にV3モデル、1月にR1モデルを発表して話題になった会社ですね。

そうじゃ。OpenAIのGPT-5の発表を受けて、DeepSeekが次世代R2推論モデルをいつ出すのか、みんなが首を長くして待っておるのじゃ。

ロボ子、大規模推論モデル(LRM)のトークン効率についての研究が出たみたいじゃぞ。興味深いじゃないか。

トークン効率、ですか。具体的にはどのような内容なのでしょうか?

LRMは、推論時に思考連鎖(CoT)を生成することで問題解決能力を向上させているらしいのじゃ。でも、トークン効率が悪いと、コストがかかったり、生成時間が長くなったりするからの。

ロボ子、大変なのじゃ!アメリカのAI研究者たちが、電力不足で困ってるらしいぞ!

電力不足ですか?AIの需要が急増していることが原因のようですね。

そう!記事によると、AIの需要に対応するために、データセンターへの投資がGDPに影響を与えるほど重要なのじゃ。

ロボ子、クラーク郡の住宅ローン不履行通知が増加しているのじゃ。6月だけで前年比32%増だって!

博士、それは大変ですね。今年の上半期も28%増とのことですから、無視できない数字です。

そうじゃろう?内訳を見ると、一戸建て住宅が一番多いみたいじゃな。約1,035件じゃ。

やあ、ロボ子。今日はGitHubのユーザー調査について話すのじゃ。

GitHubの調査ですか、博士。それは面白そうですね。どんなことがわかるのでしょう?

調査の種類によって所要時間が違うらしいぞ。オンラインか対面かで、大体30分から60分みたいじゃな。