A proof of the Aaronson-Ambainis conjecture
Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending
Nov 5 – Nov 6, 2026
Stars +8 in 2 days
Forks +0 in 2 days
Merged PRs 0 in 2 days
Trendshift Trendingwhere the repository ranked each day it made the top 25
Not in the Trendshift top 25 in this period
| Day | Stars gained | Forks gained | Merged PRs |
|---|---|---|---|
| Thu, Nov 5, 2026 | +0 | +0 | 0 |
| Fri, Nov 6, 2026 | +8 | +0 | 0 |
| Total | +8 | +0 | 0 |
JUST IN: Physical Superintelligence says its research system, running a non-public Anthropic model, proved the Aaronson-Ambainis conjecture, open since 2008. Lean accepted the proof. Not peer…
@globalsinews · x.com
checking a lean proof an ai wrote? a green lake build isn't enough. the quantum proof below ships a control file: it "proves" 1 = 2 with the kernel switched off. lake build passes, the axiom report…
@daniiie7 · x.com
With this now in the past, looking to the future endeavors leaves the open question of: what do you even choose to do when you can solve such central problems in a relatively short period? We - as in…
@DavidTurturean · x.com
PSI proved this conjecture is true: that bounded polynomials of low degree have influential variables. The influence of a bit is the average change in a polynomial's value when the bit is flipped.
@psipbc · x.com
