吴恩达YC演讲强调AI创业执行速度；Kimi新模型数学超越DeepSeek；Grok4通过小球编程测试；微软BioEmu重塑蛋白质研究；北大华为开源纯卷积DiC | 07月11日AI资讯

slug

summary

吴恩达强调，创业成功的关键在于执行速度和具体的产品创意，智能体工作流的应用能显著提升开发效率。AI技术的灵活性和快速验证想法的能力是创业者应关注的重点，同时需警惕AI技术的误用和过度炒作。

Kimi新模型在定理证明领域超越DeepSeek-Prover-V2，采用了测试时强化学习框架和针对性错误修复方法，显著提高了证明效率和可靠性，miniF2F测试中通过率达到92.2%。该模型由Numina组织和Kimi团队联合开发，包含多项技术创新。

Grok4成功通过小球编程测试，展示了其强大的AGI能力，Epic创始人Tim Sweeney称其为AGI。用户通过多种测试验证了Grok4的物理理解、法律推理和编程能力，表现优于其他模型。Grok4还展示了其在SVG绘图和专家协作环境中的应用潜力。

微软研究院的BioEmu模型通过生成式深度学习以高效精确地模拟蛋白质构象变化，推动蛋白质功能研究和药物发现。该模型结合了静态结构和分子动力学数据，开源发布并部署在多个平台，未来将扩展到更复杂的生物体系。

北大、北邮和华为的研究团队提出了纯卷积的扩散模型DiC，性能超越了流行的Diffusion Transformer（DiT），推理速度快5倍，证明了简单的3x3卷积网络在生成任务中的强大潜力。该模型通过优化架构和条件注入显著提升了生成质量和速度。

AI学长小林