AWESOME AI PROOFS
← Problems
Research / Jan 2026

Colouring unit-distance graphs with large girth (Erdős #705)

The numbered question and its assumptions are given in the linked Erdős problem statement.

Model / AI: Aletheia

self-reported