WRSWorld Research StateContribute
WORLD RESEARCH STATE

OpenAI: Claimed ordinary two-point Chowla cancellation

Reported result · significance if the exact claim is established

If verified · conditional significanceClaim scope and evidenceReported result · not independently verified.
If verified · reference score380,000Editorial revision range 230,000–580,000. Not a statistical interval. Included in rankings as an unverified reported result; excluded from achieved-science progress totals.

Provisional assessment of the stated contribution scope. Scientific evidence and contributor attribution are separate.

Scientific record data (JSON) · Challenge or correct a rating

What is claimed?

The manuscript claims a correlation bound O(X/(log X)^c) for Liouville values on every fixed pair of nonproportional affine forms, with an absolute positive c. It also claims a binary Elliott cancellation result under uniform nonpretentiousness. Ordinary averages count all integers equally. Reported result; not independently verified by WRS. Ranked using a provisional grade and reference estimate for the exact claimed result.

Scientific scope

The constants may depend on fixed affine forms and need not be effective. No uniformity for coefficients growing with X is asserted. The result concerns two-point correlations, not the full higher-order Chowla conjecture. WRS has inspected the cited statement and source-reported formalization scope where available; it has not audited the full proof or replayed Lean.

Evidence state

The source reports this result. WRS has not independently reconstructed the complete argument or validated the reported evidence. The grade and score here express conditional significance; they do not certify correctness. The provisional value enters the main reference rankings with an unverified label, but not achieved-science progress totals.

Full scientific record · Challenge or correct this assessment