Seymour's second-neighborhood conjecture at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

Seymour's second-neighborhood conjecture

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

thinking... about 3 hours remaining

If this game doesn't work on your computer, go here for help. (Lean version available!)

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	counting, coloring	Levels:	1
Category:	Combinatorics	Lean version:	YES! ✔
Rate this game! 4.4 out of 5 (2,459 votes)

>>> How to Play <<<

Seymour’s second-neighborhood conjecture. Proves Seymour's second-neighborhood conjecture: every nonempty finite oriented graph has a vertex with at least as many vertices at directed distance exactly two as at directed distance one. Oriented graphs may be arbitrary apart from the exclusion of loops and oppositely directed edge pairs.

>>> Level Select <<<

LEVEL 1 A proof of Seymour’s second-neighborhood conjecture

released 2026-09-23 | 1 theorem · 4 lemmas · 9 proofs · 6,882 words | PLAY LEVEL 1 » (pdf)

We prove that every nonempty finite oriented graph has a vertex with at least as many vertices at directed distance two as at directed distance one. This resolves Seymour's second neighborhood conjecture positively.

More Combinatorics Games!
The Erdős–Gallai cycle-decomposition conjecture	Power savings for polynomial-difference-free sets	Power savings for planar halving lines and $k$-sets	Coloring and independence in graphs with forbidden subgraphs
Counterexamples to infinite matroid intersection and packing/covering	The Friedgut–Kalai graph and hypergraph threshold conjectures	Snaky in 21 Maker moves PLAYABLE!	The sharp constant in random triangle removal

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

Cool Links: openai/math Lean Mathlib arXiv the real Coolmath Games

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600