VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Precise statement
The Exact Matching problem asks whether a bipartite graph with edges colored red and blue admits a perfect matching with exactly $t$ red edges. Introduced by Papadimitriou and Yannakakis in 1982, it has been in randomized polynomial time since Mulmuley-Vazirani-Vazirani (1987) while membership in P stayed open for four decades. The paper claims a deterministic polynomial-time algorithm, replacing probabilistic amplification with deterministic evaluations.
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.4 Pro, Claude Opus 4.6, Aristotle
GPT-5.4 Pro assisted with theoretical route selection and problem reduction: identifying viable proof strategies, formulating equivalent reformulations of the main conjecture, and narrowing the search space. Claude Opus 4.6 (via Claude Code) ran rapid iterative computational experiments that tested conjectures and produced counterexamples to failed approaches. Lean 4 with Mathlib served as the formal verification backend, with Harmonic's Aristotle discharging proof obligations during the formalization.
A single-author preprint claiming a forty-year-open result. The paper reports a Lean 4/Mathlib formalization with Aristotle assisting, but no independent expert has reviewed the claim; entered as a candidate pending community scrutiny.
VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
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.
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.