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.
For a multidimensional reflected diffusion, does the basic adjoint relationship uniquely characterize the stationary distribution? The question had stood unresolved for more than thirty-five years since the BAR approach was introduced. For stable Harrison-Reiman data with a nonsingular $M$-matrix reflection matrix, the finite-signed uniqueness problem is settled, via pathwise differentiability of the reflected process; the nonsigned version is also shown unique within the Harrison-Reiman class.
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.
The paper names the model contribution in its title and states that the proof was discovered with the assistance of ChatGPT 5.5 Pro and subsequently verified by the authors, with the chat logs published. It also records a negative result worth having: on a harder related task both ChatGPT 5.5 Pro extended and Claude Opus 4.8 max failed.
Provider: OpenAI · Prompt public: unknown · Independence: unknown
arXiv preprint with the originating chat logs linked, so the provenance claim is checkable even though the mathematics is not yet 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: argument.
Independent: unknown · difference confidence: 0
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.