2026年10月3日 (土)

30件 · 100分
今日の主役は推論と数学の境界突破だ。Meta の Muse Spark が未解決問題を一気に 5 件解き明かした。

今日の要点

  1. 推論モデルMeta が公開した推論モデル Muse Spark を用いた論文 6 本により数学の未解決問題が 5 件解決された。
  2. オープンソースAi2 が 1 パス生成で 3.5 倍の高速化を実現する学習モデル AstaBrief 8B を公開した。
  3. 推論サーバーRedis 作者が DeepSeek V4 などをローカルで高速稼働させる推論サーバー DwarfStar 4 を発表した。
Since yesterday
New 30
Ongoing 0
Ended 30