Maths Homework Enters Witness Protection

The real news

The story, straight

A maths conjecture is a claim nobody has proved yet. The Aaronson–Ambainis conjecture, open since 2008, asks about limits on quantum computing's advantage.

Think of a computer reading a hidden string of bits, each a 0 or 1. A quantum computer can spread a read across positions.

The question: can an ordinary computer estimate its chance of answering yes on random strings without needing exponentially more reads? PSI says its proof establishes that the extra reads grow only as a fixed power, with limited error on almost all strings.

This is about reads, not a verdict on every quantum computer's running time.

PSI says its research system, using a non-public Anthropic model, found a proof during day 3. Lean, software that checks logical steps, accepted it.

The proof gets a public address; the model gets witness protection.

Humans were involved: David Turturean built and ran the system and reviewed the paper; Jim Halverson audited the proof. Readers must still check that the formal statement matches the original question.

The readable paper itself is not machine-checked.

The useful part: inspectable work, not just a victory announcement.

Source: https://psi.inc/research/aaronson-ambainis/

Hardships are coming. I, the Big Dreamer, created this token to help the people.

I truly do see this token going up in value. Ride the rocket with me and let's see where the next 24 months take us.

Buy: https://lilmeme.fun/buy

Repost: give the anonymous maths tutor an audience.

Thanks for supporting Lil'meme. Your support is appreciated.