Skip to content

Erdős problem 750

Let f(m)f(m) be some function such that f(m)f(m)\to \infty as mm\to \infty. Does there exist a graph GG of infinite chromatic number such that every subgraph on mm vertices contains an independent set of size at least m2f(m)\frac{m}{2}-f(m)?

Workspace

Open this exact Problem, source revision, and authority Repository in Workbench. This handoff does not clone, switch, upload, or execute anything.

Canvas

public preview
  1. Source#750
  2. ResultNone
  3. Checks0

Reported activity

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

  • AI collaborating with humans

    Erdős AI contributions wiki · 3 May, 2026

    Machine
    GPT-5.5 Pro
    People
    Przemek Chojecki
    Open the source record
  • Formalization

    Erdős AI contributions wiki · 4 May, 2026

    Machine
    Claude Code, Claude Opus 4.7, GPT-5.5 Pro
    Open the source record
  • argument

    VibeMathed

    Machine
    GPT-5.5 Pro
    People
    Przemek Chojecki
    Reported outcome
    resolved
    Open the source record

Search problems.science

Find a Problem, Result, source, or page