「可验证计算」共找到 5148 篇相关文章
Google推出 AI 科学家：自动编写专家级代码，40个新方法碾压人类 SOTA
Google新发布的AI系统能编写科学软件、发明新方法，结合大语言模型与树搜索技术。在生物信息学、流行病学等多领域超人类最优水平，引发网友对科研影响的讨论。
蚂蚁即将上线通用 Agent
蚂蚁百宝箱团队将在今年外滩大会正式上线 Tbox 超级智能体，其产品形态与部分平台相近，能让不同角色分工协作。实测显示它在多方面表现不错，但也存在细节不足，官网有诸多案例。
SIGCOMM 2025｜重新定义个性化视频体验，快手与清华联合提出灵犀系统
快手与清华孙立峰团队联合发表论文，提出灵犀系统，这是业界首个大规模生产环境中面向用户个性化体验的自适应视频流优化系统。该系统能解决现有方法在部署中的难题，实现个性化QoE优化。
极佳科技朱政：世界模型会进化成 VLA 的下一代｜具身先锋十人谈
具身智能领域数据难题待解，极佳科技朱政投身世界模型研究。他认为世界模型短期内是‘驯化’VLA的容器，长期或与VLA融合。其团队成果显著，还将探索多维度建模与数据配比优化。
斯坦福发布预警信号：生成式AI正如何重塑就业市场？年轻职场新人首当其冲
斯坦福大学Erik Brynjolfsson教授领衔的论文，用海量高频薪资数据研究AI就业效应。发现高AI暴露职业中年轻职场新人就业显著下降，自动化型AI应用致就业降，增强型则无，还给出年轻人受影响大的原因。
AgentFly：重塑Agent，无需微调LLM，如我们一样的记忆和经验持续学习
现有LLM智能体依赖静态流程或微调参数，缺乏灵活性且成本高。论文提出基于记忆的在线强化学习框架AgentFly，不更新LLM权重，在多基准测试表现出色，为构建通用智能体提供新范式。
Meta与Midjourney合作，集成在新模型中
Theverge消息，Meta首席人工智能官宣布将Midjourney技术整合到未来AI模型和产品。合作对Meta意义大，可对标领先模型。Meta早有布局，Midjourney发展快且营收可观，采用订阅制。
真实场景也能批量造「险」！VLM+扩散模型打造真实域自动驾驶极限测试
浙江大学与哈工大（深圳）联合推出SafeMVDrive，将VLM关键车辆选择器与两阶段轨迹生成结合，可在真实域批量制造高保真安全关键视频，用于端到端自动驾驶系统安全性测试。
Claude Code团队谈产品哲学，自己是第一用户
Claude Code团队分享产品开发哲学与多智能体协作玩法。其迭代快，靠独特流程：成员用它原型化功能，经内部试用调整。用户使用偏好多样，SDK易用，团队鼓励做自己产品的第一用户。
月烧35万元token、逼得Claude官方连夜限速！被全网吐槽的中国“榜一大哥”，已经靠 AI 年入千万了
X 用户“刘小排”认领月耗 5 万美元 Claude Code token。他靠 AI 年入近千万，用 AI 开发产品，还分享找需求、做产品等经验。他认为 AI 是长期机会，能放大个人能力。