量子軟體實驗室在三年內增長至100多位研究員；推出2000萬英鎊QATCH計畫，通過與硬體廠商和國家測試平台的直接協作，創建實用的量子軟體工具和系統，涵蓋所有量子位元模式。

#量子軟體 #量子優勢 #量子計算

Classiq 的容錯引擎將邏輯量子電路自動編譯到三維表面碼晶格上，在容錯量子處理器推出前，能夠實現跨多種量子位元模式的硬體感知資源最佳化。

#量子錯誤修正 #量子軟體 #新聞

eigenkit 1.0 讓開發者能夠一次編寫量子演算法，並在八個模擬器和四個 QPU 硬體平台上執行，無需修改代碼，整合 PyTorch 和 scikit-learn 機器學習管道。

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

Bloq Quantum 推出了 Bloq Maya，一個具有代理功能的人工智能助手，可自動化量子電路設計、演算法制定和企業應用程式的代碼生成。該平台提供 15+ 研究級演算法、拖放電路組合和硬體無關的部署...

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

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

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