Next Frontier 9

News feed ↗
Next F9

Nine stories. What changed. Why it matters.

Menu
Next F9Search

News: Lean

Illustration of a checked proof page, a cube with one highlighted corner and a sphere with an arrow, standing for a machine-checked proof about quantum computing.
ai ·

PSI Says AI Found a Proof of the Aaronson-Ambainis Conjecture

PSI says its system, running a non-public Anthropic model, proved a 2008 quantum conjecture that Lean then checked.

Next F9

What are you looking for?

Search by headline, topic or keyword.