{ "schema_version": "1.0.0", "source": "vibemath", "problem_id": "vibemathed:colombo-s-difference-power-determinant-conjecture", "title": "Colombo’s difference-power determinant conjecture", "canonical_statement": "Let $N\\ge 2$ be even and let $x_1,\\ldots,x_N$ be pairwise distinct real numbers. Is the matrix\n$$\nA_{N,D}=\\bigl[(x_j-x_i)^D\\bigr]_{i,j=1}^{N}\n$$\nnonsingular for every integer $D\\ge N-1$?", "plain_summary": "VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.", "current_status": "candidate", "solution_events": [ { "id": "vibemathed:colombo-s-difference-power-determinant-conjecture:event", "problem_id": "vibemathed:colombo-s-difference-power-determinant-conjecture", "type": "proved", "status": "candidate", "occurred_at": "2026-08-18T00:00:00.000Z", "title": "Qianli Ma, “Colombo’s Determinant Problem” (arXiv:2609.00101)", "summary": "For pairwise distinct real numbers $x_1,\\ldots,x_N$ and an integer $D\\ge1$, Ma proves the complete classification\n$$\n\\det\\bigl[(x_j-x_i)^D\\bigr]_{i,j=1}^{N}\\ne0\n\\quad\\Longleftrightarrow\\quad\nD\\ge N-1\\ \\text{and}\\ \\bigl(N\\text{ is even or }D\\text{ is even}\\bigr).\n$$\n\nThis fully resolves Colombo’s original conjecture for even $N$. The new part is the even-size, odd-exponent branch, strengthened to the strict Pfaffian sign theorem\n$$\n(-1)^{\\binom m2}\\operatorname{Pf}\n\\bigl[(x_j-x_i)^{2r+1}\\bigr]_{i,j=1}^{2m}>0\n\\qquad(r\\ge m-1).\n$$\nThe even-exponent branch follows from the classical work of Dyn–Goodman–Micchelli. A concurrent independent proof of the odd branch by Kun Li, Li Tie, Peng Wang and Zihan Liu is linked below.", "ai_contribution": "ai_discovered", "attempt_ids": [ "vibemathed:colombo-s-difference-power-determinant-conjecture:attempt" ], "method_family_ids": [ "vibemathed:colombo-s-difference-power-determinant-conjecture:method" ], "source_assertion_ids": [ "vibemathed:colombo-s-difference-power-determinant-conjecture:assertion" ] } ], "attempts": [ { "id": "vibemathed:colombo-s-difference-power-determinant-conjecture:attempt", "problem_id": "vibemathed:colombo-s-difference-power-determinant-conjecture", "model": "WuJie AI agent; DeepSeek; Qwen; Kimi; GPT; other LLMs", "provider": null, "attempted_at": "2026-08-18T00:00:00.000Z", "human_collaborators": [ "Qianli Ma" ], "exposure": "unknown", "prompt_public": null, "outcome": "The author reports that the WuJie AI agent and multiple large-language-model systems, including DeepSeek, Qwen, Kimi and GPT, played a substantial role in identifying the proof strategy and producing an initial proof draft. Qianli Ma designed and coordinated the workflow, then checked and revised the mathematical arguments and formalized the new odd-exponent proof chain in Lean 4.", "failed_routes": [], "artifacts": [ { "label": "Lean 4 formalization (Ma)", "url": "https://github.com/hkjtsgmc79-boop/colombo-odd-lean", "kind": "other", "license": null }, { "label": "Palomar formalization registry entry", "url": "https://palomar-registry.org/entry?id=PALOMAR-2026-08-27-000007&version=1", "kind": "other", "license": null }, { "label": "Earlier Zenodo preprint deposit", "url": "https://doi.org/10.5281/zenodo.21993537", "kind": "other", "license": null }, { "label": "Independent apolarity/Waring-rank proof", "url": "https://arxiv.org/abs/2608.28274", "kind": "paper", "license": null }, { "label": "Lean formalization of the independent proof", "url": "https://github.com/ttieli/Colombo1928", "kind": "independent", "license": null } ], "sources": [ { "label": "Qianli Ma, “Colombo’s Determinant Problem” (arXiv:2609.00101)", "url": "https://arxiv.org/abs/2609.00101", "kind": "primary-mathematical-source", "license": null }, { "label": "VibeMathed: Colombo’s difference-power determinant conjecture", "url": "https://vibemathed.com/problem/colombo-s-difference-power-determinant-conjecture", "kind": "source-assertion", "license": "https://vibemathed.com/data-license" } ], "cost_usd": null, "independence": "unknown" } ], "verifications": [ { "id": "vibemathed:colombo-s-difference-power-determinant-conjecture:verification", "problem_id": "vibemathed:colombo-s-difference-power-determinant-conjecture", "solution_event_id": "vibemathed:colombo-s-difference-power-determinant-conjecture:event", "level": "lean_checked_statement_unaudited", "mathematical_correctness": "supported", "statement_fidelity": "unaudited", "peer_review": "none", "verifier": "VibeMathed (source-reported label)", "verified_at": null, "note": "The paper’s new odd-exponent theorem is formalized in Lean 4. The public endpoint proves\n$0<\\det[(x_j-x_i)^{2r+1}]$\nfor every strictly increasing real $2m$-tuple and every $r\\ge m-1$, matching Theorem 1.2 of the paper. The repository reports a complete 2817-job build, no `sorry`, `admit`, or project-specific axioms, and an axiom audit containing only `propext`, `Classical.choice`, and `Quot.sound`; the formalization is also registered in Palomar.\n\nThe complete classification additionally imports the classical even-exponent theorem of Dyn–Goodman–Micchelli, which this repository does not formalize. The paper statement and public theorem interface were compared for this submission, but the repository was not rebuilt by the submitter and no named independent informal-to-formal statement-fidelity audit is yet identified. Therefore “Lean-checked, statement unaudited” is the conservative label.", "sources": [ { "label": "VibeMathed: Colombo’s difference-power determinant conjecture", "url": "https://vibemathed.com/problem/colombo-s-difference-power-determinant-conjecture", "kind": "source-assertion", "license": "https://vibemathed.com/data-license" }, { "label": "Qianli Ma, “Colombo’s Determinant Problem” (arXiv:2609.00101)", "url": "https://arxiv.org/abs/2609.00101", "kind": "primary-mathematical-source", "license": null } ] } ], "sources": [ { "label": "Qianli Ma, “Colombo’s Determinant Problem” (arXiv:2609.00101)", "url": "https://arxiv.org/abs/2609.00101", "kind": "primary-mathematical-source", "license": null }, { "label": "VibeMathed: Colombo’s difference-power determinant conjecture", "url": "https://vibemathed.com/problem/colombo-s-difference-power-determinant-conjecture", "kind": "source-assertion", "license": "https://vibemathed.com/data-license" } ], "recommended_mode": "verify", "recommended_exposure": "result_only", "opportunity_signals": [ { "id": "vibemathed:colombo-s-difference-power-determinant-conjecture:signal:verify_now", "problem_id": "vibemathed:colombo-s-difference-power-determinant-conjecture", "kind": "verify_now", "reason": "The source labels this result as a candidate; verification should precede reuse.", "generated_at": "2026-09-13T16:28:40.178Z" } ], "uncertainties": [ "The source status is candidate and must not be represented as solved.", "VibeMath has not independently verified the mathematical claim.", "AI-attempt independence and training-data exposure are unknown unless explicitly documented.", "VibeMath has not independently audited the mathematical statement, proof, or novelty claim." ], "generated_at": "2026-09-13T16:28:40.178Z" }