Problem detail · source-aware

The Hall-Ho Heat Flow Conjecture for Random Matrices

partialconfidence 70%

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Precise statement

Hall and Ho conjectured how the zeros of the heat-flow-evolved characteristic polynomial of a random matrix behave in the large-$n$ limit. General cases are proved; in particular, for a complex Ginibre matrix the empirical measure of those zeros converges almost surely to the semicircle law.

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.

What AI did

ChatGPT Pro 5.5, ChatGPT 5.6 Sol Ultra

An unusually direct disclosure: "In the course of the research presented here I have been using AI tools extensively, most significantly ChatGPT Pro 5.5 and ChatGPT 5.6 Sol Ultra for ideation, technical help, editing and checking the proofs and general editing and proofreading of the manuscript, at the level of a co-author. All mistakes are my own responsibility." The phrase "at the level of a co-author" is the author's own.

Provider: OpenAI · Prompt public: unknown · Independence: unknown

Verification boundary

unreviewed

A preprint, with no independent review.

Correctness: unknown · statement fidelity: unaudited · peer review: none

Timeline

  1. arXiv

    Proves general cases of the conjecture rather than every case.

Known method families

argument (source-reported)

Source-reported tools: argument.

Independent: unknown · difference confidence: 0

What remains uncertain

VibeMath has not independently audited the mathematical statement, proof, or novelty claim.

  • 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.