量子软件实验室在3年内发展到100多名研究人员；推出£2000万QATCH项目，旨在通过与硬件厂商和国家测试平台的直接协作，创建实用的量子软件工具和系统，覆盖所有量子比特模式。

#量子软件 #量子优势 #量子计算

Classiq 的容错引擎自动化将逻辑量子电路编译到三维表面编码晶格，在容错量子处理单元可用之前，实现跨多种量子比特模式的硬件感知资源优化。

#量子纠错 #量子软件 #新闻

eigenkit 1.0使开发者能够一次编写量子算法，并在八个模拟器和四个量子处理器硬件平台上无需修改代码即可执行，集成了PyTorch和scikit-learn机器学习管道。

#量子软件 #量子计算 #新闻

Bloq Quantum 发布了 Bloq Maya，这是一个代理型 AI 助手，可自动化量子电路设计、算法公式化和企业应用代码生成。该平台提供 15+ 研究级算法、拖放式电路组成和硬件无关的部署...

#量子软件 #量子计算 #新闻

GWPTools实现了时间相关量子系统的精确符号-数值计算，为数值方法的基准测试提供了解析解，并支持对波包行为的透明教学探索，避免了离散化误差的累积。

#量子模拟 #量子软件 #研究

用于在Lean 4中形式验证混合量子-经典程序的框架，包含量子霍尔逻辑(QHL+)的完备性证明。已验证的量子算法包括QFT、相位估计和哈密顿模拟，使用LLM辅助的证明构造。

#量子软件 #形式验证 #研究

PADO-Pauli通过GPU加速的Pauli传播实现了对变分量子算法的快速经典模拟。将电路编译一次并在多次评估中重复使用，相比cuPauliProp可实现10倍加速、节省3.1倍内存，并为量子...提供原生PyTorch微分功能

#量子计算 #量子软件 #研究

OpenMQPI通过MLIR将量子电路编译集成到OpenMP的目标卸载模型中，通过保留电路表示以供量子特定优化，在VQE、QFT和Deutsch–Jozsa算法中实现了具有竞争力的运行时性能。

#量子软件 #高性能计算 #量子计算

量子计算机缺乏足够的软件基础设施来支持高性能计算中心的部署。业界专家报告称当前的集成尝试准备不充分，中间件和编排系统需要进行重大开发，才能实现实际的超级计算集成...

#量子计算 #高性能计算 #量子软件

Classiq与以色列量子计算中心整合，使研究人员能够通过统一的硬件感知软件合成和HPC作业编排，在多个量子比特模式上开发和执行量子应用程序。

#量子软件 #混合量子 #新闻

Classiq与Alpine Quantum Technologies合作，推出统一的量子设计-执行平台，将自动化电路优化软件与AQT的高保真、完全连接的离子阱量子系统相结合，适用于企业和研究应用。

#离子阱 #量子软件 #新闻

Classiq推出Qmod，一种高级量子编程语言，它抽象化了门级复杂性，使开发者能够使用类似经典的语法和多种算术模式来表达量子算法。

#量子编程 #量子软件 #新闻

Quantum Elements Constellation 平台因其硬件感知的开发环境获得 TMCnet 认可，该环境旨在加速通往容错量子计算的发展道路。

#量子软件 #容错 #新闻

费米子量子计算的严格数学框架结合了前幺半范畴和可扩展的图表语言，支持电路编译和标准形式以实现实际优化。

#费米子量子 #量子算法 #量子软件

Classiq 的软件现已连接到 IQCC 的高性能计算调度程序，实现无缝混合量子-经典工作流。研究人员可以开发和部署量子应用，跨多个量子后端，采用硬件感知合成和集中资源管理。

#量子软件 #混合量子 #新闻

Zapata Quantum融得1500万美元融资并进行重组，专注于量子软件应用。凭借9300万美元总融资，该公司致力于缩小快速发展的量子硬件与实际应用开发之间的差距。

#量子软件 #量子计算 #新闻

Zapata Quantum推出Quantum Pilot，一个云平台，帮助企业通过形式验证和AI驱动的资源估算来识别高价值的量子应用，避免供应商锁定。

#量子计算 #量子软件 #新闻

AgenticOS 通过具有防止模型漂移保护措施的专业 AI 代理自动化量子计算研究。在 IBM 硬件上实现了 75% 的电路深度减少，并验证了量子化学模拟，精度在精确解的 3.4% 以内。

#量子软件 #量子研究 #新闻

Eclipse Qrisp是由Fraunhofer FOKUS开发的开源量子编程框架，在量子计算软件与算法领域荣获2026年量子效应奖，推动高级量子应用开发的进步。

#量子软件 #开源 #奖项

思科的量子网络控制器研究原型自动化量子网络管理，消除手动配置，并将量子设备转变为可编程基础设施。

#量子网络 #量子软件 #新闻