「可验证计算」共找到 5136 篇相关文章
撕开Claude Code真相：让它好用的98.4%，是工程不是AI
X用户推文曝光Claude Code项目模板，实则是公开范式。研究显示Claude Code 98.4%是工程基建。OpenAI等团队已将AI编程跑成生产线，普通开发者也能搭建入门版基建。
不只是DeepSeek V4，还有个万亿级大模型，训推全程国产芯片
2026年4月24日，DeepSeek发布新一代模型DeepSeek - V4系列预览版并开源。同日，美团用全国产算力集群训练出万亿参数大模型LongCat - 2.0系列预览版，训推全流程摆脱英伟达，在国产算力支撑万亿级模型研发上取得突破。
DeepSeek多模态真的来了？识图模式已开始小范围灰度
4月29日，DeepSeek多模态团队负责人陈小康在X发布动态暗示多模态进展。部分用户在DeepSeek官方App灰度到“识图模式”，这是其主线产品首次有图像理解能力模式，此前多模态人才有流失，官方未说明开放细节。
三年连下三癌，阿里AI跑通了多癌筛查
4月21日，阿里达摩院和广东省人民医院等机构研究登《肿瘤学年鉴》。其研发的AI模型DAMO COCA从平扫CT揪出5例漏诊肠癌，准确率超医生。此前，该团队已推出胰腺癌、胃癌筛查模型，跑通‘平扫CT+AI’多癌筛查路线。
揭秘与评测 30K+ Star 的 Graphify：企业存量系统 AI 编码的"第二大脑"。
文章揭秘评测 30K+ Star 的 Graphify，它能将分散材料转为结构化知识图谱，助 AI 编程助手理解代码。介绍其使用方法、原理，经测试它能提升综合质量、降低探索成本，不过并非万能解药。
专为青光眼设计！科学家开发智能隐形眼镜，24小时监控眼压，超标自动滴药
青光眼致病主因是眼压异常升高，传统治疗有痛点。寺崎生物医学创新研究所团队开发无电池、全聚合物微流控诊疗一体化智能隐形眼镜 AP - TSCL，能 24 小时监测眼压、自动给药，已展现高成药潜力。
The Batch: 944 | Llama 之后的时代
Meta发布首个AI模型Muse Spark，是多模态推理模型，在部分健康和多模态测试领先，编程与智能体任务有不足。Meta披露技术细节少，该模型基准测试有竞争力，但其从开放转向封闭引开发者担忧。
推荐两个Vibe Coding必备的skill，Vibe程序员效率起飞了
Vibe程序员应聚焦创意，提高效率很关键。文章推荐两个实用技能，一是codebase - to - course，助开发者理解代码库；二是app - store - screenshots，可快速生成应用商店图，都经作者实测。
影身智能完成多轮融资，用原生3D数据重新定义机器人认知｜甲子光年
影身智能已连续完成多轮融资，累计近亿元。其以‘原生3D动态世界模型’为核心技术，采用与市场不同的‘升维’思路，用自研的‘影身360’系统采集3D数据，还落地柔性智造行业，目标是打造通用人工智能产品。
编程智能体的隐藏bug，被上交IPADS团队用数学逻辑给揪出来了
上海交通大学 IPADS 研究团队打造 FM - Agent，实现大规模系统全自动正确性推理。它能从顶尖编程智能体生成的大规模系统中找出隐藏 bug，还提出新规约生成方法，在绝对严谨与工程可用间找到平衡。