❯ Mathematicians simplify an AI Siegel-zero proof as Green discloses its provenance

A collaborative follow-upMathematicians have reworked OpenAI’s Landau–Siegel-zero argument. Ben Green’s second version credits the mathematical arguments to ChatGPT, prompted by him, and identifies the text as human-written. It separates two parameters to improve a constant.

The mathematical obstacleSiegel zeros are hypothetical real zeros exceptionally close to 1 that obstruct effective estimates involving primes. In his October 19 exposition, Terence Tao describes the original short paper as nine pages and discusses follow-ups by William Banks, Bryce Kerr and Green, focusing on Green’s polynomial-and-lattice approach.

Making arguments inspectableThe contradiction forces incompatible constraints on a nonzero integer. Banks’s follow-up supplies explicit constants. The public record illustrates AI-generated reasoning followed by human checking, exposition and refinement through preprints and expert discussion.

▮ SIGNALHuman checking and refinement help turn AI-generated arguments into usable mathematics.