4月30日凌晨，Meta举行首届AI开发者大会LlamaCon，推出Meta AI聊天机器人应用程序与ChatGPT竞争，发布Llama API。Meta试图强化开源模型生态系统以限制OpenAI发展，扎克伯格与微软CEO还探讨了开源闭源模型生态等内容。

Snowflake 落地中国两年：迈向智能体企业时代，关键在上下文

本文是Snowflake入华两周年之际，在首次中国站Snowflake World Tour发布企业智能体战略的深度报道，核心提出企业AI落地关键在业务上下文，给出可落地的智能体企业架构，分享多家企业落地实践。

孪生素数猜想被GPT-6新突破！北大数学07级又出现了

OpenAI发布数学论文，宣布GPT-6 Astra在孪生素数猜想上有新进展，用Lean形式化证明把连续素数间距的上界从246推到186。此外，其3D生成效果出色，Codex还新增可搜索笔记功能。

全球首个通用决策大模型，AI推演现实世界的技术揭秘

中科闻歌决策机Decitron被称为「全球首个通用决策大模型」，它将不同能力统一到开放世界决策框架，形成闭环。8月3日其技术报告发布，公开三项核心技术，还介绍了推演流程和实验验证情况。

AI不是比人聪明，是输得起！菲尔兹奖得主点破OpenAI十项成果

OpenAI发布内部版模型Astra的十项成果，引发数学界震动。菲尔兹奖得主Timothy Gowers分析其成果，指出AI优势在‘输得起’，还探讨找例方法、模型短板，给出训练建议与衡量跨越门槛的标准。

华为AI芯片来时的路

文章围绕华为AI芯片发展展开，提及方兴东《昇腾崛起》记录其历程。从战略觉醒到技术研发、应对制裁，华为历经曲折，如提出“韬定律”，发布多款芯片，在逆境中构建生态、拓展市场，展现强大实力与坚韧。

这个免费的任务助手登顶 SuperCLUE-XClaw 榜单

近日，SuperCLUE - XClaw发布最新测评榜单，百度文心助手在十个参评的国产龙虾产品中夺冠，获97.62分。SuperCLUE是关注中文大模型评测的第三方体系，其榜单受业内关注。文心助手还是免费的。

蛰伏三年，前大疆员工做了款消费级纺织机，拿下红杉、顺为、米哈游等数亿融资｜产品观察

浪爪智能创始人胡文鑫出身大厂，却投身家用纺织机赛道。公司已获数亿融资，2024 年推出自动簇绒枪，还打磨消费级纺织 Station 平台，即将发布新品并搭建社区。团队解决诸多技术难题，满足不同用户需求。

刚刚，首个空间原生的具身视觉基模开源！机器人更会看我们的世界了

蚂蚁灵波发布并开源了面向机器人真实任务的空间原生视觉基模 LingBot-Vision 及空间感知模型 LingBot-Depth 2.0，能让机器人更精准地感知世界，解决透明反光材质、小目标和远距离目标等视觉难题。

Meta新模型逼平Fable 5，小扎：开源且便宜到你懒得算账

Meta推出新模型Muse Spark 1.3，在Artificial Analysis榜单中与Fable 5打平手。小扎称其在Coding和Agent工作有大幅提升，还便宜。网友实测它真能肝、真能省，Meta团队核心研究员也透露背后改动。