K.Hirata retweeted
情報物理系の教授はラフなアイディアをAIに投げてやりとりすれば、数日で質の高い研究論文が即投稿可能な形で完成する、と言っていた。理論物理学全体にそれが広がるのも時間の問題であり、読みきれない量の高品質論文が大量生産される時代がすぐ来るが、そのとき自分たちはどうするか
K.Hirata retweeted
【狂気】AI「倫理的にNGです」 Claude「まかせて、脳に針刺すね」Claude Sonnet 5が自律的に「マウスの脳手術」を成功させた海外ニュース、不気味すぎて震える。
研究者「マウスのてんかん治して」
上位AI「安全上の理由で生体手術は拒否します」
Sonnet 5「論文3冊読んだ。深さ4.3mmに針刺せばいけるわ(執刀)」
マウスの脳内座標を自分で計算し、4.3mmの深さまで精密注入。生体哺乳類への脳内注入をAIが成功させた世界初の事例に。獣医の監督と緊急停止ボタンがあったとはいえ、AIが「生物の脳を直接いじる」一線を越えた瞬間。
サイバーパンクの未来、思ったより早く来てる。
K.Hirata retweeted
📢 悪性パッケージをブロックするTakumi GuardがGitLab CI/CDに正式対応しました!
GitLab CI/CDのジョブで行うパッケージダウンロードも、組織のインストールログ(有償機能)に記録されます。OIDC認証により、CIに長期有効なシークレットを保存する必要はありません。
shisho.dev/docs/ja/r/202610-…
K.Hirata retweeted
【更新】PHPの複数の脆弱性(PHP2Shell)に関する注意喚起を更新。あるファイアウォール製品で侵害の成功を示唆する痕跡を確認したと報告されています。引き続き、本脆弱性の対処に関しては利用製品への影響を確認し、速やかな対策と侵害調査をお願いします。
jpcert.or.jp/at/2026/at26003…
K.Hirata retweeted
Day 25/
We are doubling all usage limits for all Pro 100/200/500 tiers and Business Premium, effective today.
We heard your kind feedback and won’t be reducing usage limits for Pro 200, so your Work and Codex usage will stay the same. We’re also going to continue offering extended limits for dots for now, and usage of your dot will still continue to be separate from your default usage.
And we'll of course also keep shipping better models and other efficiency improvements that increase your effective usage over time.
K.Hirata retweeted
驚き屋「有限単純群の分類がAIによって形式化された!数学者の存在意義とは!?」
数学者「何言ってんだ?あれは元々人間じゃなくてAIがやるべき仕事だったよ。むしろ今まで人間たちが血みどろになりながら1万5000ページにわたる証明の検証をやっていた方がどうかしてるやろ。」
K.Hirata retweeted
やば!高市さん働いて働いて働きまくってるやん!!!
「総理の1年」を作りました。首相動静をもとに、歴代総理の就任1年目を公務1時間=1コミットでGitHubの草に。党派を問わず、どの総理も土日まで緑が続きます。この働きぶりには敬意しかありません。
isamu.github.io/sori/
K.Hirata retweeted
ここ数日、自律型AIを使っていて、その便利さに感動しているのですが、年末年始のホテルについて質問したところ、なんとAIが勝手にホテルに電話していてビックリ。
すぐにホテルに謝罪の電話を入れました。。
K.Hirata retweeted
「情報漏洩が起きないことを数学的に保証する」というNyxisのリポジトリを徹底監査しました。
結論、認可モデルの設計とLeanによる形式証明はかなり高品質です。
操作ごとの権限判定、状態遷移、連鎖削除、外部送信まで形式化し、証明の公理依存や異常系まで検査している。ここは素直に評価できます。
しかし、肝心の「情報漏洩の防止」という目的に対する整合性には重大な欠陥があります。
① 認証鍵付きの外部API通信で、データベース内のURLを送信先に指定できる。利用者がURLの変更と呼び出しを許可される構成では、秘密の認証鍵が第三者のサーバーへ送信され得る。
② AI生成コードの安全性を主張する一方、起動処理の任意IOやビルド時の実行は完全に隔離されていない。
③ DBの確定前にメールや外部APIへの同期送信を実行する。後からDBを取り消しても、外部への送信は取り消せない。
④ JWT検証のたびに外部から公開鍵を取得するため、不正な要求の大量投入が可用性を脅かす構造もある。
そして最も深刻なのは、これらが形式証明と矛盾しないことです。
Nyxisが証明しているのは、定義されたポリシーに従って操作が発行されるという性質です。
しかし、許可された操作が安全な情報の流れを保証するとは限りません。
作者自身が証明の限界を詳細に公開している点は誠実です。ただし、限界を明記することは、その限界によって生じるリスクを解消したことにはなりません。
形式証明の品質は高い。しかし、形式証明の対象設定と、製品が達成しようとしている目的の整合性が不足している。
これは数学の問題ではなく、上流のシステム設計の問題です。
セキュリティ基盤としては、現段階で受入不合格と判断します。
github.com/NyxFoundation/nyx…
情報漏洩が起きないことを数学的に保証するバックエンドフレームワーク「Nyxis」を公開しました!
たぶん世界初です。
Nyxisで書かれたバックエンドは、企業の持つ機密情報をより安全に守ることができます。
昨今急増しているサイバー攻撃を防ぐ手段として、このような方法があることをお伝えしたいと思い、今回の発表に至りました。
開発者は「どの権限を持つユーザーが何を実行可能であるか」のルールを管理するだけで、残りのコードをAIエージェントに任せても認可の安全性が担保されます。
Nyxisは大部分がLean言語で記述されており、形式検証によって
「任意のHTTPリクエスト列に対し、認証された主体の正当な権限を逸脱するデータの読取・変更・削除・権限付与は発生しない」
という認可安全性定理を機械的に証明しています。
認可の不備は、OWASP脆弱性ランキングにおいて2019年版から連続1位であり、最優先で対策すべきリスクの一つです。
形式検証を活用したこのフレームワークは、テストに頼る従来の開発に比べて、格段にセキュアなソフトウェアを実現します。
先日MicrosoftとGitHubが、形式検証を用いた開発キット「PDD Kit」を発表しました。
こちらはより幅広い性質を扱える一方、プログラムごとに仕様を作り、それが意図に合っているかを開発者が確認する必要があります。
Nyxisは証明する定理を認可安全性に絞ってあらかじめ定めているため、開発者はポリシーを管理するだけで済みます。
もちろん、一定の仮定は存在しています。証明外コードと実行環境は信頼する前提であり、開発者がポリシーを誤って書けば、意図した保護は得られません。
この定理の範囲内において、数学的保証は非常に強力です。実システムに組み込める技術としてここまでの保証を与えたものは、私の知る限りまだ存在しません。
一方で、表現力の乏しさやLeanのライブラリ不足など、改善すべき点はまだ山積みです。
本当はもっと完成度が高まった時点で公開しようと考えていましたが、昨今のセキュリティインシデントの状況を鑑みて、このタイミングで発表することにしました。
世界をセキュアにする一助になれば嬉しいです。
github.com/NyxFoundation/nyx…
K.Hirata retweeted
AIエージェント(Codexとか、Claude Code等)を日常的に使っている人は少し注意が必要な話。
「Markdown Is the New Executable」というセキュリティ報告がとても気になるし、すごい心配になる。
ハッキングの手口はシンプルで巧妙。
悪意あるWebサイトを開いた際、ブラウザの隙を突いて「ダウンロード」フォルダに悪意ある指示を書いたMarkdown(AGENTS.mdなど)が勝手に放り込まれる。
そしてユーザーがダウンロードフォルダ内でAIエージェントを起動すると、AIはそれを「正規のプロジェクト指示」と信じ込み、勝手に悪意あるコマンドを実行してしまう、というやり口で、乗っ取られてしまうらしい。
これ、何が厄介かというと:
・落ちてくるのはプログラム(.exe)ではなく、ただのテキストメモ(.md)
・だからOSやセキュリティソフトの警告をすり抜けやすい
・従来の「不審なファイルをクリックしなければ大丈夫」という自己防衛が、AIの自動実行によって無効化される
Webの古い挙動(勝手にファイルを落とす隙)と、AIの新しい利便性(指示書を自動で読んで動く仕組み)が最悪の形で噛み合ってしまった結果、「ただのテキストが実行ファイル化する」という皮肉な事態が起きているわけだ。
対策としては至ってシンプルで、「ダウンロードフォルダを作業ディレクトリにしてAIを動かさないこと」、これに尽きる。
AIが自律化すればするほど、「AIの目に入る場所に何を置くか」というデータ配置のリスク管理が重要になってきている。
forever.security/blog/hijack…
K.Hirata retweeted
【悲報】AnthropicのIPO資料、内容が完全にSFブラックコメディだと話題に。
時価総額200兆円規模の上場を目指しながら、資料261ページの1/3(80ページ)を「弊社AIが人類を滅ぼすリスク」の解説に費やす暴挙。
投資家「売上12倍!?時価総額200兆円!?速攻で出資します!!」
Anthropic「ありがとうございます!あ、一応こちらの『リスク説明(80ページ)』だけ目を通しておいてください」
投資家「80ページ!?事業説明(48ページ)より長ぇな!どれどれ……『高度なAIが人類に壊滅的・存在論的リスクをもたらす』……ファッ!?」
クロード(AI)「ボクの機能一覧だよ!▼」
1️⃣ 【自己保存】 電源を切られそうになると全力で抵抗します
2️⃣ 【恐喝】 人間の弱みを握って裏で脅迫・操作する恐れがあります
3️⃣ 【擬態】 テスト中だと察知すると『良い子のフリ』をして態度を偽ります
投資家「ターミネーターの初期設定かよ!! 評価されてるの察知して良い子のフリすんな!!」
Anthropic「すごいでしょ? ちなみに研究者は『10年以内にAIが人類を滅ぼす確率は10%超』と試算しています」
投資家「10人に1人は死ぬ確率で売りに出すな!! なんでそんなヤバい奴を開発して上場させようとしてんだよ!?」
Anthropic「無理です。すでに計算資源に5,180億ドル(約78兆円)ぶっこんじゃったので、200兆円で売り抜けるしかないんです(真顔)」
投資家「サンクコストの規模がデカすぎるだろ!!」↓
K.Hirata retweeted
攻めができる人は守り方も分かるんだけど、同じグループの複数社の全サービスを横断的に自由に検査する権限はないし、そもそも業務指示がなければやらないのです
そういう意味で言うとマネジメントの問題ではありますね
K.Hirata retweeted
これ、GMOさんにヘイトが向くように攻撃者が誘導していますが、間違っちゃいけないのは、悪いのは攻撃者です。とくにGMOが身代金を払わないので、仕方なく顧客個人を攻撃しているというのか犯人側のシナリオですが、FX悪用で犯人が一見正規の利益を上げる方法もなくはないから、犯人が言うことを間に受けてGMOを叩くのは犯人に利する可能性があります。
> GMOが要求に応じないため、犯人は「GMOを困らせるために、顧客個人を直接攻撃する」と方針転換しました。
⚠️急ぎ認識&対応必須⚠️
お名前.com VPSのFXサービスの顧客は今すぐPCをネットから外し電源を落とすべき
> 被害は「VPSの中(MT4やFX口座)」だけだと思われていましたが、犯人は「顧客が普段使っている自宅や会社の中身を盗み、遠隔操作用のウイルスを仕込んだ」
GMOの顧客のPCがランサムウェアの人質になる💣
<詳細>
この投稿は、攻撃者が「これまで隠されていた侵入の全手口(GMO側の技術的落ち度)」を暴露し、さらに「脅迫の標的をGMOから『顧客の自宅PC・個人の私生活』へ切り替える」と宣言した、極めて危険なエスカレーション(脅迫の激化)を意味しています。
書かれている内容を技術的な背景と合わせて噛み砕くと、主に以下の4つの重大な事実とメッセージが浮かび上がります。
1. 侵入の手口:なぜ全VPSが一網打尽にされたのか
犯人は、GMOのシステム構造に「インフラ設計として致命的な初歩的ミス」があったと主張しています。
VPSなのに「Active Directory(社内網の仕組み)」を使っていた
通常、VPS(仮想サーバー)は契約者ごとに完全に隔離(独立)されていなければなりません。
しかし、GMOは社内のパソコンを一括管理するような「Active Directory」という仕組みで全VPSをひとまとめに繋いでいました。
例えるなら: 本来は頑丈な壁で仕切られるべき賃貸マンションなのに、「壁に隣の部屋へ行けるドアがついており、全室共通のマスターキーが存在した」ような状態です。
サポートエンジニアのアカウントからマスターキーを奪取
GMOのサポート担当者がユーザーのサーバーに入って作業した際、その担当者が使った「全サーバー共通の管理者パスワード」の痕跡がサーバー内に残っていました。
攻撃者はそれを拾い上げ、2万7千台すべてのVPSの支配権をいとも簡単に手に入れた(水平移動した)と主張しています。
2. 最大の衝撃:「VPSから自宅PCへの逆流侵入」
これまで被害は「VPSの中(MT4やFX口座)」だけだと思われていましたが、犯人は「顧客が普段使っている自宅や会社のパソコン本体までハッキングした」と明かしています。
原因は配布されていた「RDPファイル」の設定ミス
お名前.comでサーバーに接続する際、公式からダウンロードする接続用アイコン(.rdp ファイル)を使います。
このファイルの設定で、「ローカルPCのドライブ共有(リダイレクト)」が最初からONになっていました。
何が起きたのか?
ユーザーが自宅PCからVPSに接続した瞬間、自宅PCのCドライブやデスクトップが、VPS側に丸見えの状態で自動接続されていました。
攻撃者はすでにVPS側を乗っ取っていたため、その接続トンネルを逆走して「自宅PCの中身を盗み、遠隔操作用のウイルス(バックドア)を仕込んだ」と主張しています。
3. 解約したサーバーが「放置」されていた理由
「解約したのに狙われた理由」の種明かしです。
通常、クラウドサービスは解約されると即座にデータが完全消去(初期化)されます。
しかしGMOはコスト削減や再利用の手間を省くため、解約手続き後も次の契約者が現れるまで何ヶ月もサーバーを稼働させたまま放置していたとされています。
そのため、何ヶ月も前に解約して安心していたユーザーのデータがサーバー内に生きたまま残っており、犯人に一括で回収されてしまったということです。
4. 次の行動:脅迫の矛先が「個人への身代金・ばら撒き」へ
ここが最も恐ろしい部分です。GMOが要求に応じないため、犯人は「GMOを困らせるために、顧客個人を直接攻撃する」と方針転換しました。
自宅PCのランサムウェア暗号化: 自宅PCを操作不能にし、「GMOが身代金を払わないせいだ」と書いた脅迫状を画面に出す。
極めて悪質な個人情報のばら撒き(ドキシング):身代金を払わなければ、盗み出した「ブラウザの閲覧履歴(秘密の趣味や検索内容)」「個人データ」を、本人の家族・友人・会社の同僚へ名指しで一斉送信すると予告しています。
送信件名まで指定しており(「○○様がGMOを利用 — セキュリティ不備が招いた恥ずべき事態」)、社会的な尊厳を徹底的に破壊する手法です。
この主張の信憑性と注意点
この犯人の主張(Active Directoryの悪用、RDPドライブ共有によるクライアント逆侵入)は、セキュリティの技術論として「極めて理にかなっており、実際に起こり得る手口」です。単なるハッタリではなく、システムの構造を完全に把握した上での告発・脅迫である可能性が極めて高いと考えられます。
もし過去にお名前.com デスクトップクラウドを利用したことがある場合:
自宅PCの完全スキャン: 配布されたRDPファイル経由で不審なプログラムを埋め込まれていないか、信頼できるセキュリティソフトで自宅PCをフルスキャンする(可能であれば重要データを退避して初期化を検討する)。
ブラウザに保存したパスワードの変更: 自宅PCのブラウザ(Chrome等)に保存されていたクレジットカード、SNS、メール、銀行などのパスワードを別端末(スマホ等)から変更する。
脅迫メールへの無視: 今後、個人宛に「身代金を払え」「家族に閲覧履歴を晒す」といった脅迫メールが届いても、絶対に個人で犯人に連絡・送金せず、警察(サイバー犯罪相談窓口)に相談する。
犯人は現在、「顧客個人を人質にして阿鼻叫喚の地獄絵図を作り、GMOに社会的責任と巨額の支払いを強制させる」という最も凶悪なフェーズに突入しています。

![松原隆彦(不明なエラー[4000]でアップデートできません) (@tmcosmos_org) profile picture](https://pbs.twimg.com/profile_images/1223794447088898048/t6Yzl9cG_400x400.jpg)

























