Physical Superintelligence Announces Progress on Five Quantum Problems

Physicists guided and checked model-assisted work, while AI agents wrote formal proofs in Lean for computers to check.

BeCrypto News shows a short excerpt and links to the publisher. The full report belongs to TokenPost.