Goedel-Prover-V2 – 普林斯顿联合清华等开源的定理证明模型
开源项目 3周前

Goedel-Prover-V2 – 普林斯顿联合清华等开源的定理证明模型

Goedel-Prover-V2是什么Goedel-Prover-V2 是普林斯顿大学、清华大学、英伟达等顶尖机构联合推出的开源定理证明器。Goedel-Prover-V2通过分层式数据合成、验证器引导的自我修正和模型平均等创新技术，显著提升自动形式化证明生成的性能。模型包含两个参数版本：32B和8B。32B模型在MiniF2F基准测试中达到90.4%的Pass@32成绩，超越671B的Dee

AI中国 AI中国
127 0
8000字讲解MCP与Function Call、Agent的关系
技术解读 3周前

8000字讲解MCP与Function Call、Agent的关系

人人都是产品经理 人人都是产品经理
203 0
Grok 4 – 马斯克旗下xAI推出的新一代大模型
开源项目 3周前

Grok 4 – 马斯克旗下xAI推出的新一代大模型

Grok 4是什么Grok 4 是 xAI 推出的最新AI大模型，Grok 4 的推理能力相较于前代提升 10 倍。模型具备卓越的推理能力，能在 SAT、GRE 等高难度考试中接近满分，在多项基准测试中超越其他前沿模型。Grok 4 支持多模态功能，能理解主观概念、生成代码和可视化内容，在语音交互上进行重大改进。Grok 4分为两个版本，Grok 4 是单代理（single agent）版本，

AI中国 AI中国
185 0
TradingAgents-CN – 中文多智能体金融交易决策框架
开源项目 3周前

TradingAgents-CN – 中文多智能体金融交易决策框架

TradingAgents-CN是什么TradingAgents-CN是基于多智能体大模型的中文金融交易决策框架，在TauricResearch/TradingAgents的基础上进行了开发，为中文用户提供了完整的文档体系和本地化支持。框架模拟真实交易公司的专业分工和协作决策流程，通过多个专业化AI智能体协作评估市场条件，包括分析师团队、研究员团队、交易员智能体、风险管理和管理层等多智能体协作

AI中国 AI中国
217 0
k2 – 月之暗面 Kimi 最新开源的 MoE 架构基础模型
开源项目 3周前

k2 – 月之暗面 Kimi 最新开源的 MoE 架构基础模型

k2是什么k2是月之暗面Kimi推出的具备超强代码和 Agent 能力的 MoE 架构基础模型，总参数 1T，激活参数 32B。在通用知识推理、编程、数学、Agent 等主要类别的基准性能测试中，K2 模型的性能超过其他主流开源模型。k2 模型上下文长度为 128k，不支持视觉功能，支持 ToolCalls、JSON Mode、Partial Mode、联网搜索功能等。k2模型开源了两个版本，

AI中国 AI中国
96 0
PromptForge – AI提示词工程平台，辅助生成提示词和优化
开源项目 3周前

PromptForge – AI提示词工程平台，辅助生成提示词和优化

PromptForge是什么PromptForge 是 AI 提示工程工作台，支持帮助用户高效地创建、测试和优化 AI 提示。PromptForge基于智能生成功能提供 AI 辅助的提示构建和优化建议，具备高级分析工具，能在测试前提供优化反馈。PromptForge系统性评估引擎可自动生成全面的测试套件，涵盖鲁棒性、安全性、准确性和创造性等多个维度。PromptForge 支持多模型比较和专业

AI中国 AI中国
148 0
RoboBrain 2.0 – 智谱开源的具身大脑模型
开源项目 3周前

RoboBrain 2.0 – 智谱开源的具身大脑模型

RoboBrain 2.0是什么RoboBrain 2.0 是强大的开源具身大脑模型，能统一感知、推理和规划，支持复杂任务的执行。RoboBrain 2.0 包含 7B（轻量级）和 32B（全规模）两个版本，基于异构架构，融合视觉编码器和语言模型，支持多图像、长视频和高分辨率视觉输入，及复杂任务指令和场景图。模型在空间理解、时间建模和长链推理方面表现出色，适用机器人操作、导航和多智能体协作等任

