Skip to content

Erdős problem 433

Start work

No written statement is retained for this problem.

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Proof manifests naming this Problem

  • Jayyhk Erdős Leanjayyhk:erdos:433
  • PLBY Lean proofsErdosProblems.Erdos433

Reported activity

Reported by these sources. Not reviewed here.

  • Formalization

    Erdős AI contributions wiki · 24 Feb-29 May, 2026

    Machine
    Aristotle, Claude Opus 4.8, Claude Sonnet 4.6, Gemini 3 Flash, Gemini 3.1 Pro, Project Numina
    Open the source record

Continue

Start a contributionBrowse the source filesOpen the collection entry