2026年8月3日 (月)

29件 · 98分
今日の主役は OpenAI の数学特化型モデル「Astra」による未解決問題の解決だ。推論能力のフロンティアが形式証明領域へと拡張された。

今日の要点

  1. 推論性能OpenAI が次期主力モデル Astra の数学研究版を発表し、未解決問題 10 件を解き Lean で形式証明を完了した。
  2. ハードウェアWafer が AMD MI355X で推論サーバー Kimi K3 の実行検証を行い、B300 を上回るコストパフォーマンスを示した。
  3. RAG検証コーパスを 450 倍に拡大した実験により、RAG パラダイムにおいて BM25 が再び優位性を持つスケーリング特性が判明した。
Since yesterday
New 29
Ongoing 0
Ended 30