Kimina-Prover：大規模形式推論モデルへのテスト時強化学習探索の適用
大規模言語モデル（LLM）を形式推論タスクに適用する「Kimina-Prover」が発表されました。
研究
2735件
非同期ロボット推論：行動予測と実行の分離
ロボットの行動予測と実行を非同期に分離する新しい推論フレームワークが発表されました。
ScreenEnv: フルスタックデスクトップエージェントの展開
Hugging Faceがデスクトップエージェント「ScreenEnv」を発表しました。
Hugging Face MCPサーバーの構築
Hugging Faceが、モデル推論を高速化するMCPサーバーを構築しました。
Reachy Mini - 今日の、そして未来のAIビルダーのためのオープンソースロボット
ポーキュパイン社が、オープンソースの小型ロボットアーム「Reachy Mini」を発表しました。
AMD MI300向けカスタムカーネルの作成
Hugging FaceがAMD MI300 GPU向けカスタムカーネル作成のガイドを公開しました。
SmolLM3: 小型・多言語・長文脈対応の推論モデル
Hugging Faceが小型で多言語対応、長文脈処理が可能な推論モデル「SmolLM3」を発表しました。
効率的なマルチモーダルデータパイプライン
Hugging Faceがマルチモーダルデータ処理を効率化する新しいパイプラインを発表しました。
NeurIPS 2025 E2LMコンペティション発表：言語モデルの早期学習評価
NeurIPS 2025で言語モデルの早期学習評価に関するコンペティションが開催されます。
Sentence Transformers v5でスパース埋め込みモデルの学習とファインチューニング
Hugging FaceがSentence Transformers v5をリリースし、スパース埋め込みモデルの学習とファインチューニ…
N
オーストラリアにおけるAI—OpenAIの経済青写真
OpenAIがオーストラリア向けにAIの経済的・社会的潜在能力を最大限に引き出すための青写真を発表しました。
AlphaGenome：ゲノム理解を深めるAI
Google DeepMindが、ゲノム機能の理解を深める新しいDNA配列モデル「AlphaGenome」を発表しました。