最新发布第30页
GeneLLM登上顶刊后,AI生命科学竞争开始深入原始测序数据-速维云

GeneLLM登上顶刊后,AI生命科学竞争开始深入原始测序数据

GeneLLM 基于原始测序数据进行多组学预训练,推动 AI 从知识问答进入生命科学数据层;同批重点资讯也显示,AI 正在沿着算力部署、工业优化、安全测试和具身智能等方向深入关键产业流程。
ChatGPT K12账号漏洞扰动价格后,AI行业又回到成本与安全的双重账本-速维云

ChatGPT K12账号漏洞扰动价格后,AI行业又回到成本与安全的双重账本

ChatGPT K12教师空间权限漏洞把低价token推上台前,也让AI行业重新审视账号权限、推理成本、安全治理和算力效率之间的关系。
DeepSeek登顶调用榜,Qwen闯入编程前列:开发者入口正在被中国模型重排-速维云

DeepSeek登顶调用榜,Qwen闯入编程前列:开发者入口正在被中国模型重排

DeepSeek V4-Flash 登上 OpenRouter 全球调用榜,Qwen3.7-Max 闯入编程模型前列,Keye-VL、多模态推理、低价 API 与应用生成工具共同推动开发者入口重排。
英伟达Halos开源后,机器人竞争开始补安全操作系统-速维云

英伟达Halos开源后,机器人竞争开始补安全操作系统

英伟达发布并开源机器人安全系统Halos for Robotics,物理AI竞争正在从动作演示走向安全认证、数据闭环和系统交付。
ProtoPilot跑通湿实验后,AI科学开始从问答走向实验闭环-速维云

ProtoPilot跑通湿实验后,AI科学开始从问答走向实验闭环

ProtoPilot把自然语言实验意图连接到湿实验执行,ElementsClaw发现全新超导体,AI科学正在从问答辅助走向可验证的实验闭环。
Claude用1300万行Lean代码把费马大定理交给机器验证-速维云

Claude用1300万行Lean代码把费马大定理交给机器验证

Claude完成大规模Lean形式化证明,GPT-6在开放数学问题基准中提交机器可验证结果,AI科学正在从生成答案转向交付证据链。