Pith. sign in

REVIEW 4 cited by

On a conjecture of Marton

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2311.05762 v2 pith:SYVVR5I2 submitted 2023-11-09 math.NT math.CO

W. T. Gowers , Ben Green , Freddie Manners , Terence Tao This is my paper · ORCID
classification math.NTmath.CO
keywords conjecturecharacteristicmartonargumentdetailsextendsfollowfreiman--ruzsa
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

We prove a conjecture of K. Marton, widely known as the polynomial Freiman--Ruzsa conjecture, in characteristic $2$. The argument extends to odd characteristic, with details to follow in a subsequent paper.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Stabilizers and NIP arithmetic regularity

    math.CO 2025-09 conditional novelty 7.0 of 10

    NIP sets in finite groups admit arithmetic regularity through stabilizers, with a new proof and polynomial bounds in the bounded-tripling case.

  2. On Fourier coefficients of sets with small doubling

    math.CO 2024-12 conditional novelty 7.0 of 10

    Under the condition 100K^2 δ ≤ 1, a set with small doubling and small Fourier coefficients must have a dense intersection with a translate of a large regular Bohr set of controlled dimension.

  3. Classifying the groups of order $p q$ in Lean

    cs.LO 2025-01 accept novelty 5.0 of 10

    A Lean formalization proves that every group of order pq (p and q prime) is cyclic or one of the known noncyclic semidirect or direct product groups.

  4. Formal Mathematical Reasoning: A New Frontier in AI

    cs.AI 2024-12 conditional novelty 5.0 of 10

    Machine-checkable formal proof should become the backbone of AI mathematics, and a five-task, five-level capability roadmap can measure progress toward that goal.

Pith tools