DeepSeek-AI团队开发的DeepSeekMath-V2突破了传统数学AI只关注答案正确性的局限，首次实现了AI的"自我验证"能力。该系统在2025年IMO竞赛中达到金牌水平，在2024年普特南竞赛中得分118/120，远超人类最高分。这项技术…详细

人工智能数学推理自我验证模型

这项由伊利诺伊大学与谷歌联合开展的研究提出了"分离然后合并"（StM）的视频合成新方法，通过自动分解5万个视频片段创建了大规模训练数据集，解决了传统方法无法同时保持原始动作和实现环境适应的问题，让AI能像经验…详细

视频生成深度学习数据集构建

“中国车在出海过程中，未来最大的竞争不只是价格之争，也不只是硬件之争，而是体验之争。”当虹科技董事长孙彦龙如此断言。他身旁的Xperi集团副总裁及大中华区总经理郎正武（Christopher Lang）接受科技行者专访时，…详细

Xperi车企出海出海对话科技行者DTS极石汽车

“中国车在出海过程中，未来最大的竞争不只是价格之争，也不只是硬件之争，而是体验之争。”当虹科技董事长孙彦龙如此断言。他身旁的Xperi集团副总裁及大中华区总经理郎正武（Christopher Lang）接受科技行者专访时，…详细

出海当虹科技Xperi极石汽车DTS对话科技行者

在技术快速发展的今天，众多企业都面临IT资产生命周期管理的难题。…详细

华硕Ascent GX10 GPU采用了最新的Blackwell架构，这一架构针对Diffusion模型和Transformer等主流AI模型配备了专门的加速单元。…详细

探索Mac终端中鲜为人知但实用的命令技巧，包括快速设置闹钟、检查电池健康状态、查找WiFi密码、清理下载记录以及自定义截图设置等。这些命令能显著提升安全从业者的工作效率，从Touch ID认证到网络管理，涵盖多个实用…详细

系统安全命令行工具优化技巧

Spacecoin公司成功发射三颗卫星，旨在构建全球首个基于低轨卫星星座的去中心化物理基础设施网络。该项目采用区块链技术的纳米卫星提供抗审查的互联网接入，重点服务偏远地区。CTC-1任务将验证卫星间数据交换和用户连…详细

卫星通信区块链技术去中心化网络

莱斯特的剑桥郡银行采用SnapLogic现代中间件平台消除手动流程。首席转型官David Holton负责将更多技术集成到银行业务中。该银行主要服务中小企业的房地产和资产融资市场。通过SnapLogic合作，银行移除了系统间点对点…详细

数字化转型中间件技术业务流程优化

谷歌宣布开始测试将AI概览与搜索中的AI模式合并的新功能。用户在获得搜索结果上方的AI生成信息摘要后，可通过对话界面提出后续问题进行深度探索。这项测试目前在全球移动设备上推出，旨在让用户无缝地从搜索结果页面…详细

人工智能搜索技术功能整合

AWS年度技术大会re:Invent 2025聚焦企业AI发展，发布多项重磅产品。主要亮点包括：新一代AI训练芯片Trainium3性能提升4倍并降低40%能耗；推出可自主工作数天的Kiro代理和Nova AI模型系列；扩展AgentCore平台功能，增…详细

人工智能智能体AI训练芯片