「内部验证器」共找到 1343 篇相关文章
Claude Code 推出安全审计插件，边写代码边抓漏洞
Claude Code上线官方安全插件security - guidance，能在写代码时自动识别并修复安全漏洞。它分三层防线，覆盖多种漏洞类型，还支持自定义安全策略，安装方便，但只是辅助工具。
OpenAI世纪诉讼，马斯克输了！
马斯克诉OpenAI 1500亿美元案件，陪审团90分钟全票驳回，原因是诉讼时效已过。虽未审理实质指控，但庭审揭开OpenAI隐秘运作。此判决为OpenAI IPO扫清障碍，双方后续还有多起诉讼待决。
ICML 2026 | 拒绝盲目猜token，阿里x浙大将投机解码带入弹性预算时代
随着大模型参数规模扩大，推理成本成核心瓶颈。投机解码在高并发下有问题，阿里与浙大学者提出 ECHO，将投机树构造建模为预算调度问题，通过稀疏门控和弹性预算调度提升系统收益。
太空算力排队到2030年，这家初创公司不等了：自己造火箭把数据中心送上天
5月11日，太空基础设施Cowboy Space完成2.75亿美元B轮融资，估值达20亿美元。其创始人Baiju Bhatt计划自造火箭，将上面级改造为在轨数据中心。但造火箭门槛高，轨道数据中心面临经济、延迟等难题。
ICLR 2026 Oral｜大模型总爱「想太多」？ DECS从源头消除冗余思考，实现推理token减半且性能不降反升
以DeepSeek - R1等为代表的大型推理模型存在过度思考问题，造成大量冗余计算。复旦大学等团队在ICLR 2026 Oral论文中揭示‘长度惩罚’局限性，提出DECS框架，在多基准测试中实现推理长度减半且性能提升。
不只是DeepSeek V4，还有个万亿级大模型，训推全程国产芯片
2026年4月24日，DeepSeek发布新一代模型DeepSeek - V4系列预览版并开源。同日，美团用全国产算力集群训练出万亿参数大模型LongCat - 2.0系列预览版，训推全流程摆脱英伟达，在国产算力支撑万亿级模型研发上取得突破。
重度抑郁可以用“开关”控制了？FDA批准了一款蓝莓大小的脑植入物
美国脑机接口公司Motif Neurotech宣布开启人体临床试验，FDA已批准其RESONATE研究申请。该公司研发的DOT植入设备如蓝莓大小，无线供电，可刺激大脑缓解重度抑郁症状，患者在家就能治疗。
专为青光眼设计！科学家开发智能隐形眼镜，24小时监控眼压，超标自动滴药
青光眼致病主因是眼压异常升高，传统治疗有痛点。寺崎生物医学创新研究所团队开发无电池、全聚合物微流控诊疗一体化智能隐形眼镜 AP - TSCL，能 24 小时监测眼压、自动给药，已展现高成药潜力。
The Batch: 944 | Llama 之后的时代
Meta发布首个AI模型Muse Spark，是多模态推理模型，在部分健康和多模态测试领先，编程与智能体任务有不足。Meta披露技术细节少，该模型基准测试有竞争力，但其从开放转向封闭引开发者担忧。
设计行业天塌了！Anthropic再推王炸产品Claude Design：设计稿、原型、PPT一句话搞定
Anthropic推出平台级产品Claude Design，用Claude Opus 4.7模型助力设计。它能让各类用户完成视觉内容创作，有多种使用场景和便捷工作流程，还给出内部设计师使用建议。