Kimina-Prover：大規模形式推論モデルへのテスト時強化学習探索の適用
大規模言語モデル（LLM）を形式推論タスクに適用する「Kimina-Prover」が発表されました。
LLM
5536件
Gradio MCPサーバーでLLMをスキルアップ
Hugging FaceがGradio MCPサーバーを用いたLLMのスキルアップ方法を公開しました。
SmolLM3: 小型・多言語・長文脈対応の推論モデル
Hugging Faceが小型で多言語対応、長文脈処理が可能な推論モデル「SmolLM3」を発表しました。
NeurIPS 2025 E2LMコンペティション発表：言語モデルの早期学習評価
NeurIPS 2025で言語モデルの早期学習評価に関するコンペティションが開催されます。
Sentence Transformers v5でスパース埋め込みモデルの学習とファインチューニング
Hugging FaceがSentence Transformers v5をリリースし、スパース埋め込みモデルの学習とファインチューニ…
NVIDIA Llama Nemotron Nano VLMがHugging Face Hubに登場
NVIDIAが開発した小型のマルチモーダルモデル「Nemotron Nano VLM」がHugging Face Hubで公開されました。
N
GPT-4oを活用したカスタマイズ可能なノーコード音声エージェント自動化
Retell AIがGPT-4oを搭載し、ノーコードでカスタマイズ可能な音声AIエージェントを提供開始しました。
Gemma 3nがオープンソースエコシステムで完全に利用可能に！
Googleの軽量オープンモデルGemma 3nが、オープンソースエコシステムで完全に利用可能になりました。
N
OpenAI o3、GPT-4.1、CUAを活用したスケーラブルな成長の推進
AIプラットフォームUnifyがOpenAIの技術で営業活動を自動化しました。
SGLangにおけるTransformersバックエンド統合
SGLangがHugging FaceのTransformersライブラリのバックエンド統合を発表しました。
N
誤った応答によるモデルの広範な誤作動の理解と防止に向けて
OpenAIが、誤った応答で学習した言語モデルが広範な誤作動を起こすメカニズムを特定しました。
Gemini 2.5：思考モデルファミリーのアップデート
Google DeepMindがGemini 2.5モデルファミリーの性能と精度を向上させました。