Gray's conjecture
In-game article clicks load inline without leaving the challenge.
In mathematics, Gray's conjecture is a conjecture made by Brayton Gray in 1984 about maps between loop spaces of spheres. It was later proved by John Harper.
Fallback article view