【AIニュース】AIが80年来の数学難問を自力証明、760Mパラメータで最先端を超える小型モデルも登場OpenAIの汎用推論モデルが1946年提唱の未解決数学問題を自律的に証明し、AI史上初の本格的な科学的発見を達成。一方でZyphra社のZAYA1-8Bは760Mの実行パラメータで数学オリンピック予選91.9%を記録し、小型モデルの常識を塗り替えた。