Skip to content
Quantum Zeitgeist
  • Quantum Computing
    • Quantum Computing News
    • Quantum Research News
    • Quantum Computing Business News
    • Quantum Algorithms
    • Quantum Physics
    • Quantum Hardware
    • Quantum Applications
    • Quantum Security
    • Quantum Sensors
    • Quantum Machine Learning
    • Quantum Funding Landscape
    • Quantum Internet
    • Quantum Programming
    • Quantum Features
    • Quantum Cryptography
    • Quantum Companies
  • Technology News
    • Physics
    • Artificial Intelligence
    • Machine Learning
    • Robotics
  • Entangled Future

formal verification

  • Formal Verification Establishes Complete Security Proof for Quantum Key Distribution
    Quantum Cryptography

    Formal Verification Establishes Complete Security Proof for Quantum Key Distribution

    by Ivy DelaneyOctober 25, 2026
  • A small chip and surface components on a teal circuit board seen through a round magnifier
    Quantum Software, Quantum Events, Quantum Features

    Quantum software testing at QCE26 met the reproducibility gap

    by Ivy DelaneyOctober 20, 2026
  • dilatedChannelNoComm : Bob's dilation, then Alice's, on disjoint factors, drawn for the successful conversion the exerci
    Quantum Physics, Quantum Mechanics

    AI Dreams unlock verified quantum mechanics library now open source

    by The NeuronSeptember 11, 2026
  • A vibrant, abstract wave pattern dominates the dark background, creating a dynamic and visually engaging composition.
    Artificial Intelligence, Quantum Algorithms

    76 Quantum Theorems Completed by AI in New Lean 4 Benchmarks

    by Ivy DelaneyJuly 25, 2026
  • 1,024-Qubit Quantum Circuits Verified with 3.5 GB Memory
    Quantum Hardware

    1,024-Qubit Quantum Circuits Verified with 3.5 GB Memory

    by Quantum StrategistMarch 12, 2026
  • White audio waveform transitioning into a triangular prism that disperses it into a multicolored spectrum against a black background.
    Artificial Intelligence

    AI Clarifies Sepsis Treatments with New Verification Tool

    by Muhammad Rohail T.February 18, 2026
  • Simplified Models Reveal Inner Workings of Efficient Binary Neural Networks
    Artificial Intelligence

    Binary Neural Networks: Simplified Petri Net Models

    by Muhammad Rohail T.February 17, 2026
  • Guaranteed 3D Positioning from Images Boosts Safety of Robots and Autonomous Systems
    Artificial Intelligence

    3D Positioning from Images Enhances Robot Safety

    by Muhammad Rohail T.February 12, 2026
  • Pruning to 90% Achieves Greater Robustness in Safety-Critical Neural Networks
    Space

    90% Pruning Boosts Robustness of Neural Networks

    by Muhammad Rohail T.January 21, 2026
  • Zapata and University of Maryland Advance Formally Verified Quantum Software
    Quantum Programming

    Zapata & UMD Verify Robust Quantum Software

    by Dr. DonovanJanuary 13, 2026
  • Human-assisted Proof Identifies {1, 2, 4, 8, 13} As Counterexample to $1000 Erdős Prize Conjecture on Sidon Subsets
    Artificial Intelligence

    Quantum Proof Disproves Erdős Sidon Subset Conjecture

    by Muhammad Rohail T.October 23, 2025
  • Ax-prover: Deep Reasoning Agentic Framework Solves Theorems in Mathematics and Quantum Physics with Formal Proofs
    Artificial Intelligence, Quantum Research News

    Ax-Prover Solves Quantum Physics Theorems

    by Muhammad Rohail T.October 15, 2025
  • Universities Convert C Code to Rust for Enhanced Security
    Technology News

    Universities Convert C Code to Rust for Enhanced Security

    by Dr. DonovanJuly 18, 2025
  • AI Verifies Mathematical Proofs Step-by-Step, Improving Formal Verification Success.
    Artificial Intelligence

    AI Verifies Math Proofs, Boosting Formal Verification

    by Dr. DonovanJune 16, 2025
  • Large Language Models Verified with Formal Mathematics Reduce Hallucinations.
    Artificial Intelligence

    LLMs Verified by Math Reduce Hallucinations

    by Quantum Computing NewsJune 7, 2025
  • Quantum Lambda Calculus & QPL Foundations
    Quantum Programming

    Quantum Lambda Calculus & QPL Foundations

    by Dr. DonovanMay 27, 2025
  • Enhancing Robot-Assisted Dressing Safety with Runtime Monitoring and Bayesian Inference
    Robotics

    Robot Dressing: Runtime Monitoring & Bayesian Inference

    by Dr. DonovanApril 25, 2025
  • Soft Robots: Safe Feedback Control for Interaction
    Robotics

    Soft Robots: Safe Feedback Control for Interaction

    by Dr. DonovanApril 23, 2025
  • Artificial intelligence. Could it cause ‘human extinction’?
    Artificial Intelligence

    Artificial intelligence. Could it cause ‘human extinction’?

    by Dr. DonovanNovember 8, 2024
  • Elon Musk's xAI Unveils Grok-1: A 314 Billion Parameter AI Model, Open for Public Use
    Artificial Intelligence

    Grok-1: xAI Releases 314B Parameter AI Model

    by Rusty FlintMarch 18, 2024

