Real and complex analysis·OpenAI Math·Result 076·Lean formalisation listed

Real ultraflat Littlewood polynomials and unbounded binary merit factors

One of the 372 results in OpenAI's public mathematics catalogue, filed under real and complex analysis: 3 preprints, the latest dated 5 October 2026. This page quotes OpenAI's own summary of the claim, links the papers and abstracts, and will embed the animation.

Latest paper

Ultraflat real Littlewood polynomials

5 October 2026 · PDF

The animation for this result has not been released yet. Subscribe on YouTube to catch it.

What OpenAI claims

Constructs polynomials with N consecutive coefficients in {-1,1} whose modulus is (1+o(1))√N uniformly on the entire unit circle, for every sufficiently large integer length N. Thus real Littlewood polynomials are ultraflat, including at the real endpoints. Their binary merit factors tend to infinity, disproving Turyn's bounded-merit-factor conjecture. (Lean)

Papers (3)

  1. Ultraflat real Littlewood polynomials

    · Preprint, not peer reviewed · PDF

    For every ε ∈ (0,1) and every sufficiently large integer N, there is a polynomial of length N with coefficients in {-1,1} whose modulus lies between (1-ε)√N and (1+ε)√N everywhere on the unit circle. Thus real Littlewood polynomials can be ultraflat through every sufficiently large integer length. The signs may be chosen separately at each length.

  2. Nearly minimal maxima and positive minima of Littlewood polynomials

    · Preprint, not peer reviewed · PDF

    For every η > 0 and every sufficiently large integer N, there is a polynomial with N consecutive coefficients in {-1,1} whose modulus lies between √N/16 and (1+η)√N everywhere on the unit circle.

  3. Asymptotically minimal maxima of real Littlewood polynomials

    · Preprint, not peer reviewed · PDF

    We prove that the minimum possible maximum modulus on the unit circle of a polynomial with N consecutive real coefficients in {-1,1} is (1+o(1))√N, as N tends to infinity through all integers. This disproves the real-sign analogue of Erdős's fixed relative-gap conjecture. As a consequence, the largest binary merit factor at length N tends to infinity through all integer lengths, disproving Turyn's conjecture.

Status

Preprint. The papers have not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.

Related results in Real and complex analysis

All 16 results in Real and complex analysis →