AI中国 AI中国
170 0
RoboOS 2.0 – 智谱开源的跨本体大小脑协同框架
开源项目 3周前

RoboOS 2.0 – 智谱开源的跨本体大小脑协同框架

RoboOS 2.0是什么RoboOS 2.0 是智谱开源的跨本体大小脑协同框架，专为具身智能设计。框架支持多机器人协作，基于集成MCP协议和无服务器架构实现轻量化部署，降低开发门槛。框架包含基于云计算的大脑模块，负责高级认知与多智能体协同；分布式小脑模块群，专司机器人专项技能执行；及实时共享内存机制，强化环境态势感知能力。RoboOS 2.0 提供标准化接口，消除硬件适配差异，用技能商店实现

AI中国 AI中国
211 0
EXAONE 4.0 – LG推出的混合推理大模型
开源项目 3周前

EXAONE 4.0 – LG推出的混合推理大模型

EXAONE 4.0是什么EXAONE 4.0是韩国LG AI Research推出的自研混合推理大模型。模型融合通用自然语言处理和高级推理能力，支持韩语、英语和西班牙语。模型分为32B的专业版和1.2B的端侧版，前者基于多项国家级认证考试，适用高专业领域，后者体积小、性能优，支持本地运行，适合隐私和安全要求高的场景。EXAONE 4.0在国际高难度基准测试中表现优异，如MMLU-Pro 81

AI中国 AI中国
130 0
Voxtral – Mistral AI开源的语音模型
开源项目 3周前

Voxtral – Mistral AI开源的语音模型

Voxtral是什么Voxtral 是 Mistral AI 推出的先进音频模型，基于卓越的语音转录和深度理解能力，推动语音作为自然的人机交互方式。Voxtral提供 24B 和 3B 两种版本，分别适用生产规模和本地部署。Voxtral 支持多语言、长文本上下文、内置问答和总结功能，能直接触发后端功能调用。Voxtral 性能在多个基准测试中超越现有开源模型和专有 API，同时成本更低，广泛

AI中国 AI中国
188 0
加载更多

推荐文章

GPT-5难产，外媒爆料：性能提升不大，OpenAI高管Slack上当众破防

GPT-5难产，外媒爆料：性能提升不大，OpenAI高管Slack上当众破防

1周前 • AI热点
“AI体育主播”上岗 将模拟已故解说员报道NBA赛事

“AI体育主播”上岗 将模拟已故解说员报道NBA赛事

3月前 • AI热点
我国科学家绘制青藏高原高精度草地植被图，利用 AI 攻克识别难题

我国科学家绘制青藏高原高精度草地植被图，利用 AI 攻克识别难题

1月前 • AI热点
可灵2.1极限多运镜控制实测，附提示词玩法

可灵2.1极限多运镜控制实测，附提示词玩法

2月前 • 视频教程
Anthropic 开设一门关于使用 MCP 构建 AI 应用程序免费课程

Anthropic 开设一门关于使用 MCP 构建 AI 应用程序免费课程

2月前 • AI热点
Google 这款免费 AI，连 OpenAI 都在夸

Google 这款免费 AI，连 OpenAI 都在夸

1月前 • AI热点
速抢（2核2G）77元/年香港免备案服务器

速抢（2核2G）77元/年香港免备案服务器

0秒前 • AI热点
一个实习生亲历的Manus外迁与裁员

一个实习生亲历的Manus外迁与裁员

1周前 • AI热点

热门标签

Paper2Poster AI交互 天天 发现《窒Suffocating》 Ovis-U1 青春 MiniMax AI商业化应用 ai声音克隆软件 大模型教程

热门作者

作者头像

AI前沿

2.4k 粉丝

作者头像

机器学习实验室

1.8k 粉丝

作者头像

AI创业圈

3.1k 粉丝