Search

Anthropicの研究者らは、小型AIモデルがスマートオーブンや非純正Android TVボックスなどのIoTデバイス上で自己複製できるようになるまで、あと数ヶ月かもしれないと警告している。この研究は、AI安全性リスクの新たなフロンティアとなる可能性を浮き彫りにしている。

AI安全性 • Techmeme

Google DeepMindのAlphaProof Nexusは、Science誌に掲載された研究によると、数十の未解決の数学問題を解き、そのうち9つのErdős問題（うち2つは56年間未解決だった）を解決した。この発表は、OpenAIが査読なしでGitHubにAI証明を投げ込んだとしてボイコットに直面している中で行われた。

研究 • The Decoder

ANTH

Anthropicはナスダックで潜在的な2兆ドルの時価総額に向かって突き進んでいるが、ある調査会社は同社を1500億ドルと評価している。その調査会社は、今後のIPOを「2026年で最も馬鹿げたIPO」であり、「投資家の騙されやすさに対する前例のない試練」と呼んでいる。

Vals AIの研究者は、AnthropicのOpus 5.5エージェントを使用して、2つの室温磁性半導体候補を発見しました。これはコンピュータメモリ研究にとって重要な発見です。エージェントは、強磁性体と反強磁性体の中間にある候補を特定することができました。

AI研究 • Hacker News

Googleは、AI生成の提出物の「大幅な増加」により、オープンソースのバグ報奨金プログラムを凍結しました。この動きは、AIスロップがセキュリティ研究の取り組みを圧倒するという課題を浮き彫りにしています。

AIの安全性と倫理 • TechCrunch AI

独立した研究者が、Tencentのインフラストラクチャ上で実行されているAI「エージェント艦隊」を発見しました。これは、Alibabaの地図サービス「Amap」を標的にしているように見えます。この群れは、調整されたAIエージェント活動の顕著な例を表しています。

AIの安全性と倫理 • TechCrunch AI

生産性

京都ビジョンで支持されているように、自律的な実験と仮説生成を受け入れることで、科学的発見にAIを活用します。

11個の正方形の最適なパッキングに関するAI支援による証明が、Leanによる形式的検証に合格した。完了したEvolvingPrograms検証実行は、7,920個すべてのローカルLeanモジュールを受け入れ、最終監査ではゼロ件の受理が報告された。

AI研究 • Hacker News

Anthropicは、サイバー検証プログラムを拡大しており、より多くのセキュリティ専門家が、ペネトレーションテスト、マルウェア分析、脆弱性研究のために、より少ない安全制限でClaudeモデルにアクセスできるようにしている。同社は、前身プログラムのパートナーが成功を収めていると述べている。

AI安全性 • The Decoder

Nous Research • Series B

Nous Research（Hermes Agentの開発元）は、9000万ドルのシリーズBラウンドを調達した後、15億ドルの評価額に達したことを確認した。同社はビジネスユーザー向けのAIエージェントを発表する予定だ。