「可验证计算」共找到 5058 篇相关文章
今年诺奖成果曾遭质疑无用，但华人团队用它研制了未来芯片的「钥匙」
2025年诺贝尔化学奖成果MOF曾因稳定性差、成本高，实际应用寥寥。如今，海外华人科研团队用其造出纳米级液体芯片，能执行逻辑运算，有记忆效应，成果发表在Science子刊。
腾讯发布WeKnora知识库，无缝链接微信生态
微信团队推出基于大模型的文档理解检索框架WeKnora，应用于复杂异构文档场景。它采用多模态预处理等设计，有文档解析、意图识别等特点，可本地私有化，还能与微信生态无缝衔接。
PAS刊发西工大张伟伟教授智能流体力学重磅综述论文
西工大张伟伟教授团队受主编邀请，系统调研人工智能与流体力学交叉领域进展。通过科学计量学方法，展示发展脉络、现状与前沿方向，分析研究格局、梳理团队，为该领域提供全景图。
为什么软件工程治理很重要：降低风险但不拖累速度
Sarah Wells 在哥本哈根 Goto 会议称，软件工程治理助团队决策、支持价值交付。糟糕治理会拖慢进度、增加成本。技术策略和组织技术雷达可辅助决策，还能从 DORA 能力学治理。
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
陶哲轩迷上形式化数学证明，开设YouTube账号分享用Lean形式化证明的视频，还发布开源项目，将经典教材《Analysis I》定义、定理和习题「翻译」成Lean代码，项目可作学习资料，部分内容已完成翻译。
上手“设计界的Manus”，朱啸虎点赞，Lovart这波魔法破圈了丨TIP 002
国产出海产品Lovart被称为“设计界的Manus”，获朱啸虎点赞。它是设计领域首个Agent，能用自然语言驱动生成多模态视觉作品，可生成VI体系、短片等，适合文创领域，还能人工编辑，调用多模型。
YC 总裁：2026，个人 AGI 已来
YC总裁Garry Tan在演讲中指出AGI已来，给出全新定义框架，强调其可成个人资产。他介绍了个人AGI存在形态、搭建步骤，还探讨其归属，鼓励大家主动构建。
一个图形界面管好所有Win软件包，爽！
Win系统装软件易遇‘全家桶’，开发者管理包管理器繁琐。开源神器UniGetUI可聚合主流包管理器软件源，在清爽界面搜索、安装、更新和卸载软件，功能丰富，还提供多种安装方式。
从Apache顶级项目到创业征程:一个开源人的坚守与突围
作者王华杰将个人项目 StreamPark 捐给 Apache 成顶级项目，现又踏上创业路。他讲述项目成长历程，还推出基于此的 Awestream 平台，有提升开发效率等特性，助力企业实时计算。
秘塔 AI，悄咪咪上线「今天学点啥」App
作者受手机厂商将AI功能做成NFC卡片启发，提出把知识载体变成Agent的想法。秘塔AI观点与其不谋而合，还将「今天学点啥」做成独立App，可个性化学习，体验超预期。