资讯列表
LISA：用审计经验驱动的智能体框架，破解智能合约逻辑漏洞检测难题
大家好，我是肆〇柒。 近期，由新加坡LISA智能体团队（Agent Lisa Team Singapore）的Izaiah Sun、Daniel Tan与Andy Deng联合发布的《LISA Technical Report: An Agentic Framework for Smart Contract Auditing》引发关注。 该报告提出了一种不依赖模型微调、而是从历史审计报告中提取“检测经验”的新型智能合约审计框架，为解决长期困扰行业的逻辑漏洞漏检问题提供了新思路。
10/21/2025 10:24:02 AM
肆零柒
美国拟减40%国际生，留学风向要变？Nature曝全球高校大洗牌
全球高校正在经历一场大洗牌！ 如果把全球2.64亿大学生组成一个国家，它将是世界上人口第五大国。 而且，也是「人口增长最快的国家」之一。
10/21/2025 9:06:52 AM
刚刚，Anthropic上线了网页版Claude Code
今天凌晨，Anthropic 上线了「Claude Code on the web」（即网页版 Claude Code）功能，这种全新的方式可以让用户直接从浏览器中委派编程任务。 博客地址：，网页版 Claude Code 处于 Beta 阶段，作为研究预览版向 Pro 和 Max 用户开放使用。 用户可以将多个编程任务交给 Claude 执行，这些任务会在 Anthropic 托管的云端基础设施上运行，非常适合处理 漏洞积压、常规修复或并行开发工作。
10/21/2025 9:05:00 AM
科研狗狂喜！Claude新版神器一键跑完整套流程，告别996爆肝研究
科研狗的春天来了！ 今天，Anthropic正式发布「Claude生命科学版」（Claude for Life Sciences）。 背后用的是，最强大的Claude Sonnet 4.5模型。
10/21/2025 9:04:15 AM
甲骨文推出全球最大AI超算，作为OpenAI「星际之门」算力核心
甲骨文在2025年AI World大会上发布OCI Zettascale10超级集群。 在拉斯维加斯举办的AI World 2025大会上，甲骨文高调推出了一台号称全球最大规模的云端AI超级计算机——OCI Zettascale10。 这个庞然大物横跨多个数据中心，由多达80万块NVIDIA GPU芯片构成，峰值计算性能被宣称可达惊人的16 ZettaFLOPS（即每秒1021次以上浮点运算）。
10/21/2025 9:01:53 AM
马斯克要让Grok全面接管x，彻底剔除人类规则推荐算法
AI助手Grok要全面接手X了！ 马斯克宣布：X（推特）将在未来几周内彻底移除启发式推荐算法，由Grok接手，通过阅读和观看全部内容来全自动匹配用户兴趣。 如果计划成真，X将成为首个完全抛弃启发式算法的大型社交平台。
10/21/2025 9:00:00 AM
告别「偏科」，UniVid实现视频理解与生成一体化
在视频生成与理解的赛道上，常常见到分头发力的模型：有的专注做视频生成，有的专注做视频理解（如问答、分类、检索等）。 而最近，一个开源项目 UniVid，提出了一个「融合」方向：把理解 生成融为一体 —— 他们希望用一个统一的模型，兼顾「看懂视频」 「生成视频」的能力。 这就像把「看图识物」和「画图创作」两件事，交给同一个大脑去做：理解一段文字 理解已有视频内容 → 再「画」出新的、连贯的视频 —— 这在技术上挑战极大。
10/21/2025 8:57:00 AM
马斯克:Grok5迈向通用人工智能的机会上升至10%
近日，埃隆・马斯克在社交平台 X 上透露，他对即将发布的 xAI 公司新一代大型语言模型 Grok5的预期变得愈加乐观。 他表示，Grok5实现通用人工智能（AGI）的概率已达到10%，并且这一可能性还在持续上升。 马斯克的言论引发了广泛的关注，因为目前全球尚无任何公司真正实现 AGI，而众多企业正为这一目标而努力。
10/21/2025 8:56:33 AM
AI在线
OpenAI强化Sora 2保护政策，确保艺人声音与肖像权不被侵犯
OpenAI于10月20日宣布了一项重大的更新，旨在保护艺术家的声音和肖像权。 这项新措施是在与美国演员工会（SAG-AFTRA）、知名演员布莱恩・克兰斯顿及多家艺能公司的合作下推出的，旨在加强对其新产品 Sora2的监管。 Sora2是 OpenAI 推出的一款能够模拟声音与形象的技术，但随着其应用范围的扩大，涉及的伦理和法律问题也日益凸显。
10/21/2025 8:56:33 AM
AI在线
阿里夸克“C计划”曝光:目标直指对话式AI应用，或剑指字节“豆包”
据新浪科技报道， 阿里巴巴旗下AI旗舰应用夸克正秘密推进一项代号为“C计划”的重磅AI业务。 该计划由夸克核心团队主导，并有多位通义实验室的高级别成员参与，目标直指对话式AI应用布局，且首个阶段性成果预计将于近日落地。 多位消息人士透露，“C计划”是一项需要长期投入、且高度依赖模型技术突破的产品，目前即将浮出水面的仅为阶段性成果，显示出阿里在AI应用赛道长期深耕的决心。
10/21/2025 8:56:32 AM
AI在线
LLM记忆管理终于不用“手把手教”了，新框架让智能体自主管理记忆系统
不再依赖人工设计，让模型真正学会管理记忆。 来自来自加州大学圣地亚哥分校、斯坦福大学的研究人员提出了一个创新的强化学习框架——Mem-α，用于训练LLM智能体自主管理复杂的记忆系统。 在实际应用中，仅仅依靠prompts和instructions往往不足以覆盖所有场景：模型经常会遇到不知道如何更新记忆的情况，尤其是当记忆系统像MIRIX那样变得复杂时。
10/21/2025 8:53:00 AM
OpenAI也缺卡！僧多粥少，自曝内部抢卡抢到发疯
OpenAI正面临绝对的算力稀缺。 总裁Greg Brockman自曝内部算力资源争夺严重，已经到了用痛苦与煎熬来形容的程度。 说起来也不意外，现在AI领域但凡想搞点新东西，算力都是绕不开的坎儿。
10/21/2025 8:52:00 AM
宇树最新机器人发布：1米8大高个，能跳舞会功夫，就是颜值一言难尽
宇树第四款人形机器人，Unitree H2转着圈圈来了！ 这款新品身高180厘米，体重70公斤，比同身高的H1机器人重了足足23公斤。 宽肩窄腰，意味着电池和控制板都必须塞进它小小的胸膛。
10/21/2025 8:43:00 AM
Suno V5正式封神！教你零基础一键生成爆款AI音乐
三天前的夜里，我正在刷抖音，刷到一个用 R&B 风格唱的《一路向北》当时就给我听麻了。 我当时就是“早知道，还是原道”那个图片表情，太震撼了，而且音频非常清晰我都没想过是 AI 唱的。 然后我就去作者的主页看，又看到了《青花瓷》没想到下面写着 Suno 5 。
10/21/2025 8:22:18 AM
歸藏
DeepSeek新模型被硅谷夸疯了！用二维视觉压缩一维文字，单GPU能跑，“谷歌核心机密被开源”
DeepSeek最新开源的模型，已经被硅谷夸疯了！ 因为实在太DeepSeek了。 3B规模、指数级效能变革、大道至简，甚至被认为把谷歌Gemini严防死守的商业机密开源了。
10/21/2025 8:03:21 AM
联邦学习：无需共享原始数据训练模型
译者 | 李睿审校 | 重楼随着机器学习对训练数据的需求与日俱增，传统的集中式训练方式在隐私要求、运营效率低下以及消费者日益增长的怀疑态度下不堪重负。 由于道德和法律限制，医疗记录或支付历史等责任信息已经难以被简单地集中采集与处理。 在此背景下，联邦学习提供了一种截然不同的解决方案：它摒弃了“将数据传输至模型”的传统思路，转而采用“将模型推送至数据所在端”的创新模式。
10/21/2025 8:00:00 AM
李睿
AI正在改写地图APP！这一次轮到谷歌了
谷歌这回整了个大活儿！ 即日起，所有开发者可通过Gemini API调用谷歌地图工具，以便轻松将位置感知功能整合进其应用中。 简单粗暴地说，现在但凡你的应用跟“位置”沾边，Gemini都能立刻调用谷歌地图那套庞大的地理数据库——2.5亿个地点全给它接通了。
10/21/2025 7:55:39 AM
一水
智能体时代的三重奏：身份验证、安全防护与AI驱动型数据治理的融合演进
如今，在数字世界的闲聊圈子里，有一条不成文的新规矩：千万别问别人关于其“智能体年龄”的问题。 试图通过大语言模型逗乐取笑，这招可不怎么高明，而当下正进行得如火如荼、收获颇丰的，是一场抢占身份安全管理市场的行动。 随着智能体的广泛应用，这一市场正迎来爆发式增长。
10/21/2025 7:10:00 AM
Joel