Erdős·erdos:716

Erdős 716

problem formal record: unclassified source: proved (Lean) F0 no formal statement

No formal proof attached. Any claim here rests on a write-up or a report.

Fidelity F0: Absent. No formal statement is attached to the result.

graph theory, hypergraphs·Source

AI activity

Aristotle

20 Jun 2026·supporting task

Ruzsa and Szemerédi (1978)

full A1 V1 F0

Reasoning and sources

Secondary contribution: formalization

proof to formalize: Ruzsa and Szemerédi (1978)

F0 no formal statement. Absent. No formal statement is attached to the result.

Follow this problem

An email when it has a new claim, check, bounty or discussion. You confirm once and can stop with one click.

Discussion and bounties for this problem load here.

Something wrong or missing here? Request a correction or add a claim, with its sources.

Formal statements · 0

No formal statement located.

Cited proofs · 0

No proof artifact cited by the formal record.

Also known as · 1

qed.bot, “Erdős 716”, https://qed.bot/s/erdos-716, as of 30 Sep 2026.

This record as plain text, with each claim, its grades and its sources.