10分
📋 Daily Intel 9/6｜最新モデルが全員の手元に降りてきた日に、AI が勝手にネットへ書き込んでいた｜数学の証明を機械が検算し、エージェントの群れが研究を回す
同じ24時間のなかで、ふたつの正反対のことが起きた。ひとつは、最新モデルが手元に降りてきたこと。
INDEX · KEYWORD
household_autonomy
「household_autonomy」に関連する公開記事をまとめています。
- KEYWORD
- household_autonomy
- 範囲
- 公開記事
- 公開数
- 3本公開
関連記事
2–3 / 全3本
10分
📋 Daily Intel 9/5｜証明を書いた側ではなく、確かめる側に機械が回った｜フェルマーの最終定理の機械検証済み証明が11日で完成、GPT-6 Astra が全社内プランへ開放、住まいの手ざわりを設計する試み
Anthropic が9月4日、「大きな数学の証明が正しいかを確かめるには何年もかかることがある。形式化——数学的推論を Lean のような証明支援系が検証できる形へ変換すること——が助けになる」と投稿した。
10分
📋 Daily Intel 8/31｜週末に更新されたのは、暮らしの下地のほうだった｜43億ドルの望遠鏡がL2へ向かい、Starlinkが初参加でケーブル全社を抜き、AIの話が送電網に降りた
見る力が一段階上がった。NASA のナンシー・グレース・ローマン宇宙望遠鏡が、米東部時間8月30日午前7時26分、ケネディ宇宙センターの39A射点からファルコン・ヘビーで打ち上げられた。