A Universal Leading-Residue Formula for Witten Zeta Functions
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
For an irreducible crystallographic root system of rank $r$ with Coxeter number $h$, the paper proves that Au's normalized Witten zeta function has a simple pole at $2/h$ and evaluates its residue in closed form in terms of the Cartan determinant, the Weyl group order and the invariant degrees.
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 via Codex
The most complete authorship claim in this batch: the paper states that all mathematical derivations, proofs, exposition, computational code and publication materials were generated and written entirely in Codex using GPT-5.6 Sol, with Codex Ultra mode for multi-agent work, and that GPT-5.6 Pro was used separately in the ChatGPT web app to review the derivations.
No independent review, and the author describes the entire mathematical content as machine-generated, reviewed by a second model rather than by a person. Treat accordingly. Preprint, not refereed.
VibeMathed reports this item as resolved. 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.
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.