Problem detail · source-aware
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Holevo and Werner's 1999 lower bound on the quantum capacity of the bosonic thermal attenuator comes from thermal inputs. Is it optimal? The paper proves it is exactly the supremum over single-mode Gaussian states, then exhibits a non-Gaussian state that beats it, giving positive quantum capacity in a region where every single-mode Gaussian input yields none.
The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement fidelity, correctness, priority, or novelty.
From the paper's own AI-assisted research statement: some of the authors had tried hard to find such a non-Gaussian counterexample several years ago and failed; they tried again with ChatGPT 5.5 and failed again; ChatGPT 5.6 Sol then gave them the families of non-Gaussian counterexamples. They call the AI crucial to the work while taking full responsibility for its content.
Provider: OpenAI · Prompt public: unknown · Independence: unknown
No independent review, but stronger than a bare claim: Appendix A turns the numerical evaluation into a rigorous bound by enclosing every quantity in certified real intervals, and a second certified witness is given in Appendix B. Preprint, not refereed.
Correctness: unknown · statement fidelity: unaudited · peer review: none
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Source-reported tools: construction.
Independent: unknown · difference confidence: 0
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.