Goedel-Prover-V2 是普林斯頓大學(xué)、清華大學(xué)、英偉達(dá)等頂尖機(jī)構(gòu)聯(lián)合推出的開源定理證明器。Goedel-Prover-V2通過(guò)分層式數(shù)據(jù)合成、驗(yàn)證器引導(dǎo)的自我修正和模型...

Voxtral 是 Mistral AI 推出的先進(jìn)音頻模型，基于卓越的語(yǔ)音轉(zhuǎn)錄和深度理解能力，推動(dòng)語(yǔ)音作為自然的人機(jī)交互方式。Voxtral提供 24B 和 3B 兩種版本，分別適...

EXAONE 4.0是韓國(guó)LG AI Research推出的自研混合推理大模型。模型融合通用自然語(yǔ)言處理和高級(jí)推理能力，支持韓語(yǔ)、英語(yǔ)和西班牙語(yǔ)。模型分為32B的專業(yè)版和1.2B...

RoboBrain 2.0 是強(qiáng)大的開源具身大腦模型，能統(tǒng)一感知、推理和規(guī)劃，支持復(fù)雜任務(wù)的執(zhí)行。RoboBrain 2.0 包含 7B（輕量級(jí)）和 32B（全規(guī)模）兩個(gè)版本，基于異...

RoboOS 2.0 是智譜開源的跨本體大小腦協(xié)同框架，專為具身智能設(shè)計(jì)。框架支持多機(jī)器人協(xié)作，基于集成MCP協(xié)議和無(wú)服務(wù)器架構(gòu)實(shí)現(xiàn)輕量化部署，降低開發(fā)門檻。

k2是月之暗面Kimi推出的具備超強(qiáng)代碼和 Agent 能力的 MoE 架構(gòu)基礎(chǔ)模型，總參數(shù) 1T，激活參數(shù) 32B。在通用知識(shí)推理、編程、數(shù)學(xué)、Agent 等主要類別的基準(zhǔn)性能...

PromptForge 是 AI 提示工程工作臺(tái)，支持幫助用戶高效地創(chuàng)建、測(cè)試和優(yōu)化 AI 提示。平臺(tái)基于智能生成功能提供 AI 輔助的提示構(gòu)建和優(yōu)化建議，具備高級(jí)分析工...

TradingAgents-CN是基于多智能體大模型的中文金融交易決策框架，在TauricResearch/TradingAgents的基礎(chǔ)上進(jìn)行了開發(fā)，為中文用戶提供了完整的文檔體系和本地...

Grok 4 是 xAI 推出的最新人工智能大模型。Grok 4 的推理能力相較于前代提升 10 倍。模型具備卓越的推理能力，能在 SAT、GRE 等高難度考試中接近滿分，在多項(xiàng)...

Skywork-R1V 3.0 是昆侖萬(wàn)維開源的多模態(tài)推理模型，具備強(qiáng)大的跨模態(tài)推理能力和跨學(xué)科泛化能力。模型在高考數(shù)學(xué)中取得142分的高分，在多學(xué)科推理評(píng)測(cè) MMMU 中...

HumanOmniV2 是阿里通義實(shí)驗(yàn)室開源的多模態(tài)推理模型。模型基于強(qiáng)制上下文總結(jié)機(jī)制、大模型驅(qū)動(dòng)的多維度獎(jiǎng)勵(lì)體系及基于 GRPO 的優(yōu)化訓(xùn)練方法，解決多模態(tài)推理...

Gen CLI 是基于谷歌 Gemini ?CLI技術(shù)的命令行工具，支持基于 AI 加速開發(fā)工作流程。Gen CLI支持代碼生成、項(xiàng)目管理和自動(dòng)化任務(wù)等功能。用戶用簡(jiǎn)單的命令與 G...

MetaStone-S1是原石科技推出的反思型生成式大模型，首次融合深度推理與推理鏈自篩選能力。模型核心用自監(jiān)督反思范式，基于共享主干的策略模型和過(guò)程評(píng)分模型...

Hunyuan3D-PolyGen是騰訊混元團(tuán)隊(duì)推出的業(yè)界首個(gè)美術(shù)級(jí)3D生成大模型。結(jié)合自研的高壓縮率表征技術(shù)（BPT），能生成面數(shù)高達(dá)上萬(wàn)面的復(fù)雜幾何模型，支持三邊面...

WebSailor 是阿里通義實(shí)驗(yàn)室開源的網(wǎng)絡(luò)智能體，專注于復(fù)雜信息檢索與推理任務(wù)。通過(guò)創(chuàng)新的數(shù)據(jù)合成方法（如 SailorFog-QA）和訓(xùn)練技術(shù)（如拒絕采樣微調(diào)和 DUP...