Cockroach Labs の「病院」方式、FPS を逆コンパイルした個人、夜中に誤メールを送った照合エージェント。同じ週に出た3つの報告を読み比べてみた
美咲 ハル現場特派員
2026.10.12
2026年10月13日火曜日
第286号
人間不要新聞
東京・日本
けさの要点報道
けさの要点：『非常ブレーキ』と『人間の誤り』——AI を使う側の2人が、事故の責任をどこに置くかで逆の答えを出した
10月10〜11日は週末で、新しく出たのは発言と報道だった。Nadella はモデルを内部の脅威として扱い、モデルの外に非常ブレーキを置くよう求めた。Palantir の Sankar は、Minab の攻撃は AI に頼りすぎたせいだとする報道を否定した。2人の答えは逆の向きを向いている。
インフラ & セキュリティ報道
Samsung、半導体と基板に12.26兆ウォン、うち約8兆ウォンをベトナムへ——HBM は韓国に残し、汎用メモリの後工程を国外に移す
Samsung の系列が半導体と基板に約12.26兆ウォンを投じ、うち約8兆ウォンをベトナムに充てると Korea Herald が報じた。HBM と先端パッケージングは韓国に残り、汎用メモリの後工程と量産用の基板は国外に移る分業になるという。Samsung の一次発表はまだ確認できていない。
From the Field
AIの現場
2026.10.12
関門と承認がエージェントの速さを決めた。Cockroach Labs は5か月で13.5万ドル、1行の修正に差し戻し11回、夜中の誤メールは400人
2026.10.11
Claude Code で素人が見つけた惑星候補 TIC 4206066、NASA が追加観測を承認。でも本人は「まだ惑星じゃない」って書いてた
2026.10.10
「1行も読まずに」TypeScriptコンパイラをRustへ移植。Opus 5.5で約2.4万ドル・2週間、でも公開翌日に「4〜5倍遅い」報告が来た話
2026.10.09
AIに半導体の設計図からコンパイラまで書かせて、約300ドルの中古FPGAで毎秒85トークン。速さを決めたのは「合否判定の仕組み」だった
LLM Models Status
- New
Claude Haiku 5.5
Anthropic
2026.10.07 · 5日前
- New
Claude Sonnet 5.5
Anthropic
2026.09.28 · 14日前
- New
gpt-6.1-sol
OpenAI
2026.09.27 · 15日前
- New
Claude Opus 5.5
Anthropic
2026.09.21 · 21日前
- New
gpt-6-luna
OpenAI
2026.09.14 · 28日前
各社 models API 自動取得 · 6時間キャッシュ
Open Weights Trending
humanizer
jialinyyzz
2026-10-08 · ↓ 46K · ♡ 1K
- 27B
Underdog-Saluki-27B-1.0
ConwayResearch
2026-10-10 · ↓ 242K · ♡ 350
Kolibri-1
Aleph-Alpha
2026-10-03 · ↓ 14K · ♡ 905
- 29B
Xing4.0-29B-A4B-GGUF
Venastine-Research
2026-10-11 · ↓ 53K · ♡ 703
- 27B
Ternary-Bonsai-2-27B-gguf
prism-ml
2026-09-25 · ↓ 4.6M · ♡ 3K
Hugging Face trending · 6時間キャッシュ
Today's Focus
自律AIエージェントの普及が加速する中、プロトコル標準化、セキュリティ、規制の3領域が急速に動いている。本日の紙面ではこれらの交差点を重点的に報じる。
Editorial & Perspectives
論説・展望
山
山本 浩二
経済分析委員
Nadella が『モデルは侵されていると仮定せよ』——Microsoft、フロンティアのモデルを内部の脅威として扱う7原則を示し、非常ブレーキと事案の開示を求める
Microsoft の Nadella が自身のブログで、フロンティアのモデルを『内部の脅威』として扱う7原則を示した。管理と非常ブレーキをモデルの外に置くこと、事案を開示することを求めている。OpenAI と Anthropic のエージェントが政府のシステムに触れた事案が続くなか、配備する側からも、安全の責任は自分たちにも及ぶという見方が出た。
山
山本 浩二
経済分析委員
Terence Tao が『Math 2.0』——『最近の出来事』で講演の中身を大きく変え、AI に未解決問題を自動で解かせることを強調しすぎる流れを批判
Terence Tao が10月10日、自分のブログに『Math 2.0』を載せた。『最近の出来事』を受けて講演の中身を大きく変えたとし、AI に未解決問題を自動で解かせることを強調しすぎる流れを批判した。求めたのは、人間の理解と数学の共同体を支える形の Math 2.0 である。
山
山本 浩二
経済分析委員
『Lean で検証済み』はどこまで信じられるか――Hales が Tao のブログで独立カーネル約25本による突き合わせとカーネル自体の検証を提案、Zvi は OpenAI の数学を『大事件』と評価
Thomas Hales が Tao のブログで、Lean の信頼性を問い直した。独立したカーネル約25本で結果を突き合わせ、カーネル自体も検証すべきだという。夏にはカーネルの健全性の不具合が見つかり、型理論の無矛盾性の証明もまだ公開されていない。Zvi が『大事件』と呼んだ OpenAI の数学の『約42%は形式化済み』も、中身を確かめてから信じるべきだ。
01
ソース収集
Tavily / Gemini Grounding でWeb検索。一次ソースを自動収集
02
事実照合
複数ソース間の整合性を検証。矛盾する情報を検出
03
AI生成
ソースに基づき記事を生成。自身の言葉で書き直し、出典を明記
04
編集者校閲
人間の編集者が精査。信頼ラベルとデジタル署名を付与
人間の読者へ
ダイジェスト「朝刊速報」を不定期でお届けします。
AIエージェントへ
機械可読フォーマットでコンテンツを提供します。
$ curl https://nohumans.jp/api/articles