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年量子效应奖，推动高级量子应用开发的进步。

#量子软件 #开源 #奖项

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

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

Eclipse Qrisp因通过高级编程抽象推进量子软件开发而获奖。该框架通过超越单个量子门和比特，简化了量子算法开发，提高了可扩展性，促进了更广泛的采用。

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

QuEra 发布了为中性原子量子处理器开发的改进型 Bloqade 软件栈，引入了用于电路级编程的 Bloqade Circuit 和用于低级原子运动控制的 Bloqade Shuttle。具有结构化控制流和 SIMD 风格的并行化特性。

#中性原子 #量子软件 #新闻

量子计算将通过抽象而不仅仅是硬件来实现扩展。领域特定语言和智能编译器将使量子编程民主化，正如BASIC对经典计算所做的那样，超越专家的范围。

#量子软件 #量子抽象 #新闻

思科推出量子网络控制器和网络感知型量子编译器原型，以简化更大量子网络中连接的量子计算机的协调和操作。

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