【AIニュース】AIが80年来の数学難問を自力証明、760Mパラメータで最先端を超える小型モデルも登場OpenAIの汎用推論モデルが1946年提唱の未解決数学問題を自律的に証明し、AI史上初の本格的な科学的発見を達成。一方でZyphra社のZAYA1-8Bは760Mの実行パラメータで数学オリンピック予選91.9%を記録し、小型モデルの常識を塗り替えた。
【AIニュース】オープンウェイトのフロンティア追随とエージェントインフラの成熟Kimi K2.6・DeepSeek V4のオープンウェイトモデルがクローズドモデルと並ぶ性能を示し、KVキャッシュ圧縮やエッジ推論インフラの整備が実務コストを急速に引き下げている。