Algorithmiq and IBM have announced a significant milestone in the development of quantum computing, demonstrating quantum advantage through the simulation of a heterogeneous quantum material using a new framework that establishes trust in quantum computations when classical verification is no longer possible.
The achievement comes eight months after the problem and initial results were published through the Quantum Advantage Tracker. During that period, no classical computing method has been able to consistently reproduce results across the full problem set, providing further evidence that quantum computers can deliver trusted solutions more efficiently, cost-effectively and accurately than leading classical approaches.
The research focused on heterogeneous quantum materials, which more closely resemble real-world materials such as catalysts and battery electrolytes than idealised crystal structures. A team led by senior scientist Sergey Filippov within Algorithmiq’s R&D division developed a model in which information propagates through regions with different local properties. The model was designed to be accessible on current quantum hardware while remaining computationally demanding for the most advanced classical simulation techniques.
Running the model on an IBM Quantum Heron processor enabled researchers to simulate a programmable quantum material whose microscopic interactions could be tuned and reconfigured. This allowed them to study how information flows, localises and interferes within the material, providing insights into behaviours found in real-world systems.
A major aspect of the work addressed one of quantum computing’s longstanding challenges: verifying the accuracy of quantum results when classical simulation is no longer feasible. Algorithmiq collaborated with leading classical simulation researchers to evaluate multiple simulation techniques, but the various classical methods produced conflicting predictions, leaving no definitive benchmark for comparison.
To overcome this, the researchers developed a framework for trusted quantum computation in the beyond-classical era. By deliberately manipulating noise through controlled noise injection, modified gate calibrations and execution across multiple IBM Quantum processors, they demonstrated that the quantum results remained stable. Combined with detailed noise modelling and unbiased error mitigation techniques, the approach provides a pathway towards independent validation of quantum computations with quantified uncertainty.
Alongside the research, Algorithmiq has open sourced monoprop, a software package containing its most advanced classical simulation methods for molecular ground states. The company said the software will allow researchers across the quantum and classical computing communities to independently test and challenge future claims of quantum advantage.
“For an exponential technology like quantum computing, a verified, openly contested instance of advantage is the inflection point: proof the curve is real, not projected,” said Sabrina Maniscalco, co-founder and CEO of Algorithmiq. “Demonstrating quantum advantage is an ongoing process, not a single moment, but we believe these results represent our strongest claim published to date and will come to be seen as a major milestone in the evolution of quantum computing.”
Matteo Rossi, co-founder and CTO of Algorithmiq, said the collaboration with IBM had realised an idea first proposed by Richard Feynman in 1982.
“By simulating quantum matter using a digital quantum processor built from the same physics, we’re able to give researchers a tunable, physically interesting model open to anyone who wants to try to disprove it classically. It is a demanding test case, and it has withstood open challenge for eight months and counting,” he said.
Jay Gambetta, Director of IBM Research and IBM Fellow, said quantum computers had now reached the point where they could demonstrate the fundamental criteria for quantum advantage.
“Quantum computers have reached the point at which they can show evidence of the fundamental criteria for advantage: they can outperform leading classical methods, and they can simultaneously produce results that we can trust,” he said. “This is a pivotal milestone in the future of quantum computers as we look towards scaling well beyond what could ever be possible with classical computers alone.”

