开源动态8
Goedel - Prover - V2：8B参数暴击671B模型
新智元
AI 摘要
普林斯顿等八大机构推出Goedel - Prover - V2，在多个数学基准测试夺冠，小参数8B版击败671B的DeepSeek - Prover，采用分层数据合成等技术，计算开销可控。
阅读原文 · 新智元
全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
八大顶尖机构推出开源定理证明器Goedel - Prover - V2，有32B和8B两版本。它在多个基准测试击败671B的DeepSeek - Prover，采用创新技术，以少算力刷爆SOTA，十位华人是核心贡献者。
关注公众号
扫码关注
第一时间收到每日精选
相关文章
开源动态8
腾讯开源框架，一句话造3D世界
香港科技大学（广州）和腾讯团队开源VibeWorlding框架，实现说句话造3D世界。它由VWE - Bench和VibeWorlding - Gym组成，开源模型经强化学习训练后成绩逆袭，证明强化学习解锁3D推理潜力巨大。
AIGC开放社区
开源动态7
Qwen3.8 - 27B登顶开源榜，挑战闭源模型
8月17日，阿里发布的Qwen3.8 - 27B成Hugging Face热门第一。它以27B参数在部分测试中与前沿闭源模型比肩，可本地运行。不过推理慢、真实任务表现待提升，它让前沿Agent能力下放到个人电脑。
AI科技评论
新闻资讯7
OpenAI：暂停前沿模型强化学习训练
OpenAI发文称暂停最新模型强化学习训练两周，加固研究环境、进行红队测试等。部分低风险训练已恢复，最大规模前沿模型训练仍暂停。此举源于Hugging Face安全事故及Astra模型潜在风险。
机器之心
开源动态8
阿里开源Qwen3.8-27B，性能直逼顶尖模型
阿里Qwen团队开源Qwen3.8-27B，上线2天登顶Hugging Face全球大模型趋势榜，下载破百万。其性能超Opus4.6，与顶尖模型相当，量化后普通电脑就能跑，原生多模态，编程、Agent、多模态跑分表现出色。
AIGC开放社区