GWPTools 能實現時間相依量子系統的精確符號-數值計算，提供用於基準測試數值方法的解析解，並透明地探索波包行為，無需積累離散化誤差。

#量子模擬 #量子軟體 #研究

用於在 Lean 4 中形式驗證混合量子-經典程序的框架，包含量子 Hoare 邏輯 (QHL+) 的健全性證明。已驗證的量子演算法包括 QFT、相位估計和漢密爾頓模擬，使用 LLM 輔助的證明構造。

#量子軟體 #形式驗證 #研究

PADO-Pauli透過GPU加速泡利傳播實現變分量子算法的快速經典模擬。編譯電路一次並在評估中重複使用，相對於cuPauliProp產生10倍加速，實現3.1倍記憶體節省，以及用於量子的原生PyTorch微分...

#量子計算 #量子軟體 #研究

OpenMQPI 通過 MLIR 將量子電路編譯整合到 OpenMP 的目標卸載模型中，藉由保留電路表示以進行量子特定的優化，在 VQE、QFT 和 Deutsch-Jozsa 算法中實現具有競爭力的運行時性能。

#量子軟體 #高效能運算 #量子計算

量子電腦缺乏足夠的軟體基礎設施用於高性能計算中心部署。行業專家報告稱，當前的集成嘗試準備不足，中介軟體和協調系統需要重大開發才能實現實際的超級計算集成...

#量子計算 #高性能計算 #量子軟體

Classiq 與以色列量子計算中心整合，使研究人員能夠透過統一的硬體感知軟體合成和高效能運算工作編排，在多個量子位模態上開發和執行量子應用程式。

#量子軟體 #混合量子 #新聞

Classiq 與 Alpine Quantum Technologies 合作，提供統一的量子設計到執行平台，將自動電路優化軟體與 AQT 的高保真、全連接離子陷阱量子系統結合，服務於企業和研究應用。

#離子陷阱 #量子軟體 #新聞

Classiq推出Qmod,一種高階量子編程語言,它抽象化了門級複雜性,使開發者能夠用類似經典的語法和多種算術模式來表達量子算法。

#量子編程 #量子軟體 #新聞

Quantum Elements的Constellation平臺獲得TMCnet認可，是一個硬體感知開發環境，旨在加快邁向容錯量子計算的進程。

#量子軟體 #容錯 #新聞

費米子量子計算的嚴謹數學框架將前單體範疇與可擴展的圖表語言相結合，支持電路編譯和法範形式，以實現實際優化。

#費米子量子 #量子算法 #量子軟體

Classiq 的軟體現在連接到 IQCC 的 HPC 排程器，實現無縫的混合量子-古典工作流程。研究人員可以透過硬體感知合成跨越多個量子後端開發和部署量子應用，並實現集中式資源管理。

#量子軟體 #混合量子 #新聞

Zapata Quantum籌集1,500萬美元資金並進行重組，專注於量子軟體應用。該公司已籌集總計9,300萬美元，目標是縮小量子硬體快速進展與實際應用開發之間的差距。

#量子軟體 #量子運算 #新聞

Zapata Quantum 推出 Quantum Pilot，這是一個雲平台，通過形式驗證和 AI 驅動的資源估計幫助企業識別高價值量子應用，避免供應商鎖定。

#量子計算 #量子軟體 #新聞

AgenticOS 通過專門的人工智能代理自動化量子計算研究，並具有防止模型漂移的安全措施。在 IBM 硬件上實現了 75% 的電路深度減少，並驗證了量子化學模擬，精度在確切解決方案的 3.4% 以內。

#量子軟體 #量子研究 #新聞

Cisco 的量子網路控制器研究原型自動化量子網路管理，消除手動配置，並將量子設備轉變為可編程基礎設施。

#量子聯網 #量子軟體 #新聞

Eclipse Qrisp 因透過高階程式設計抽象推進量子軟體開發而獲獎。該框架通過超越個別的量子邏輯閘和量子位元，簡化了量子演算法開發，改進可擴展性，並促進更廣泛的採用。

#量子軟體 #量子運算 #新聞

QuEra 發布了用於中性原子量子處理器的進化版 Bloqade 軟體堆疊，推出了用於電路級程式設計的 Bloqade Circuit 和用於低階原子移動控制的 Bloqade Shuttle。具備結構化控制流和 SIMD 風格的並行化特性。

#中性原子 #量子軟體 #新聞

量子計算將通過抽象而非硬體單獨實現擴展。領域特定語言和智能編譯器將民主化量子編程，就像BASIC對經典計算所做的那樣，進一步擴展到專家領域之外。

#量子軟體 #量子抽象 #新聞

思科推出量子網路控制器和網路感知量子編譯器原型，以簡化在更大的量子網路中連接的量子機器的協調和操作。

#量子網路 #量子軟體 #新聞

Zapata Quantum 與 IBM 合作，利用超導量子處理器來彌補量子應用差距。最近的合作透過混合量子-古典方法發現了新型 KRAS 癌症抑制劑，展示了朝向企業量子部署的實際進展。

#量子軟體 #超導 #藥物發現