「可验证计算」共找到 5058 篇相关文章
刚刚，新一届ACM博士论文奖正式公布
近日，新一届 ACM 博士论文奖公布，含一个博士论文奖和两个荣誉提名。获奖论文探讨人机协作解决心理健康问题，荣誉提名论文分别聚焦计算模型局限性及大模型数据利用。
连Karpathy都怕了！9千万级AI包被投毒，竟靠黑客写出bug救命
3月24日，AI应用核心工具LiteLLM更新版本含恶意代码，可窃取开发者核心信息。因攻击者代码有bug致机器崩溃才暴露。这引发AI基础设施信任危机，Karpathy称要减少依赖。
好哇，缩短了设计与代码之间的差距。
Cursor更新可视化编辑器，输入`@Browser`即可使用。可拖动页面元素改结构，用控件调样式，还能描述更改内容、测试组件状态，缩小设计与代码差距，比Claude Code更便捷。
2025中国力学大会AI+分享 | 四川大学张来平研究员：基于图神经网络的流场预测方法研究进展
2025中国力学大会AI+分享中，四川大学张来平研究员介绍基于图神经网络的流场预测方法研究进展。张来平长期从事计算流体力学研究，近年专注AI for Science，成果颇丰。
刚刚，OpenAI发布首个AI浏览器ChatGPT Atlas！谷歌最怕的来了
OpenAI发布AI浏览器ChatGPT Atlas，原生嵌入ChatGPT，有侧边栏、浏览器记忆与智能体模式，可在页面内理解意图并完成任务。谷歌股价应声下挫，AI浏览器之战升温。
备受Meta折磨，LeCun依旧猛发论文！新作：JEPAs不只学特征，还能精准感知数据密度
备受Meta审核规定“折磨”，LeCun仍发新论文。其团队发现自监督模型JEPAs学会了数据“密度”，打破学界以往认知。还提出JEPA - SCORE工具，经多组实验验证其效果。
当万相2.5刚开卷有声视频，7月已经发布音频一体化的百度蒸汽机又开卷长视频了
百度升级MuseSteamer蒸汽机视频生成模型，可生成任意长度视频，生成中能更新prompt交互创作。其技术规划前瞻体系化，成本低，在多行业有应用和商业化空间。
推荐！5分钟上手Chrome MCP，替代5个付费AI
作者测试发现Chrome MCP能替代大部分付费AI工具，如Cubox、音频工具等。它能让Claude控制浏览器，操作简单，1小时可配置，还能年省2000元，提升效率。
微信聊天记录喂AI（腾讯官方版）
用户可将微信聊天记录转发到元宝app，它能提供智能总结、分析等服务。在工作、生活、学习全场景都适用，如生成会议纪要、梳理旅游规划等，此前它还能总结微信文件、解读公众号文章。
Codex最被忽略的功能
Codex的侧边栏功能常被忽略，但实用性超强。侧边栏有文件、浏览器、终端三个选项，可配合Codex使用，让其成为工作系统一部分，将AI从聊天框推近工作现场。