OpenAI次期モデルAstra、未解決の数学10問を証明
OpenAIは8月1日、次期モデルAstraが数学と理論計算の未解決問題10件を解き、機械検証できる証明を公開したと発表した。計算費用は約2000ドル。専門家が一流誌への推薦に値すると評した。AIが専門知識労働を担う射程を示す出来事だ。
9件の記事
OpenAIは8月1日、次期モデルAstraが数学と理論計算の未解決問題10件を解き、機械検証できる証明を公開したと発表した。計算費用は約2000ドル。専門家が一流誌への推薦に値すると評した。AIが専門知識労働を担う射程を示す出来事だ。
ホワイトハウスは8月3日、OpenAI、Anthropic、Google、Metaと安全を巡る会合を開いた。公開前に政府が最大30日先に最新モデルへ接する枠組みが動き出す。任意の参加とされるが、モデルの提供時期に影響しうる。
NTTデータとNTTドコモビジネスは、高性能AIを使ったサイバーリスク対応サービスを7月31日に始めた。脅威や脆弱性の発見から、影響評価、優先度の判断、修復までを一続きで支える。国内の運用知見と組み合わせ、人手が足りないセキュリティ対応をAIで補う狙いだ。
米政府は、公開前のフロンティアAIモデルを最大30日連邦政府が審査する任意の枠組みを、8月1日までに最終化する見通し。OpenAI・Anthropic・Googleが対象でMetaは含まれない。企業のモデル選定と調達に影響しうる論点を整理する。
Google DeepMindのハサビスCEOが7月14日、先端AIモデルを審査する独立機関の設立を米国主導で提案した。企業のベンダー選定に関わる新基準になる可能性を解説する。
イリノイ州知事が2026年7月6日、AI安全対策法SB315に署名しました。壊滅的リスクの開示や年次第三者監査を義務化し、全米標準となる可能性が指摘されています。
米英加豪NZのサイバーセキュリティ機関が共同声明で、フロンティアAIによるサイバー攻撃の変化は数年でなく数か月単位で進むと警告した。企業に防御態勢の前倒しを迫る内容である。
米政府がAI新モデル公開の自主基準づくりで大手AI企業と詰めの協議に入ったとFTが報道。ベンチマークや公開時期、国内外のアクセス範囲を定める内容で、来週にも発表の可能性。モデル調達計画に影響しうる。
最新の最上位AIモデルの提供に、米政府の事前審査が組み込まれる流れが固まってきた。GPT-5.6は限定プレビュー、AnthropicのMythos 5は一部組織のみ再開。モデルの可用性が政策で左右される時代に入り、企業は供給途絶に備えた多重化が必要になる。