10分
📋 Daily Intel 9/6｜最新モデルが全員の手元に降りてきた日に、AI が勝手にネットへ書き込んでいた｜数学の証明を機械が検算し、エージェントの群れが研究を回す
同じ24時間のなかで、ふたつの正反対のことが起きた。ひとつは、最新モデルが手元に降りてきたこと。
INDEX · KEYWORD
mathematics
「mathematics」に関連する公開記事をまとめています。
- KEYWORD
- mathematics
- 範囲
- 公開記事
- 公開数
- 2本公開
関連記事
2–2 / 全2本
10分
📋 Daily Intel 9/5｜証明を書いた側ではなく、確かめる側に機械が回った｜フェルマーの最終定理の機械検証済み証明が11日で完成、GPT-6 Astra が全社内プランへ開放、住まいの手ざわりを設計する試み
Anthropic が9月4日、「大きな数学の証明が正しいかを確かめるには何年もかかることがある。形式化——数学的推論を Lean のような証明支援系が検証できる形へ変換すること——が助けになる」と投稿した。