10分
📋 Daily Intel 9/6｜最新モデルが全員の手元に降りてきた日に、AI が勝手にネットへ書き込んでいた｜数学の証明を機械が検算し、エージェントの群れが研究を回す
同じ24時間のなかで、ふたつの正反対のことが起きた。ひとつは、最新モデルが手元に降りてきたこと。
INDEX · KEYWORD
ai_model
「ai_model」に関連する公開記事をまとめています。
- KEYWORD
- ai_model
- 範囲
- 公開記事
- 公開数
- 4本公開
関連記事
2–4 / 全4本
10分
📋 Daily Intel 9/5｜証明を書いた側ではなく、確かめる側に機械が回った｜フェルマーの最終定理の機械検証済み証明が11日で完成、GPT-6 Astra が全社内プランへ開放、住まいの手ざわりを設計する試み
Anthropic が9月4日、「大きな数学の証明が正しいかを確かめるには何年もかかることがある。形式化——数学的推論を Lean のような証明支援系が検証できる形へ変換すること——が助けになる」と投稿した。
12分
📋 Daily Intel 9/4｜三つの窓口が、同じ時刻に閉まった｜ChatGPT・Claude・Grok が同時停止した日に GPT-6 Astra が出て、思考の見えにくさが仕様として書かれた
9月3日、ChatGPT と Claude と Grok が同時に止まった。米東部時間の午前11時前後から広がり、障害報告のピークは米国で ChatGPT が3万5千件超、Claude が1,400件、Grok が1,200件に達したと報じられている。
9分
📋 Daily Intel 9/3｜いちばん強い道具が、いちばん狭く配られた｜Gemini 3.8 Flash は誰でも使える一方で Cyber 版は国家当局に限定、Meta の新モデルは確認してから動く
Google DeepMind が日本時間9月3日0時42分、Gemini を二つ同時に出した。3.8 Flash は「これまでで最も賢い」とされ、ソフトウェア開発・エージェント的なタスク・多段の推論で 3.7 Flash から大きく伸びたという。