‹ All rumors

Did a PSI researcher report using Fable 5.2 to derive a proof of the Aaronson-Ambainis conjecture?

ReportedLast checked
PSIFirst seen

Verdict

TechCrunch attributes the account to a PSI researcher and describes Lean formalization and expert discussion. This does not establish that the model independently completed the proof or that the research community has finally confirmed it.

RSS for this rumor →

What we are checking

A PSI researcher reported using Fable 5.2 to derive a proof of the Aaronson-Ambainis conjecture, with mention of Lean formalization and expert discussion
Original source
TechCrunch
Nov 10, 2026
Claim deadline
No stated deadline
Review due
Dec 12, 2026 ET

How we track and resolve claims →

Timeline

Reported

TechCrunch attributes the account to a PSI researcher and describes Lean formalization and expert discussion. This does not establish that the model independently completed the proof or that the research community has finally confirmed it.

Source: TechCrunch
Questions
Has PSI confirmed it?
DailyCited has not independently verified this against a primary company source.
How we label rumors
Unconfirmed
Circulating with at least one public source we can link to; no official confirmation.
Reported
Reported by a news outlet; not confirmed by the company.
Confirmed
Confirmed by the company or another official source.
Debunked
Denied by the company, retracted by the original source, or shown to be false by the evidence.

We record what sources show, with dates. We don't predict or score how likely a rumor is.