搜索
Anthropic 开源了基于零知识密码学的 FlashProve，使用户无需获取模型权重即可验证回答确由指定模型生成；该系统已在 4000 亿参数的 Llama 4 Maverick 上达到约 110 Token/s，但仍是受成本和上下文限制的研究原型。
大模型狂飙近三年，生成式 AI 正在集体撞上一道冰冷的商业现实之墙。
最近翻各家大厂的技术报告，很容易生出一种错觉：大模型好像已经把人类的网络安全防线打穿了。NYU CTF、Cybench、CyberGym 排行榜上，不管闭源大厂还是开源新秀，漏洞解决率动不动就 80% 往上。
随着大模型能力的不断提升，人机交互的模式，是否也到了重新设计的时候？语音开始站到了这一轮人机交互的前沿。Wispr Flow估值已经冲到了20亿美元。硬件也开始以各种产品形态进行尝试。
5580元，四张24GB P40，合计96GB显存。老计算卡就这么水灵灵地又上岗了。 这条闲鱼商品，卖家标称双路E5-2686 v4、64GB内存，不含硬盘，附M.2转接卡和导轨，仅限南京自提。
最近，大模型圈的风向，彻底变了。
9 月以来，全球顶尖大模型几乎都在秀 3D。
在企业级真实业务与复杂数据分析中，让大模型「一眼看穿数据库并写出完美SQL」，往往只是一个不切实际的幻想。
大模型吃光互联网后，机器人的物理Token从哪来？
让大模型「多想一会儿」，今天几乎等同于让它多写一些字：先生成一段思维链，再给出答案。