开源动态8

阶跃星辰开源形式化证明新范式模型

量子位2025-08-15

AI 摘要

阶跃星辰发布并开源形式化定理证明大模型 StepFun-Prover。采用分阶段微调、工具集成强化学习及迭代优化方法，在基准测试集表现超越已知模型，还通过案例展示其修正证明的能力。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

Pi 1.0发布接入曾骂过的MCP

本文编译自Pi团队播客访谈，Pi迎来1.0大更新，推出全新长时持久Agent框架Pi Durable，正式接入此前骂了一年的MCP协议，深度讨论AI编程能力边界与未来方向。

本文介绍GitHub上3.6K星的开源项目GordenPPTSkill，解决当前AI PPT工具生成不可编辑“假PPT”的痛点，直接生成原生可编辑PPTX，自带21套中文场景模板，适配各类职场汇报需求。

本文介绍面壁智能和OpenBMB最新开源的端侧多模态大模型MiniCPM-V 4.7，其35B-A3B版本总参数35B，推理仅激活3B，仅需3G内存即可在iPhone等手机断网流畅运行，性能领先同类模型，详解了其优化技术与行业价值

本文解决AI画图痛点：画风难描述、排版乱、色彩不协调，介绍了新开源的handraw-style提示词库，整理329种手绘风格、165种排版图型、36种主题色，编号选款直接生成可用提示词。