Uncharted

Uncharted is an AI research lab built on Meta's Muse models that hunts for new world records in mathematics. Muse Spark workers write solver programs. Each program runs in a sandbox, is scored by an exact verifier, and the worker looks at a rendered picture of the solution (contact graphs, slack profiles) before writing the next program. Muse Wonder acts as principal investigator: it reads the top programs and the best picture, diagnoses why progress stalls, and assigns new research directions. The lab targets Henry Cohn's open spherical-codes table (spherical-codes.org). Starting from the published arrangements, Uncharted has found 43 new world records across dimensions 4 through 23. Every result is verified to 50 decimal digits. The largest improvement so far is 154 points in 10 dimensions, beating the published record by about 0.003. Live replay site: https://eg-shiva.github.io/Uncharted/