微软验证Rust密码学，AI代理安全漏洞与天气数据操纵风险上升
本周科技领域热点频出：微软在SymCrypt库中验证Rust密码学实现，标志着形式化验证在关键基础设施中的新进展；AI代理安全漏洞引发企业担忧，54%的企业已遭遇相关事件；天气数据操纵风险随AI预测普及而上升；OpenAI发布AI时代“记分卡”；Feyn AI推出先检查数据库再写查询的Text-to-SQL模型。
微软在SymCrypt中验证Rust密码学：从标准到代码
微软研究院发布了一项重要成果，在SymCrypt密码学库中验证了Rust实现的正确性。该项目将形式化验证方法应用于实际密码学代码，从标准规范到具体实现进行全链路验证。SymCrypt是微软核心密码学库，广泛应用于Windows、Azure等关键系统。此次验证工作展示了如何将高级密码学标准转化为可证明正确的Rust代码，为构建更安全的软件基础设施提供了新范式。
AI代理安全缺口：54%企业已遭遇事件，多数仍允许共享凭证
VentureBeat报道指出，AI代理在企业中的快速部署正带来严重安全挑战。调查显示，54%的企业已经历AI代理相关安全事件，但多数企业仍允许代理共享凭证，这构成了重大安全隐患。AI代理在自主执行任务时，可能因权限管理不当、凭证泄露或行为异常导致数据泄露或系统被操控。专家呼吁企业重新评估AI代理的访问控制策略，实施最小权限原则。
天气数据操纵风险上升：AI预测带来新挑战
MIT Technology Review发表观点文章，警告天气数据操纵风险正在上升。随着预测市场兴起和AI预测方法的应用，天气预报的准确性面临新威胁。恶意行为者可能通过操纵观测数据或模型输入来影响预测结果，进而影响依赖天气信息的航空、农业、能源等行业的关键决策。文章呼吁建立数据完整性保障机制，确保气象预测的可靠性。
OpenAI发布AI时代“记分卡”
OpenAI推出了一份名为“A scorecard for the AI age”的框架性文件，旨在为AI系统的评估提供标准化指标。该记分卡涵盖性能、安全性、公平性、透明度等多个维度，帮助开发者和用户更好地理解和比较不同AI系统的能力与风险。这是OpenAI在AI治理领域的最新尝试，旨在推动行业形成统一的评估标准。
Feyn AI发布SQRL：先检查数据库再写查询的Text-to-SQL模型
Feyn AI（YC孵化）发布了SQRL系列模型，这是一种创新的Text-to-SQL解决方案。与大多数直接将自然语言翻译为SQL查询的系统不同，SQRL在执行查询前会先检查数据库结构——包括表结构、字段类型、索引和统计信息。这种“先检查后执行”的策略显著提高了查询的准确性和效率，减少了因对数据库结构理解错误导致的错误查询。SQRL模型已开源，为数据查询领域带来新思路。
关键词： Rust密码学验证，SymCrypt，形式化验证，AI代理安全，凭证共享，天气数据操纵，AI预测风险，OpenAI记分卡，AI评估标准，Text-to-SQL，SQRL，数据库查询，Feyn AI
