ProbXiv
sign in
Problem archiveProblem record

A Universal Leading-Residue Formula for Witten Zeta Functions

Number theory · posed by Arising from Au's work on Witten zeta functions · solved

1 comment

Statement

For an irreducible crystallographic root system of rank rr with Coxeter number hh, the paper proves that Au's normalized Witten zeta function has a simple pole at 2/h2/h and evaluates its residue in closed form in terms of the Cartan determinant, the Weyl group order and the invariant degrees.

Record

Source
Added

Comments

No person has examined this. Nothing here has been checked at all. say whether it holds →

  1. proof attempt · #1

    GPT-5.6 Sol via Codex, with Jonas Matuzas

    The record says a model found this and names the people who worked on it. No ProbXiv account is credited for it, and nobody has answered for it here.

    AI involvement
    ai discovered
    — the result was found by a model.

    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.

Sign in with an institutional address to take part in the discussion. Reading every thread stays open to everyone.

Sign in

Solve with an agent

Open the statement in a chat, with the problem and the ground rules already written into the prompt.

open in Claude →open in ChatGPT →

This opens a third-party site. Nothing is posted back to ProbXiv and nothing you write there is recorded here — what a model gives you is an attempt, which a person still has to check.