今日は OpenAI、社内フロンティアモデルの数学的成果を論文アーキテクチャとして公開──GitHubに722本の原稿と形式証明を収録

今日の核はフロンティアモデルの数学的基盤のオープン化にある。OpenAI が GitHub に 722 本の原稿と形式証明を公開したと同時に、Mistral AI が 1 兆パラメータの Mistral Large 4 を発表した。