Kimi K3.1 Pro 发布了，这绝对不是小版本的迭代。因为它是在 K3 的基础上做的后训练，所以版本号是 3.1。 但实际体验下来，我没觉得它的智能水准比 GPT 6 Astra 弱多少。价格的话，是 Opus 5.5 的 50%。

30亿美元，约合人民币210多亿元。 这一次，华尔街顶级对冲基金Citadel的创始人Ken Griffin，没有拿这笔钱去收购一家AI公司，也不是扩大交易团队，而是直接投向了一所美国大学——卡内基梅隆大学（CMU）。

Claude 帮人干掉电视广告，简直就是给当年那组超级碗广告免费拍了部续集。 当天这台电视里的广告、预装的流氓软件、卡得像幻灯片一样的界面全给干没了，老哥还顺手把屏保换成了自己公司的实时进账看板。 推文才发出去一天多，直接飙到 200 多万浏览，评论区一堆人照着抄作业，完了纷纷回来还愿，说自家的智能电视现在「快得像闪电」。 效果堪比：安卓 TV 与 苹果 TV（实际上右边是左边改的） 甚至有网友更 ...

针对这个问题，研究人员提出 COBRA。它沿用了可信规划与不可信执行隔离的思路，但额外要求：在 Agent 接触外部数据之前，不仅要确定可能执行哪些步骤，还要为每条分支规定允许使用的工具、访问的目标以及关键参数范围。

RhymeQ, a startup making quantum computers accessible to software developers across the world, has raised a $2.2 million ...

At Grafana Labs' ObservabilityCON, Anthropic engineering leader Katelyn Lesse says that Claude Code has completely replaced ...

Problem in PHP language that underpins 70% of websites has led governments and companies to pull sites offline while they patch fault ...

Have you ever had the experience of buying a book thinking, "I'm going to start programming," only to stop after the first 20 ...