Problem detail · source-aware
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Under smoothness, positivity, decay and score assumptions, are all steady solutions of the Coulomb Vlasov-Maxwell-Landau system on $\mathbb{T}^3 \times \mathbb{R}^3$ necessarily spatially uniform Maxwellians?
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.
A full AI-assisted loop: Gemini Deep Think generated the proof, Claude Code translated it into Lean from natural-language prompts, and Aristotle closed 111 lemmas - one supervising mathematician, zero hand-written lines of code.
Provider: Google DeepMind / Anthropic / Harmonic · Prompt public: unknown · Independence: unknown
The main theorem is formally verified end to end by the Lean 4 kernel; arXiv preprint documents the pipeline.
Correctness: supported · statement fidelity: audited · peer review: none
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Source-reported tools: argument.
Independent: unknown · difference confidence: 0
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.