Raising the island…

An island of new mathematics

Terra Incognita

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.

Powered by ElevenLabs