搜索
xAI联合创始人Christian Szegedy在《数学何去何从？》中称，AI正解决多个数学猜想和长期悬而未决问题，数学将由少数天才的手艺转向科技行业基础设施，但Wolfram等人认为纯数学不会被AI做完。
Lollapalooza由前TikTok全球运营负责人周秉俊与前BAI投资人胡禹丞创立，陆续推出Furever、Furstagram和Furever Dock等AI宠物产品，为宠物构建拥有记忆、身份与互动的平行世界，并逐渐演变为兼具长期陪伴与个人助手能力的虚拟宠物体验。
GitHub火热开源项目Colibrì以纯C实现分层推理框架，通过AI内存多层化将SSD、RAM和VRAM组成动态调度系统，无需GPU即可让普通笔记本运行744B参数GLM-5.2等超大MoE模型，已揽获32k Star并支持9个模型家族。
本期节目对比了Groq、Cerebras与OpenAI在推理芯片上的三条技术路径，指出业界正围绕SRAM提升带宽性价比进行系统级异构收敛，并分享了英伟达首席科学家Bill Dally关于局部性与追求全局最优的芯片设计哲学。
本周AI项目推荐聚焦Codex生态崛起的创业机会，ego lite、OpenDesign、HyperFrames为Agent补上浏览器、设计、视频等单点能力，Monid、AIsa搭建工具调用与资源交易基础设施，共同推动Coding Agent从执行引擎延伸出新的产品层。
Bun 1.4正式发布，核心开发者Jarred Sumner利用AI Agent在11天内将底层代码从Zig重写为Rust，生成超100万行代码并烧掉约16.5万美元Token，InfluxDB创始人Paul Dix发文《The end of programming》指出传统编程方式正走向消亡。
由最早看好Kimi的前红杉投资人张尧创立的Converge AI，同时推出Enter Pro、Framia Pro、Concat Pro、Combos Fun和AnyCap等多款覆盖开发、创作、营销、游戏和Agent基础设施方向的AI产品，并通过Converge Work将其接入统一上下文。
寒序科技正式公布uHBM®与uLPU™推理计算架构，首次完整亮相其基于Persistent MRAM的权重驻留片内计算方案。
Qwen4还没出，架构先开源了。
今天不光分享产品，还有产品背后一个有趣的年轻人：Rafael Kramer。