AWESOME AI PROOFS
← Problems
Research / Sep 2026

Catalan’s constant: disputed AI-assisted irrationality proof

Is Catalan's constant irrational?

Model / AI: ChatGPT 5.6 Solar

self-reported (claimed proof)disputed (claimed proof)
Sep 2026

Weighted-tail irrationality claim

Model / AI: ChatGPT 5.6 Solar

self-reported (claimed proof)disputed (claimed proof)

Zhi-Wei Sun's preprint adapts the Calegari–Dimitrov–Tang framework after repeated AI attempts failed and the author supplied a weighting idea; the model contributed numerical work and was used as a claimed verifier. A specific objection to equations 1.4 and 2.12 remained unresolved at review time.

Source read 2026-09-08. Read arXiv v1 and the linked technical objection. No corrected version, human verification or formal artifact was found.