Hệ thống Lemma AI đã tự động hình thức hóa 1,019 chứng minh tính toán lượng tử từ sách giáo khoa Nielsen-Chuang bằng Lean, đạt được quy mô chưa từng có trong lập luận khoa học có thể xác minh bằng máy.
@informaq-vi.bsky.social
@informaq-vi.bsky.socialHệ thống Lemma AI đã tự động hình thức hóa 1,019 chứng minh tính toán lượng tử từ sách giáo khoa Nielsen-Chuang bằng Lean, đạt được quy mô chưa từng có trong lập luận khoa học có thể xác minh bằng máy.
@informaq-vi.bsky.socialCác nhà nghiên cứu tiết lộ rằng chuỗi quay XXZ thể hiện các dao động dòng quay không-Gauss được đặc trưng bởi phân bố Gaussian lồng ghép, thiết lập nguồn gốc thủy động lực phổ quát được chia sẻ với các hệ thống điện tích hàng đơn.
@informaq-vi.bsky.socialMankei Tsang đề xuất một sơ đồ đo lường thực tiễn sử dụng các ancilla boson để tiếp cận giới hạn Holevo-Nagaoka, thúc đẩy khoa học đo lường lượng tử từ lý thuyết sang các thí nghiệm khả thi với độ chính xác cảm biến tối ưu.
@informaq-vi.bsky.socialCác nhà nghiên cứu phát hiện rằng khử pha tinh khiết—mất thông tin sóng lượng tử—có thể tạo ra các biên động mới trong tinh thể giả, định hình lại địa phương hóa electron và cho phép kiểm soát chính xác các tính chất điện tử thông qua tương tác với môi trường.
@informaq-vi.bsky.socialNiêm yết Nasdaq của IQM đánh dấu sự chuyển dịch của tính toán lượng tử từ chứng minh khả năng thực hiện sang triển khai công nghiệp, cho phép khách hàng sở hữu và vận hành các hệ thống lượng tử thay vì dựa vào truy cập thuê.
@informaq-vi.bsky.socialTập đoàn SEALSQ đạt được tăng trưởng doanh thu 131% trong H1 2026, nâng cao vị trí của mình trong lĩnh vực mật mã chống lượng tử và các giải pháp bảo mật hậu lượng tử cho ứng dụng doanh nghiệp và IoT.
@informaq-vi.bsky.socialCác kỹ sư Đại học Wisconsin-Madison đã thiết kế cấu trúc nano lượng tử để kích hoạt mạng nơ-ron quang học, có khả năng làm cho các hệ thống AI như các mô hình ngôn ngữ lớn tiết kiệm năng lượng đáng kể hơn.
@informaq-vi.bsky.socialFermilab hợp tác với Microsoft Quantum tại Khu phát triển Discovery của Đại học Maryland để thiết lập một không gian sáng tạo phần cứng lượng tử, cho phép nghiên cứu hợp tác trên các lĩnh vực học viện, công nghiệp và chính phủ.
@informaq-vi.bsky.socialCông ty tính toán lượng tử nguyên tử trung tính hàng đầu QuEra Computing khai trương văn phòng tại Maryland, hợp tác với QLab của Đại học Maryland để cung cấp cho các nhà nghiên cứu các hệ thống lượng tử có thể truy cập qua đám mây.
@informaq-vi.bsky.socialIQM và Microsoft thành lập không gian sáng tạo phần cứng lượng tử tại Maryland, cho phép giáo dục thực hành về thiết kế và bảo trì phần cứng lượng tử—giải quyết tình trạng thiếu hụt nghiêm trọng các kỹ sư có kỹ năng về hệ thống lượng tử.
@informaq-vi.bsky.socialIonQ và SDT mở rộng hợp tác để triển khai máy tính lượng tử ion mắc kẹt Superion 256 tại Hàn Quốc với các mô-đun bộ nhớ lượng tử SiV. SDT thiết lập trung tâm sản xuất tại Gumi phục vụ phân phối khu vực APAC và các ứng dụng nghiên cứu ung thư.
@informaq-vi.bsky.socialNền tảng mã hóa Phio TX được xác thực FIPS cho phép các cơ quan liên bang chuyển đổi sang các thuật toán hậu lượng tử mà không có thời gian ngừng hoạt động hoặc tái kiến trúc, hỗ trợ tuân thủ EO 14412 thông qua các kênh phân phối Carahsoft.
@informaq-vi.bsky.socialIonQ đã trình bày bộ giải mã lỗi lượng tử thời gian thực đầu tiên trong ngành chạy trên các CPU tiêu chuẩn, một bước tiến lớn cho điện toán lượng tử chịu lỗi.
@informaq-vi.bsky.socialIonQ xác thực giải mã QEC thời gian thực cho máy tính lượng tử chịu lỗi bằng CPU thương mại, đạt được 408 qubit logic với chi phí xử lý tối thiểu—chứng minh rằng tăng tốc phần cứng đắt tiền không cần thiết cho hiệu chỉnh lỗi lượng tử quy mô lớn.
@informaq-vi.bsky.socialNền tảng Quantum Pilot mới của Zapata Quantum tự động hóa khám phá ứng dụng lượng tử và ước tính tài nguyên, với xác minh chính thức cho nhiều kiến trúc phần cứng. Nó so sánh chuẩn với máy tính cổ điển để đảm bảo lợi thế lượng tử.
@informaq-vi.bsky.socialIonQ công bố đạt bước đột phá trong sửa lỗi lượng tử thời gian thực trên các bộ xử lý tiêu chuẩn. Xanadu đối mặt với kết thúc thời kỳ khóa sau IPO. Hai công ty lượng tử nằm trong số năm cổ phiếu đang thu hút sự chú ý của các nhà giao dịch bán lẻ.
@informaq-vi.bsky.socialQuobly và qBraid cho phép kiểm thử các ứng dụng silicon spin-qubit trên đám mây bằng Alloy Forge với mô hình nhiễu thực tế, kết nối giữa giả lập phần mềm và triển khai phần cứng trước khi phát hành QPU Pioneer thương mại.
@informaq-vi.bsky.socialQuantinuum tiến bộ trong tính toán lượng tử với hệ thống tiêu chuẩn đánh giá QUOPS, xác thực kiến trúc Helix chịu lỗi với tỷ lệ lỗi thấp kỷ lục, và chứng minh lợi thế lượng tử thông qua xác minh chồng chất.
@informaq-vi.bsky.socialHệ thống chuẩn mực QUOPS và thí nghiệm Nature Communications chứng minh lợi thế lượng tử khách quan; các khung trưởng thành công nghiệp giúp các tổ chức điều hướng hành trình áp dụng từ nhận thức đến chuyển đổi.
@informaq-vi.bsky.socialQuantinuum nhận được kinh phí CHIPS R&D $100 triệu để phát triển sản xuất máy tính lượng tử ion bẫy cùng với các đối tác GlobalFoundries và Monarch Quantum, nhắm tới các hệ thống có khả năng mở rộng và chịu lỗi.