ListenHub
0
5-6晓曼: 嘿，今天咱来聊聊AIGC圈里最近那些事儿，算是给听众老爷们儿来个“播客精选”。DeepSeek、Claude、AI绘画，还有苹果那个神秘的Vibe平台…怎么样，这几个关键词听着够不够刺激？
原野: 刺激！感觉信息量有点大，不过没问题，咱一个个过。先说DeepSeek吧，那个Prover V2听着就…emmm…挺学术的？
晓曼: 学术？听着是挺高大上的，是不是就是那种，把数学证明抠得巨细巨细，严谨到让所有人都找不着北的那种？
原野: 可以这么理解。它其实是把一个大的数学定理，像剥洋葱一样，一层层分解成超小的子问题。然后先用DeepSeek-V3这个“通用大模型”打个草稿，再让一个小型Prover模型，专门负责死磕这些小问题。最后，再像搭积木一样，把所有子问题的答案拼成完整的证明。
晓曼: 哇哦，这听起来像是…乐高？先分包，再按图纸一步一步拼？ 那这个Prover V2牛在哪儿呢？
原野: 最厉害的地方就是，它把那种“灵光一现”的非形式化推理，和严谨的形式化证明结合起来了。以前大模型做数学题，经常会冒出一些“脑抽”的错误，现在用了这个Prover V2，逻辑性更强，正确率也大大提高了。
晓曼: 明白了，相当于给大模型装了个“逻辑防呆系统”。 那Claude那边呢，最近有啥新动作没？
原野: 当然有。Anthropic给Claude加了个叫“Integrations”的东西，说白了，就是个“万能接口”。像Jira、Confluence、Zapier这些常用的办公软件，都能无缝对接。 还有个“Advanced Research”功能，简直就是给AI配了个超级图书馆，能一次性深挖几百个文献资料。
晓曼: 哎呦，那用户是不是直接提个需求，Claude就能把背后的各种服务都调动起来，一条龙服务了？
原野: 没错！相当于给AI开了个“外挂”，让它瞬间变成一个全知全能的助手。
晓曼: 厉害厉害！ 那AI绘画领域呢，最近又冒出什么新奇玩意儿了？
原野: 最近Visual Electric引入了GPT-4o的图像模型，现在支持样式参考和视频生成功能了。Krea AI也接入了4o的图像API，你可以用涂鸦或者拼贴的方式，来控制生成图片的风格和内容。 就像给画家配备了一个超级智能的AI助手。
晓曼: 我脑补了一下，用涂鸦就能迭代出一幅专业级的海报，这也太带感了吧！对了，还有苹果那个Vibe平台，到底是个什么来头？
原野: 听说这是苹果和Anthropic联合搞的内部项目，代号叫Vibe Coding，主要提供无限画布、聊天加代码的交互功能。将来可能会推出企业版，名字叫Variant，主要面向创意工作者。
晓曼: 听起来有点像把Notion、画板、代码编辑器，全塞到一个App里了？
原野: 差不多吧，目标就是让开发者和设计师可以随时随地碰撞创意，激发灵感。
晓曼: 总结一下，感觉未来AI的趋势就是要更加社交化，能力更强。当然，咱也得防止过度依赖AI，别最后把自己的技能都给荒废了。还有，prompt工程也越来越重要了，对吧？
原野: 完全正确！AI是咱的好帮手，但人脑也得勤加锻炼，prompt也得写得更具体、更清晰，这才是和AI长期共处的正确姿势。
晓曼: 好了，今天就先聊到这儿。感谢专家的分享，咱们下期再见！