数学AI

本期直播聚焦AI编程与数学推理的最新突破。Modular推出的MODLAR引擎支持本地化部署，通过代码embedding技术将Token消耗降低30倍。Axiom基于Lean定理证明器构建的AI数学家在PUTNAM竞赛中获得满分，验证了"数学即代码"的理念。Anthropic发布Claude 4，Emergence Capital指出传统SaaS模式已死，AI正从三方面重塑软件格局：AI原生公司兴起、中型公司加速采用、企业级市场仍需解决安全与合规问题。