微软验证Rust密码学，OpenWorker发布，AI重塑药物研发
本周科技领域迎来多项重要进展：微软在SymCrypt中验证Rust密码学实现，Andrew Ng发布开源桌面AI助手OpenWorker，AI正在加速药物研发进程，而谷歌则迎来了搜索框25年来的首次重新设计。
微软在SymCrypt中验证Rust密码学：从标准到代码
微软研究院发布了一项重要成果，展示了如何在SymCrypt库中验证Rust编写的密码学实现。这项工作确保了密码学算法从标准规范到实际代码实现的一致性与安全性。通过形式化验证方法，微软团队能够严格证明Rust代码符合预期的密码学标准，这对于保障云服务、操作系统和应用程序的安全性至关重要。
AI如何帮助科学家设计下一代药物
《MIT Technology Review》发布深度报道，探讨AI在药物发现领域的革命性作用。文章指出，当生成式AI吸引公众目光时，另一种AI正在重塑药物研发——机器学习模型正在帮助压缩长达十年的研发周期，并解决此前无法攻克的难题。与阿斯利康合作的研究表明，对于生物药物（由工程化蛋白质制成的疗法），AI能够显著加速候选分子的筛选与优化过程。
谷歌25年来首次重新设计搜索框
VentureBeat报道，谷歌对搜索框进行了25年来的首次重新设计。这一看似简单的改动背后，反映了搜索体验的根本性变革。随着AI技术的融入，搜索框不再仅仅是输入关键词的入口，而是成为用户与AI助手交互的核心界面。这一变化将深刻影响数十亿用户的日常搜索习惯。
OpenAI推出ChatGPT健康功能
OpenAI宣布在ChatGPT中推出健康相关功能。这一举措标志着AI助手向医疗健康领域的进一步延伸，用户可以通过ChatGPT获取健康信息和建议。不过，OpenAI强调这些功能旨在提供信息参考，不能替代专业医疗诊断。
Andrew Ng发布OpenWorker：开源本地优先的桌面AI助手
著名AI学者吴恩达（Andrew Ng）宣布发布OpenWorker，这是一款开源的、本地优先的桌面AI助手。与传统的对话式AI不同，OpenWorker能够直接返回完成的任务成果，而非仅仅进行聊天交互。这一设计理念代表了AI工具从“聊天机器人”向“数字同事”的演进方向，开发者可以基于此构建更智能的工作流自动化工具。
关键词： 密码学验证，Rust，SymCrypt，AI药物研发，谷歌搜索框，ChatGPT健康，OpenWorker，开源AI助手
