AI-Assisted Proof Settles Quantum Speedup Question
An AI model, reported as Anthropic's, helped produce a proof that settles a long-standing question about quantum speedups. The proof was checked by a computer, according to reports.
Context
Context: Quantum computers are expected to solve some problems faster than ordinary computers, and researchers have long asked how much advantage they really have. Scott Aaronson and Andris Ambainis are the computer scientists behind the conjecture, which has been open for about 18 years.
Burning Potato score: 75%