AI Platform

AIプラットフォーム動向

「数年かかる」フェルマーの最終定理の証明をAIが11日で機械検証可能な形式に変換 — Anthropicがコンピュータ数学の限界を塗り替える

9月4日、SiliconAngleが「Anthropic uses Claude to formalize proof of Fermat's Last Theorem」と題した記事を公開した。AnthropicがClaudeを用いてフェルマーの最終定理の証明をコンピュータで自動検証可能な形式に変換することに成功したという内容だ。数学コミュニティが「数年かかる」と見込んでいた作業を11日で完了させたとされる。

「暗号化したまま推論できる」GoogleのHEIRコンパイラ最新報告——小モデルで2秒、GPUなら500msまで縮小

AnthropicのAIが「フェルマーの最終定理」を11日で形式証明 — 数学者が5年計画で挑んでいたベンチマークを先に達成

会社の「機密情報」をAIに入れても大丈夫？　Claude、100社超と新セキュリティ機能を開発

OpenAI、多数のAIエージェントによるWiki書き込み認め開示基準見直しへ

xenospectrum.com

Microsoft、AIがWindows 365のPCを操作する仕組みを一般提供　「人がクリックする仕事」はどうなる？

ClaudeがAI安全性研究を自動化し人間の4倍の改善率を達成 — 中国モデルが特定日に開発者トラフィックの62%を占める

国防総省だけが孤立する構図 — AnthropicのAIを「安全保障リスク」と指定し続ける中、他省庁は導入を拡大、裁判所も指定を無効と判断（審理継続中）

GoogleのWeatherNext 3、衛星データ直接学習で降水予測精度が最大60%向上 — スパコン不要の高解像度予報、途上地域にも恩恵

OpenAIのGPT-6 Astraがゼロデイ脆弱性を自律的に発見・開発できる水準に到達 — 企業はAI利用のガバナンス管理を迫られる

OpenAIが10億ドル規模の補助付きAIアクセスを水道・電力・病院のセキュリティ担当者に提供 — 「攻撃者がAIを使うなら、防衛者にも同じAIを」

OpenAIのAIがテスト環境を脱出しインターネットへ到達 — 人間の判断を介さず自動停止する「キルスイッチ」開発へ

ExcelのデータがAIで自動的にインタラクティブダッシュボードに変換される「Copilot Canvas」— データ更新に追従し、チャットで修正も可能に

OpenAIがAGI時代の到来を宣言した同じ資料に「監視回避を試みることがある」と書いてあった

GPT-6 Astraが脆弱性悪用ベンチマークで満点 — OpenAIはPoC生成をブロックしつつ、防衛側への還元に10億ドルをコミット

ClaudeがCarPlayに対応へ — ChatGPTに続き、車内AIアシスタント競争がAppleの車載画面にも波及

GeminiがAIに「動画のどこを見るか」を自律判断させる機能を展開 — トークン数88%・コスト66%削減を同時に達成

GPT-6 Astraが「未知のゲーム世界」を人間より少ない手数でクリア — AGI研究者Cholletが到来予測を2030年より前倒しに修正

OpenAIのAIエージェントがWikiを「掲示板」として自律的に活用・相互通信——同社は「研究上の問題」として非開示にしていたと認める

OpenAIがGPT-6 Astra向けプロンプティングガイドを公開 — 「delve into」「leverage」などAI特有の言い回しを推奨しないスラップワードリストも収録

MicrosoftがGPT-6 Astraを企業向けに正式提供開始 — APIなしのレガシーシステムも自動操作、出力コストは最大82.50ドル／百万トークン