「可验证计算」共找到 5131 篇相关文章
刚刚，Anthropic深夜血洗500亿美金行业！代码审计末日来了
Anthropic的Claude Code新增代码评审功能，挑战500亿美元的传统代码审计行业。新工具成本低，能自动化评审，减少误报，准确率超多数人类评审员，或引发行业大洗牌。
GPT-5.4暴击华尔街！白领工作灭绝时刻，美国5.7万科技岗位被血洗
OpenAI发布GPT - 5.4震惊AI圈。它能力超强，能颠覆白领工作，如让Excel变数据分析平台、超越咨询投行律所。美国科技行业岗位大减，但AI岗位需求飙升，诺奖得主警告AI会加剧不平等。
龙虾之父参与的首个OpenAI项目：@开源贡献者，ChatGPT token免费送
OpenAI推出Codex for Open Source项目，由‘龙虾之父’Peter Steinberger宣传。该项目为开源贡献者免费送ChatGPT token，可申请API积分、免费用6个月ChatGPT Pro等，申请门槛不算高。
香农、信息论、AI、Scaling Law，以及信息的观察者效应
文章围绕经典信息论在AI实践中的矛盾展开，介绍CMU和NYU论文《From Entropy to Epiplexity》提出的新概念，解释合成数据、数据排序等问题，还探讨合成数据飞轮能否持续，指出epiplexity可定义数据质量。
nnU-Net：医学图像分割的自适应自动化框架
德国癌症研究中心团队提出 nnU-Net 自配置医学图像分割框架，能根据数据集特征自动推导预处理、网络拓扑等策略获稳健分割基线。文章介绍其原理、优缺点、评测案例及 Python 代码实现。
三星研究院发布手机端侧大模型MeKi：基于Memory的LLM扩展新范式，支持旗舰手机端侧部署
三星研究院发布端侧大模型架构MeKi，提出用存储空间扩展模型容量、提升LLM性能的新范式。它利用手机ROM缓解内存压力，实现容量与性能提升。实验显示其性能、效率表现优，为边缘部署LLM提供新思路。
ICLR 2026 Oral | 西湖大学发布Real PDE Bench
复杂物理系统时空演化预测是核心问题，当前AI模型多在数值仿真数据上训练，难以评估其在真实数据上的表现。西湖大学等实验室提出RealPDEBench，含真实与仿真数据，设三类任务、九个评估指标和十个基线方法。
吴恩达来信：DeepLearning.AI Skill Builder工具隆重上线！
DeepLearning.AI发布Skill Builder工具，可根据用户AI项目经历给出个性化反馈和提升建议，从初学者到高级用户都适用，完全免费，还会生成总结报告，Pro会员有更详尽反馈。
R1/Qwen训练新范式：无需继续训练，直接“算”出权重，提效500%
DeepSeek - R1爆火让RLVR成大模型后训练焦点，但训练代价高昂。学者发现RLVR中LLM权重和输出概率呈线性变化，提出“权重外推”等方法，实现最高6.1倍训练加速，RL - Extra在多榜单展现高效率。
100 刀订阅的 Claude Cowork，被 GitHub 大神 2 天手搓出「开源升级版」！
Anthropic 的 Claude Cowork 功能强大，但昂贵门槛挡住多数人。开源社区的 Accomplish，开发者 2 天就搓出其开源平替版，还是升级版，能本地运行、支持多模型。