Raising the island…
Regions you have walked are revealed. Select a found shrine to read it or travel there.
At the edge of every map, cartographers wrote terra incognita: here, no one knows.
Last night a great Atlas of open questions came apart over this island. Its pages scattered: 42 burned bright as lights, and 330 drifted down as scrolls.
Some of those questions were centuries old. Some now have answers, though no one has checked them all yet.
Find the lights. Put the Atlas back together.
The Atlas is whole
722 manuscripts · 372 families · October 2026
All seven colossi are awake, and their stars are joined in a single chart across the sky. Seven citadels stand: two lit, five still dark. Every claim here still waits for referees, and some may yet fall. That is how maps of the unknown are drawn: one careful line at a time.
An island of new mathematics
In October 2026, OpenAI released 722 manuscripts written by an internal model. They claim proofs and counterexamples for problems that stood for decades. We picked the 42 that would be historic if they hold up and hid them across an island.
W A S D move · Shift sprint · Space jump, then again to glide · drag to look · E enter
These are unrefereed claims. Each shrine says what was claimed, what a Lean formalization covers, and where the manuscript lives. Sources: github.com/openai/math.