Not a single study
Story checked
A Quantum Computer Just Confirmed a 48-Year-Old Math Problem : ScienceAlert (opens in a new tab)
sciencealert.com · 2026-09-17
Short answer
Not a single studyNo clear answer.
The article covers a research area rather than reporting a specific new paper, so there is no single study to check it against.
Checked against the study summary. The full text wasn't available, so some details couldn't be settled either way.
Share this check
The story
A Quantum Computer Just Confirmed a 48-Year-Old Math Problem : ScienceAlert
sciencealert.com · 2026-09-17
The story’s checkable claims.
Read the original story (opens in a new tab)NewsLink checks it
This story isn't reporting one study.
The article covers a research area rather than reporting a specific new paper, so there is no single study to check it against.
Open claim evidenceSearch result
No single source study.
The article covers a research area rather than reporting a specific new paper, so there is no single study to check it against.
Source layer
The paper behind the story
The source record for this check.
The research anchor for the report.
- Also referencedpresented as the new finding
10.48550/arxiv.2609.14533
Evidence layer
Claim by claim
What the story asserts. With no source study, there is nothing to check these against.
Reading mode
Scan verdicts. Open evidence only when needed.
Claim 1 of 4Not checkedA study led by researchers from Zhejiang University and Tsinghua University used a 121-qubit superconducting quantum processor to prove two math theorems, including a problem from the 1978 International Mathematical Olympiad.View evidenceHide evidence
As statedtwo theorems on a 121-qubit processor
Not checked
NewsLink could not identify one source study, so this claim was not compared against a paper.
Claim 2 of 4Not checkedThe researchers say they achieved the experimental realization of automated geometry theorem proving on a fully programmable superconducting quantum processor.View evidenceHide evidence
Not checked
NewsLink could not identify one source study, so this claim was not compared against a paper.
Claim 3 of 4Not checkedThe article says the result suggests quantum computers may move from number-crunching toward logical mathematical reasoning, but that the work was a limited proof-of-concept with simple problems and substantial guidance.View evidenceHide evidence
Not checked
NewsLink could not identify one source study, so this claim was not compared against a paper.
Claim 4 of 4Not checkedThe researchers say the present experiments were limited by hardware resources and operated on small polynomial instances with a restricted set of symbolic relations.View evidenceHide evidence
As statedlimited size
Not checked
NewsLink could not identify one source study, so this claim was not compared against a paper.
Method layer
No single source study was found.
NewsLink still surfaces nearby research so you can inspect the field instead of a single paper.
Nearby research
No exact source, but these papers are close.
Crossref · 15 candidate papers
Wu's method for automated geometry theorem proving and discovering
Mathematics Mechanization and Applications · 2000 · Crossref
An introduction to Wu's method for mechanical theorem proving in geometry
Journal of Automated Reasoning · 1988 · Crossref
Geometry Theorem Proving Using The Gröbner Basis Method
Mechanical Geometry Theorem Proving · 1988 · Crossref
Automated Geometric Theorem Proving: Wu's Method
The Mathematics Enthusiast · 2006 · Crossref
Analog Hawking Radiation on a 156-Qubit Superconducting Quantum Processor
2026 · Crossref
And 10 more candidates considered.