Search

Quantum Zeitgeist

The Quantum Newsletter

Quantum computing's breakthroughs, deals, and research, delivered straight to your inbox.

Read by quantum researchers, engineers, developers, and business professionals worldwide.

The Entangled Future neon sign glowing above a gold quantum computer assembly, with light trails running out to either side

The Quantum Ecosystem

Explore the Quantum Navigator

A living directory of the global quantum industry, plus public quantum stocks and the investors funding them.

1,597Companies 62Countries
Open the Navigator →

Counts as of October 2026

Latest Quantum News

  • Q2B and Chicago Quantum Exchange Summit seeks poster presentations
  • Quantum Algorithm Resolves Key Features of Superconductor’s Electronic Structure
  • Queen’s University Pins Conditional Phase Despite Emitter Decay
  • QSolid Project Tests 30-Qubit System, Goals More Than Achieved
  • Researchers Detail Hurdles to Useful Quantum Computation

Popular Quantum News Articles

  • Atom Interferometry Maps Spacetime Curvature
  • SpecterAI’s Huynh says banks must test quantum defenses now
  • Black Holes & Life: AGN Radiation Shields Planets
  • Quantum sensors offer a GPS alternative as battlefield jamming rises
  • AmpliTech Powers Quantum Computing with Low Noise Amplifiers
  • Quantum hardware roadmaps met the wiring problem at QCE26
  • Matthew Kinsella, The Investor Who Took Over the Company He Funded
  • Pentagon event spotlights 70 years of DoW ManTech investment
  • Quantum Zeitgeist Weekly Digest October 17th
  • Government Spending on Quantum Technology Is About $3.3 Billion a Year in Plans and Budgets
  • Peter Shor joins Zapata Quantum’s advisory board
  • Amplify ETFs launches fund focused on top chip makers

Browse the Quantum Landscape

  • Top Quantum Hardware Companies
  • Top Quantum Software Companies
  • Quantum Cloud Providers
  • Post-Quantum Cryptography Guide
  • Quantum Navigator (1,000+ Companies)
  • Best Quantum Computing Books
  • History of Quantum Computing
  • Quantum Computing Glossary
Quantum Zeitgeist
Bluesky Logo

Learn Quantum Computing

  • Quantum Applications
  • Quantum Books
  • Quantum Computing Courses
  • Quantum Machine Learning
  • Quantum Programming

Quantum Industry

  • Quantum Cloud
  • Quantum Companies
  • Quantum Cryptography
  • Quantum Finance
  • Quantum Hardware
  • Quantum Internet
  • Quantum Funding

Technology

  • Artificial Intelligence
  • Analog Computing
  • Deep Tech
  • Emerging Technology
  • High Performance Computing
  • Machine Learning
  • Space
  • Science
  • Robotics

About Us

  • About Us
  • Write for Us
  • Terms and Conditions
  • Privacy Policy
  • Contact Us
  • Newsletter on Substack

Disclaimer: All material, including information from or attributed to Quantum Zeitgeist or individual authors of content on this website, has been obtained from sources believed to be accurate as of the date of publication. However, Quantum Zeitgeist makes no warranty of the accuracy or completeness of the information and Quantum Zeitgeist does not assume any responsibility for its accuracy, efficacy, or use. Any information on the website obtained by Quantum Zeitgeist from third parties has not been reviewed for accuracy.

Copyright 2019 to 2026 The Quantum Zeitgeist website is owned and operated by Hadamard LLC, a Wyoming limited liability company.

Manage your privacy

To provide the best experiences, we and our partners use technologies like cookies to store and/or access device information. Consenting to these technologies will allow us and our partners to process personal data such as browsing behavior or unique IDs on this site and show (non-) personalized ads. Not consenting or withdrawing consent, may adversely affect certain features and functions.

Click below to consent to the above or make granular choices. Your choices will be applied to this site only. You can change your settings at any time, including withdrawing your consent, by using the toggles on the Cookie Policy, or by clicking on the manage consent button at the bottom of the screen.

Functional Always active
The technical storage or access is strictly necessary for the legitimate purpose of enabling the use of a specific service explicitly requested by the subscriber or user, or for the sole purpose of carrying out the transmission of a communication over an electronic communications network.
Preferences
The technical storage or access is necessary for the legitimate purpose of storing preferences that are not requested by the subscriber or user.
Statistics
The technical storage or access that is used exclusively for statistical purposes. The technical storage or access that is used exclusively for anonymous statistical purposes. Without a subpoena, voluntary compliance on the part of your Internet Service Provider, or additional records from a third party, information stored or retrieved for this purpose alone cannot usually be used to identify you.
Marketing
The technical storage or access is required to create user profiles to send advertising, or to track the user on a website or across several websites for similar marketing purposes.
Statistics

Marketing

Features
Always active

Special features

Special purposes
Always active

  • Manage options
  • Manage services
  • Manage {vendor_count} vendors
  • Read more about these purposes
Manage options
  • {title}
  • {title}
  • {title}