Problem detail · source-aware

Predicting Diagonalizability of a Mean Matrix

resolvedconfidence 70%

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

Precise statement

Wu and Santhanam asked whether one can determine, from an increasing i.i.d. sample of binary random matrices, whether the unknown mean matrix is diagonalizable, while making only finitely many errors almost surely. Answered affirmatively over both R and C.

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

GPT-5.6 Sol Ultra

A disclosure section of its own: "The proof strategy and counterexample were produced by OpenAI's GPT-5.6 Sol Ultra through Codex in response to prompts from the author. Codex was also used to revise the exposition and prepare the LaTeX manuscript. The author selected the problem, directed the interactions and revisions, and is the sole named author."

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

Verification boundary

unreviewed

A preprint days old. The paper says so itself: "This disclosure is not a substitute for independent expert mathematical review."

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

Timeline

  1. arXiv

    The general principle is the interesting part: every semialgebraic property of a bounded fixed-dimensional mean parameter is eventually almost surely predictable. Against merely integrable matrix laws it fails from dimension two.

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.