{"id":"tp-41920","type":"article-newspaper","title":"Physical Superintelligence Announces Progress on Five Quantum Problems","author":"Simon Yoon","publisher":"TOKENPOST Inc.","url":"https://www.tokenpost.com/news/technology/41920","datePublished":"2026-10-27T18:06:40.000Z","dateModified":"2026-10-27T18:06:40.000Z","language":"en","abstract":"Physicists guided and checked model-assisted work, while AI agents wrote formal proofs in Lean for computers to check.","section":"Technology","references":[]}