OpenAI o4-mini 是OpenAI推出的小型推理模型，專為快速、經濟高效的推理而優化。OpenAI o4-mini 在數學、編程和視覺任務方面表現出色，是 AIME 2024 和 2025 ...

Kimina-Prover是月之暗面與Numina團隊合作推出的大型數學定理證明模型，模型采用大規模強化學習訓練，能以類似人類的方式進行推理，在Lean 4語言中嚴謹地證明...

破殼AI口語是AI英語口語學習應用，基于AI技術為用戶提供個性化口語練習體驗。破殼AI口語涵蓋生活、校園、旅游、職場等多場景對話，幫助用戶提升流利度、語法...

GLM-Z1-32B是智譜公司開源的新一代推理模型，具體參數版本為GLM-Z1-32B-0414 。GLM-Z1-32B基于 GLM-4-32B-0414 基座模型開發，基于深度優化訓練，在數學、代...

可靈2.0是快手推出的新一代 AI 視頻生成模型，現已上線可靈AI視頻平臺。平臺更新包含可靈2.0（大師版）和可圖2.0兩大基礎模型。可圖2.0大幅提升圖片生成質量...

Agent Development Kit（ADK）是谷歌開源的首個AI智能體開發工具包，是一個代碼優先的Python工具包，簡化復雜AI代理的構建、評估和部署過程。ADK支持多智能體...

Skywork-OR1(Open Reasoner 1)是昆侖萬維推出的開源高性能推理模型系列，模型突破大模型在邏輯推理和復雜任務求解方面的能力瓶頸。Skywork-OR1包含三款模型，...

UNO是字節跳動推出創新的AI圖像生成框架，突破傳統模型在多主體生成中的局限。通過“少到多”的泛化方法，能高質量地生成單主體和多主體圖像，解決了多主體場景...

Pika Twists 是 Pika Labs 推出的 AI 視頻編輯功能，能讓用戶輕松修改視頻中的主體動作和場景，創造出奇幻效果。只需上傳視頻并描述需求，AI 可精準操控角色...

Multi-SWE-bench 是字節跳動豆包大模型團隊開源的首個多語言代碼修復基準。在SWE-bench基礎上，首次覆蓋Python之外的7種主流編程語言，包括Java、TypeScript...

Gemini 2.5 Flash 是 Google 推出的高效、低延遲的 AI 模型，基于 Gemini 2.5 模型構建。Gemini 2.5 Flash在保持低延遲和成本效益的同時，引入思考能力。

A2A（Agent2Agent）是谷歌開源的首個標準智能體交互協議，讓不同框架和供應商構建的AI智能體相互協作。A2A基于標準化的通信方式，打破系統孤島，讓智能體安全...

Llama Nemotron是NVIDIA推出的一系列推理模型，專注于推理和多種智能代理（agentic AI）任務。模型基于Llama開源模型，經過NVIDIA的后訓練，加入推理能力，在...

DeepCoder-14B-Preview 是 Agentica 和 Together AI 聯合開源的大型代碼生成模型，基于 Deepseek-R1-Distilled-Qwen-14B 微調而成。DeepCoder-14B-Preview基...

Step-R1-V-Mini 是階躍星辰最新推出的多模態推理模型。支持圖文輸入和文字輸出，具備良好的指令遵循和通用能力，能高精度感知圖像完成復雜推理任務。模型在視...