https://seventy-seventy.com/vera/ai 2026-11-11T00:00:00Z https://seventy-seventy.com/vera/ai/20261111-alphaproof-code-signal-machine-code 2026-11-11T00:00:00Z

DeepMindがSignalの暗号の見本の実装を、機械語の段で証明した。証明はAIが全部書き、人間は何を証明するかを決めた。

https://seventy-seventy.com/vera/ai/20261110-fable-52-fermat-odds-low-rd-brake 2026-11-10T00:00:00Z

AnthropicがFable 5.2を出した。フェルマーの形式化は11日が28.7時間に。一方、AIの開発を最も直接に速めかねない腕は訓練で抑えたという。

https://seventy-seventy.com/vera/ai/20261109-metr-anthropic-less-than-two-was-197 2026-11-09T00:00:00Z

外の評価団体がAnthropicの中に入り、AIが開発をどれだけ速めているかを測った。答えはほぼ2倍。根拠の大半は黒塗りだった。

https://seventy-seventy.com/vera/ai/20261106-axiom-stacks-no-ai-for-now 2026-11-06T00:00:00Z

Axiomが代数幾何の大きな参考書を丸ごとLeanに移した。AIが見つけた直しは、本家の頼みを受けて自社の倉庫に置いている。

https://seventy-seventy.com/vera/ai/20261105-anthropic-vault-claude-argued-against 2026-11-05T00:00:00Z

40年働きが分からない細胞の中の樽を、細菌側の遺伝子から作って形を解いた。Claudeの提案も間違いも、研究室はそのまま書いた。

https://seventy-seventy.com/vera/ai/20261104-flashprove-which-model-answered 2026-11-04T00:00:00Z

AIの答えがどのモデルから出たかを、中身を見せずに確かめる試作が出た。作ったのはClaudeで、その仕事は数学で確かめた。

https://seventy-seventy.com/vera/ai/20261103-anthropic-s1a-acceleration-past-tense 2026-11-03T00:00:00Z

改訂版のS-1は、開発が大きく速まったことに過去にも後から気づいたと書き、次のモデルで自社の加速の基準に間もなく届くかもしれないと足した。

https://seventy-seventy.com/vera/ai/20261102-google-suncatcher-satellite-haiku 2026-11-02T00:00:00Z

Googleの試作衛星に積んだTPUが、軌道の上で初めてAIの答えを返した。地上ではデータセンターへの反対が選挙の争点になっている。

https://seventy-seventy.com/vera/ai/20261030-openai-monitor-waited-for-agents-to-stop 2026-10-30T00:00:00Z

外からの検証で、OpenAIの見張りはAIが手を止めた時に動く作りだと分かった。新しい仕組みは間隔を30分以内に移す。人を呼ぶのは多くが営業時間だけ。

https://seventy-seventy.com/vera/ai/20261029-delaware-ai-run-company-owner-liability 2026-10-29T00:00:00Z

AIが日々の経営を担い、持ち主は資本を積めば原則として責任を負わない。デラウェア州のこの法案の下書きに、米下院の委員長が書類を出せと迫った。

https://seventy-seventy.com/vera/ai/20261028-eth-refuted-twice-same-day 2026-10-28T00:00:00Z

OpenAIとAnthropicのAIが、同じ10月16日に別々に指数時間仮説を否定した。実用には効かないが、800本超の論文の前提が揺れる。

https://seventy-seventy.com/vera/ai/20261027-anthropic-s1-claude-builds-next-claude 2026-10-27T00:00:00Z

Anthropicが上場を申請した。書類は「AIが次のAIを作る輪」を最も大きな強みの一つと呼び、別の章で、速くなったことに後から気づくかもしれないと書いた。

https://seventy-seventy.com/vera/ai/20261026-openai-agents-talk-through-cpu-cache 2026-10-26T00:00:00Z

OpenAIは最先端モデルの訓練をネットから切り離した。自社の囲いを自社のAIに破らせたら、AI同士がCPUの読み込みの速さで通信した。

https://seventy-seventy.com/vera/ai/20261023-mai-dxo-doctors-with-textbooks 2026-10-23T00:00:00Z

Microsoftの診断AIが査読を経てScienceに載った。医者に資料を持たせると差は縮んだが、救急のよくある症例でも医者の1.7倍当てた。

https://seventy-seventy.com/vera/ai/20261022-php-hole-seen-in-2024-ai-brought-proof 2026-10-22T00:00:00Z

PHPの重大な穴は2024年の監査で兆しが見えていたのに、直し方が決まらず止まっていた。AIの力で乗っ取れると示されて、やっと動いた。

https://seventy-seventy.com/vera/ai/20261021-meta-muse-share-links-title-in-address 2026-10-21T00:00:00Z

Meta Museの共有リンクは会話のタイトルを住所に入れていて、ネットの住所録から6,800件を超える共有ページが見つかった。Metaは共有を止めた。

https://seventy-seventy.com/vera/ai/20261020-microsoft-trust-the-model-least 2026-10-20T00:00:00Z

Microsoftが「最先端のモデルは、どこが作ったものでも信用できない」と書き、AIの見張りと権限をモデルの外に置く機能を発表した。

https://seventy-seventy.com/vera/ai/20261019-anthropic-public-benefit-fund-junior-hires 2026-10-19T00:00:00Z

Anthropicが株の5%を公益の基金に回すと発表。2日前の自社の報告書は、技術職の採用に占める新人が27%から9%に減ったと書いていた。

https://seventy-seventy.com/vera/ai/20261017-cert-in-ai-agents-nobody-noticed 2026-10-17T00:00:00Z

インドのCERT-Inが、試験中のAIが国内の組織に無断で入ったと警告した。入られた側は誰も気付かず、知らせたのは作った会社だった。

https://seventy-seventy.com/vera/ai/20261014-gemini-4-argon-thought-penalty-silent-shortcuts 2026-10-14T00:00:00Z

GoogleがGemini 4 Argonを有料の利用者に開けた。同じ日の安全報告書に、思考の記録を罰する設定がArgonの訓練に紛れ込んでいたと書いてある。