比如，让它审计一个代码库的安全漏洞。

1、bobapp 而发这篇通稿的公关公司Real Media Group，一边把她称作「客户」，一边又在团队页面把她列为「联合创始人」。

围绕「跑得稳、用得起、可持续」三大命题，此芯科技确立了三大战略支柱。bobapp新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

2、真绝了！唐斯换空气！

参考资料： https://www.anthropic.com/news/claude-for-teachers https://www.reuters.com/technology/norway-imposes-near-ban-ai-elementary-school-2026-06-19/ https://www.reddit.com/r/ClaudeAI/comments/1uwbic2/new_launch_claude_for_teachers/?utm_source=chatgpt.com https://www.rand.org/pubs/research_reports/RRA1108-16.html 编辑：元宇新智元报道 全网等了快三个月！ DeepSeek V4正式版，可能最早明日发布，最迟不过这几天。

3、朱芳雨闹笑话！去年重金买来的外援自由身离队，球迷：被杜锋坑了

没有任何预热、没有任何预告，他们在X上扔出了一枚重磅消息——发布Monolith-1.0模型，登顶世界第一！ 数据有多炸裂？ 1.6万亿参数（MoE架构，每token激活495亿参数） HLE工具辅助测试中拿下99.44%的成绩 GPQA Diamond达到95.9% MMLU-Pro达到96.2% AIME 2025超过90% 原生100万token上下文窗口 在12,288块Ascend 910C NPU上训练了60万亿tokens 这个成绩，直接把目前所有榜单打穿了！ 即使是最顶级模型，在面对地狱级难度的HLE时，依然会被按在地上摩擦。

4、汤唯生子仅1天，中韩婚姻曝光现3大反常

但一组真实的行业对比数据，也提示我们对 AI 全能进化的认知要回归理性。

5、比利时4-1大胜美国，德凯特拉雷双响，蒂尔曼任意球仅挽回一分

不是新工具，是旧工具用在了没人想过的地方。

商汤这次最让人意外的地方在于：国产芯片参与的混推集群，已经实现了可盈利。

AI 选品：输入一句话描述（比如「我想在东南亚卖夏季女装」），Navos 调用太极模型的行业数据，几轮交互就能输出包含市场规模、竞品格局、目标人群和备货建议的完整选品报告，样本量从传统调研的几千份跳到百万级。

6、徐杰与林葳互换？宏远官方表态，经纪人也出来辟谣，真没这回事

其中后摩智能提到的一个数字值得注意：Agent时代复杂任务的连续推理，算力消耗将暴涨1000倍——这也从侧面说明了，为什么此芯要做开放平台，让更多AI加速卡厂商能接进来一起扛。

（图源：Claude官方博客） 人逐轮控制，你写一句，AI跑一轮，检查完再写下一句，全程你握着方向盘。

7、胜利收官，季后赛再战！青岛崂山啤酒94-84战胜新疆伊力特

一个真正的企业级 Skill，不只是提示词模板，而应当包括： 适用场景； 输入条件； 所需知识； 权限边界； 执行步骤； 工具调用； 决策规则； 预期结果； 成本和时间估计； 风险与约束； 结果验证； 反馈和更新方式。

她还补了一句自己的心愿，想带一支真正在乎手艺、品质和「做出好工具」的团队。

8、阿根廷VS西班牙，谁能夺冠？库里给出了自己的答案

一旦交互轨迹变长，系统面对的不只是「多生成几帧」，推理链路中的几类基础开销都会被放大： 历史信息更重：为保持长时一致性，模型需保留足够的上下文，KV cache的显存压力难以忽略； 注意力计算更重：当前生成视频片段需要参考更长历史，上下文越长，生成主干中的注意力开销越高； 去噪成本更重：每生成一个视频片段，模型都需要多次运行Transformer完成逐步去噪。

而Friar那把尺子，正是为这次切换准备的——当AI开始干活，衡量它的就不再是参数，而是干成了多少活、花了多少钱。

不是「Token 工厂」，是Agentic Infra 2025年，无问芯穹率先在业内喊出了Agentic Infra。

