今日のAIニュース｜OpenAIのAstraが10年来の数学難問を10個攻略・Lean検証つき
リアクション
2026年08月02日
今日のAIニュース｜OpenAIのAstraが10年来の数学難問を10個攻略・Lean検証つき
AIで開発する人へ。海外AIの一次情報を、深掘りして毎日お届けします。
▼チャプター
00:00 オープニング
00:23 OpenAIのAstraが10年来の難問を10個攻略
01:24 証明はLean 4で機械検証・1問2000ドル未満
02:24 まとめ
▼出典
- Ten advances in mathematics and theoretical computer science https://openai.com/index/ten-advances-in-mathematics
―
音楽: "Static Motion" Kevin MacLeod (incompetech.com), Licensed under Creative Commons: By Attribution 4.0 — creativecommons.org/licenses/by/4.0/
AIで開発する人へ。海外AIの一次情報を、深掘りして毎日お届けします。
▼チャプター
00:00 オープニング
00:23 OpenAIのAstraが10年来の難問を10個攻略
01:24 証明はLean 4で機械検証・1問2000ドル未満
02:24 まとめ
▼出典
- Ten advances in mathematics and theoretical computer science https://openai.com/index/ten-advances-in-mathematics
―
音楽: "Static Motion" Kevin MacLeod (incompetech.com), Licensed under Creative Commons: By Attribution 4.0 — creativecommons.org/licenses/by/4.0/
