Daily AI news, sourcedOn Oct 27, PSI posted five new Open Quantum Problems results with papers and Lean 4 code.
Where it stands
On Oct 27, PSI posted five new Open Quantum Problems results with papers and Lean 4 code.
Timeline · newest first
- Official
PSI posts five new Open Quantum Problems results with papers and Lean 4 code
PSI published this on Oct 27, 2026 (source: psi.inc).
Physical Superintelligence PBC published new results on five Open Quantum Problems, with papers, Lean 4 formalizations, and verification code on its research page (posted October 23; announced October 27). One problem remains open in the arbitrary multi-copy case; the results are not peer-reviewed.
Source: PSI
How we label
- Official
- An institution announces something that has already happened, through its own channel or a founder or executive account.
- Statement by …
- A named person's views, predictions, plans or comments, including remarks reported by media when the original is unavailable.
- Reported by …
- Only media or another third party is saying it. We name the outlet.
- Unconfirmed
- Circulating online (posts, comments, leaks). No company, named person or outlet has confirmed it.
Items older than 72 hours never go in Top stories and show their original date.