9、世界杯最动人一吻：我若离世 你就改嫁吧

Qoder Security会跨文件、跨函数追踪完整数据流，从污点源到危险汇聚点，挖出单文件视角永远看不到的隐藏关联漏洞。

在这个过程中，提示词没有死，它只是退化成了循环里的一个组件。

10、英伟达与Amkor签署价值15亿美元的芯片封装协议

你点个确认，主Agent立马开始改，review一遍diff，前后还不到十分钟。

对p=2，v₂(12) = 2，v₂(18) = 1，gcd = 1，贡献2¹。

1、官宣！CBA本土得分王将代表国王出战NBA夏季联赛，本赛季场均21+6

ScienceOne给出的答案，是以S1-Omni为统一基座，向下接管2.7亿论文/专利，全球40多个国家3200多万科研项目，700多万产业研报、90PB大科学装置数据和近300个专业数据库，向上编排任务、调度智能体，把原本散落各处的模型、数据与工具，收拢进同一个平台。

2、詹姆斯父子再同队难度暴增！湖人不愿轻易交易布朗尼 除非有重磅筹码

从工程角度看，这项工作也强调了算法稀疏与实际系统加速之间的差距。

3、帕雷德斯谈退出国家队：有些决定需要冷静，不确定是否会留队

BadDLM 在两个数据域上经干净微调后的后门留存 如上图所示，即便在Dolly-15K与GSM8K上微调15个epoch（达后门训练时的3倍），后门ASR也仅小幅下降，仍远高于次优基线未经防御时的ASR（图中棕色虚线）。金靴+MVP全不要？姆巴佩赛后破防自曝真心话，法国队或将大变天https://www.hbs.edu/ris/Publication%20Files/25-039_05fbec84-1f23-459b-8410-e3cd7ab6c88a.pdf 但「Record a Skill」推动的方向很明确：工作的护城河，从「会做」迁移到了「会做别人做不了的事」。

4、提前半年交付+交房即交证，龙翔凭何跑出加速度？

在这个AI能批量制造「真实」的时代，唯一的防线，是多问一句：这是真的吗？ 参考资料： https://www.abc.net.au/news/2026-07-05/lily-jay-foundation-posts-ai-generated-misleading-videos/106866422 编辑：桃子新智元报道 GPT-5.6-Sol 的攻防能力超越了 Claude Mythos 5！ 英国 AI 安全研究所（AISI）7 月 17 日发布了一份评估报告，第一次公开量化了开源 AI 模型与闭源前沿模型在网络攻击能力上的差距：4 到 7 个月。

5、第二十八届 IRO 国际机器人奥林匹克大赛落地青岛国信体育馆_网易订阅

谁也没想到，真正的风暴，其实来自大洋彼岸。

6、胡塞威胁生效！驶往中国的油轮突然折返，没炸船却炸出更大危机？

这就是物理智能和文本智能最大的不同：答题，打完字就结束；干活，只有瓶子真拿到、工件真放准、插头真插进，才算完成。

仿真放大试错，真机校准真实，谁多分预算，没人服谁。

deepseek-v4-pro：百万输出tokens平时0.87美元，高峰1.74美元；缓存未命中的输入平时0.435美元。

7、NBA夏联：马刺狂输7人上双老鹰27分 韩国李贤重4中0吞蛋

相机轨迹告诉系统当前是探索还是回访；局部动态告诉系统时间上下文该长还是短；历史可靠性决定空间记忆能否参与生成；去噪稳定性决定哪些计算可以复用。

Fable的下架计划不仅没有按期执行，反而被迫宣布「再延期5天」。

8、不走了！曝CBA顶级射手留在北控男篮，上赛季遭雪藏只打10场比赛

这与多数具身团队从特定场景出发、由点及面地打磨专用技能的路径不同。

卡了半年的弦论难题，Claude一夜解开！ 网友惊呼：人类迈入全新的科学时代。

代码狂飙，安全是最可靠的底线 最后，要说明两点。

痛点三，是Agent终端沦为财务黑洞。