伴随着咔嚓一声脆响，木板应声碎裂，机械手却安然无恙。

1、博鱼app WAIC 2026，上海 AI 实验室发布了「书生·端砚」科学发现平台，有望为长期存在的科研结构性矛盾提供一种新的思路与解决方案。

每一个被提出的候选证明，都要被拿来疯狂攻击。博鱼app就在今年的WAIC上，无问芯穹一口气亮出了「前店后厂一中心」，一整套完整的Agentic Infra战略布局： 算力集散中心（一中心）：Agentic Infra自主式基础设施平台； Token工厂（后厂）：Agentic MaaS大模型服务平台； AI生产力商店（前店）：Agentic Infra行业解决方案。

2、张雪机车奇观：10万人在饮料直播间看摩托车比赛，提心吊胆地

分两种情况——如果gcd(m,n) > 1，素因子总数T会减少；如果gcd(m,n) = 1，T不变但大于1的数少了一个，N减1。

3、恭喜火箭队！休赛期再签1人，顶级投篮教练加盟，曾与乌度卡共事

其中，智元、宇树等技术方，配送任务成功率不低于85%，目标点到达误差不大于0.30 m，动态障碍避让成功率不低于90%。

4、河村勇辉来中国打球？媒体人：他根本就入不了CBA的法眼

然而，负责人再次「已读不回」。

5、谁在中国“围猎”AIGC？

参考资料： https://x.com/Mr_Salio/status/207736089707741624811 https://x.com/emollick/status/2077849021150888408 https://www.bloomberg.com/news/articles/2026-07-16/google-gemini-launch-delayed-as-tech-falls-short-of-internal-goals 编辑： Aeneas新智元报道 全球迄今为止最大的开源AI模型，正式上线！ 昨夜，月之暗面（Moonshot AI）放出了其最新旗舰模型Kimi K3，目标直指超越Claude/ChatGPT。

接下这个活儿的，没有一位人类。

过去AI办公工具最多做到「生成一段文字」，属于参谋型。

6、揭秘小红书世界杯：版权转折、极限20天与一个社区如何做扩容

编辑：LRST新智元报道 曾要4年的项目，竟被Claude Code硬生生压到两周！ 成本从300万美元，砍到十几万。

脚下是草，抬眼是蓝天，一条圆石小路从脚边铺出去，绕过橡树，通向树后那间小屋—— 木板墙、原木立柱、圆石屋顶、一根红砖烟囱，墙上四周还嵌着玻璃窗。

7、一项被低估的“防病王牌运动”，每周2次就够！不是跑步、走路

灵犀给出的答案是四个词——懂你、懂事、懂交付、懂闭环。

同一个页面，面对不同的查看者，各自拉各自的数据，干各自权限内的活。

8、技术｜专家把脉：漂亮的动作需要时间和练习来积累

真正该算的，是每完成一个合格任务的总成本，真正该计算的是 全成本公式 =（模型调用费用 + 计算资源 + 人工审查时间 + 重试次数 + 返工成本）÷ 成功达标任务数。

雅可比猜想问题极其困难。

它精准打通了UniProt与GWAS数据，完整补充了ClinVar与gnomAD中的临床与人群频率信息，构建了立体的突变注释网络。

9、爆冷！女排25-22世界NO.1 李晨瑄和解盛钰表现出色

苹果在隐私和性能之间做了取舍，选了前者。

毕竟谁也不想等海报贴满了大街，才猛然发现角落里还躺着一个错字。

10、CBA三笔成功交易！张镇麟冲第4冠，王哲林队友复苏，徐昕逆天改命

参考资料： 关于发布7款提供手机端侧生成式人工智能服务已备案信息的公告 编辑：马可新智元报道 扩散语言模型（DLM）正逐渐成为自回归（Autoregressive, AR）语言模型之外一种新兴的建模范式。

站会那一幕，靠的是Claude Code今年6月发布的Artifacts。

1、关注｜“幼苗计划”正式发布，李宁羽网匹2026 Q3订货会在成都举行

每次能力迭代前，20 到 50 人的专家团（钛动与客户的一线员工各出一半）双盲打分——打分者不知道答案来自 AI 还是人类，超过均值算正向。

2、男篮热身赛名单出炉！廖三宁高诗岩在列，3大锋线离队，胡金秋压力不小

报告给这类行为的定性是：AI的「内部威胁」。

3、北京首钢大动作！3外援或全部清理，杰曼存疑，将寻找强力外援，李楠剑指CBA总冠军！

真正决定性价比的，从来不是单次token价格，而是一次成功任务的完整成本。上市前夜双雄争的 是谁当上你的AI同事 如果将视角放远，看得更清楚。

4、7月16日本公开赛战报，国羽遭重创，1人出局2人退赛，陈雨霏轻松

开源与闭源的能力差距收窄到半年以内，「用闭源独占期充当安全缓冲」的默认策略快要失效了。

5、拜仁巴黎哄抢比利时国脚，世界杯5场造4球身价已达5000万

在前端代码竞技场，K3以1679分一举登顶，超越Claude Fable 5。

6、加时鏖战！瑞士假摔真难看，阿根廷晋级四强！

Nat Sothanaphan指出，CritPT是物理测试，不是数学基准，拿它一家的曲线证明AI在数学上撞墙，是挑对自己有利的数据。

但这丝毫不减损这个事件的冲击力。

小浣熊带动超两千万用户运转，周活三百万，八千家企业客户接入，并已裂变出教育、政数、金融等行业版本。

7、热火，詹姆斯来了！1.7亿，又创纪录了......

页面自己从头到尾看不到任何人的凭证，所有调用由claude.ai代为发起。

它测的，主要是抽象模式识别、逻辑推理这一类「标准化认知」。

8、温和回升，上半年成都CPI累计上涨1.3%

它每一次醒来，都是一次干净的失忆。

由阿里巴巴领投，王慧文家办、韩国未来资产、蓝色光标、三七互娱等十余家国内外顶尖机构跟投。

所以梅卡曼德的策略是「一脑多形」：同一套「眼脑手」，装进人形机器人、双臂轮式机器人、半身人形机器人、工业机械臂都行。

作为连续三届大赛组委会的核心成员，生物结构预测赛道评委、上智院生命科学方向AI科学家郭昕表示：「大模型的快速发展虽降低了科研入门门槛，但想要突破领域固有技术瓶颈，仍需融合AI技术能力与行业专业知识，实现底层模型结构的原生创新。