Problem detail · source-aware
VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Dittert's conjecture asserts that among nonnegative $n\times n$ matrices whose entries sum to $n$, the functional $\varphi(A)=\prod_i r_i+\prod_j c_j-\operatorname{per}(A)$ is uniquely maximized by $J_n/n$. The paper proves the case $n=16$ which, with Pang's result for $n\ge17$, establishes the conjecture for every $n\ge16$.
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 disclosure states that the proof strategy, the joint-deficit scaling lemma, and most of the original proof text were produced by GPT-5.6 Sol through ChatGPT in response to the author's prompts; ChatGPT also revised the exposition and prepared the manuscript.
Provider: OpenAI · Prompt public: unknown · Independence: unknown
No independent check, and the model is credited with the strategy and the central lemma rather than with support. Preprint, not refereed.
Correctness: unknown · statement fidelity: unaudited · peer review: none
Partial: this settles n=16 only. Combined with Pang's n>=17 the conjecture holds for all n>=16, leaving the small cases open.
Source-reported tools: argument.
Independent: unknown · difference confidence: 0
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.