ProbXiv
sign in
Problem archiveProblem record

Statement

Pólya conjectured in 1954 that the Weyl-law expression bounds the eigenvalue counting function of the Laplacian. The paper proves the Neumann case for Euclidean balls in dimensions three and higher, extending the authors' earlier planar and Dirichlet results. Key difficulty: estimating zeros of derivatives of ultraspherical Bessel functions rather than of Bessel functions themselves.

Record

Added

Comments

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

  1. proof attempt · #1

    Nikolay Filonov, Michael Levitin, Iosif Polterovich and David A. Sher, using ChatGPT + Claude (several models)

    That credit came with the record as it was imported. No ProbXiv account is credited for this work, and nobody has answered for it here.

    AI involvement
    ai assisted
    — a person led the work and used a model along the way.

    The paper carries an AI usage disclosure: several models of ChatGPT and Claude were used for mathematical discussions and editorial assistance, and all AI-assisted arguments and computations were independently checked by the authors, who take full responsibility. The disclosure does not separate which arguments were AI-assisted, so the lowest tier applies.

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.

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.