至顶网软件频道消息: 微软日前开始提供旗下量子开发工具包免费预览版的下载。在12月11日微软官员在公告里表示该套件包括Q#编程语言、编译器和本地量子计算模拟器,套件与Visual Studio全面整合在一起,同时提供的还有基于Azure的模拟器,开发人员可以模拟超过40逻辑量子位(Qubit)的计算能力。另外,套件附有文档、程序库和示例程序。
其实,微软在9月的Ignite大会上曾宣布有意为量子计算提供相关工具。据悉,量子计算机的设计强化了并行处理,因而可令各种新型应用程序的工作负载成为现实。ZDNet的Tony Baer做了如下的解释,量子计算机利用了亚原子粒子的物理性质,所提供的存储数据和解决问题的方式与传统计算机不同。量子计算机故而可以更高效地解决一些高性能计算问题。
微软官员之前曾表示过,开发人员为量子模拟器创建的应用程序最终将可以在微软目前正在开发的量子计算机上运行。微软的目标是建立一个完整的量子计算系统,包括量子计算硬件和完整的相关软件栈。
微软并非正致力构建量子计算系统的唯一一家。事实上,IBM今年5月曾交付了一个17量子位处理器的样品,IBM当时还表示50量子位处理器的样品接近收官。
好文章,需要你的鼓励
企业AI搜索公司Glean宣布年度经常性收入(ARR)达3亿美元,较15个月前的1亿美元增长三倍。尽管谷歌、微软、OpenAI等科技巨头纷纷入局企业AI搜索市场,Glean凭借"上下文图谱"技术深度理解企业业务需求,并帮助客户显著降低AI计算成本。该公司提供按用量计费和混合定价两种模式,客户涵盖Databricks、Reddit、Pinterest及三星等企业。Glean上轮融资后估值达72亿美元。
香港中文大学与MiniMax提出ClaimDiff-RL框架,将图像描述的AI训练从整体打分升级为逐条核查,有效解决了传统方式导致AI"少说保平安"的问题,同时在多项基准测试上超越Gemini-3-Pro-Preview。
杰夫·贝索斯旗下的蓝色起源公司在佛罗里达卡纳维拉尔角进行静态点火测试时,新格伦重型火箭发生爆炸。这是美国历史上最大规模的火箭爆炸之一,也是蓝色起源公司遭遇的最严重失败。所有人员安全,但该事故可能导致新格伦火箭项目长期暂停。此前该火箭已成功完成三次发射,并实现了助推器回收和重复使用。
ParaVT是一个由南洋理工等多校联合提出的并行视频工具调用框架,通过让AI同时分析多段视频并引入PARA-GRPO算法解决训练中的格式崩溃与工具跳过问题,在六项长视频理解测试中平均提升约7.9%。