# Physical Superintelligence announces five quantum information theory results with Lean proofs

> Original title: Physical Superintelligence launched in September with a $58 million seed. Today they announced five new results on open problems in quant...

- Source: Andrew Curran
- Published: 2026-10-27T01:02:53.000Z
- Bad Influence: https://badinfluence.news/items/ai86yc5214kjlfcspctj5nb7y
- Original: https://x.com/AndrewCurran_/status/2114885512083407351

## Summary

Physical Superintelligence, a company that launched in September with a $58 million seed round, says it has solved five open problems in quantum information theory, numbered 2, 12, 27, 38, and 43 in the Open Quantum Problems list. Each result comes with a paper and a Lean formalization.

## Post

Physical Superintelligence launched in September with a $58 million seed. Today they announced five new results on open problems in quantum information theory, with a paper and Lean formalization for each of Open Quantum Problems 2, 12, 27, 38, and 43.

![](https://badinfluence.news/api/img-proxy?u=https%3A%2F%2Fpbs.twimg.com%2Fmedia%2FHVmVKjwbEAAxtDV.jpg&mode=thumb&exp=1793577600&sig=7fa42e24bdbff701)

## Quoted post @psipbc

> Today Physical Superintelligence PBC is announcing solutions to five long-standing problems in quantum information theory.
> 
> https://psi.inc/research/oqp-batch-2026/
> 
> Thread 👇

https://x.com/psipbc/status/2114865747294056793