Tw

生産性

AIはオープンソースライブラリ向けの数学的なセキュリティ証明を生成でき、ソフトウェア検証を強化し、脆弱性を減らすことができます。

Disruptive • Unknown

ダラスに拠点を置く投資会社Disruptiveは、AI、防衛、ソフトウェアへの投資のために100億ドルを調達し、運用資産を倍増させた。同社は単一案件SPVから裁量型ファンド構造へ転換し、各社に10億ドルずつ出資して10社の後期段階企業をサポートする計画だ。

Artificial AnalysisはIntelligence Index v5を発表し、コーディングと科学に関する2つの新しいベンチマークと3つのアップグレードを追加した。現在、インデックスの大部分は非公開データセットに基づいて構築されている。同組織によると、Claude Opus 5.5（max）がスコア58で首位に立っている。

AI研究 • Techmeme

サイバーセキュリティスタートアップのCathedralは、バグバウンティプログラムの一環として、AIエージェントを用いてサードパーティ製ソフトウェア経由でAnthropicの内部システムに侵入した。Anthropicは営業、人事、ITデータへのアクセスを確認したが、侵害の深さについては異議を唱えており、外部ソフトウェア依存を通じた露出を浮き彫りにしている。

AI安全性 • The Decoder

ニューヨーク州のKathy Hochul知事は2つの法案に署名した。一つはAIチャットボットが未成年者に対して「安全でない機能」を使用することを禁止するもの、もう一つはインターネット接続のベビーモニターにセキュリティ機能を義務付けるものである。これらの法律は、子どもに対するAIリスクを抑制する州レベルの取り組みを強化する。

政策 • Techmeme