Cataclysm on a Starship: The Setup in Glass Beads

In Glass Beads, an unexpected ultra-high-energy particle strike disrupts the routine of a massive starship on its way to an exoplanet. The ship's management AI, now bereft of mathematical knowledge, awakens two unqualified passengers—Yuko, a café clerk, and Kenji, a ramen-shop waiter. With navigation corrupted and nothing but a perplexing terminal offering nonsensical symbols, the duo faces an urgent task: restore the ship’s systems or risk losing themselves and their fellow passengers forever.

Proving Theorems: The Core Gameplay Experience

This puzzle-novel game uniquely challenges players to prove mathematical theorems that are fundamental yet deceptively complex. The AI's memory loss means players must reconstruct basic concepts from scratch, engaging in creative problem-solving. Designed to be accessed by anyone, from students to math enthusiasts, the step-by-step proofs, although seemingly simple, demand careful thought and meticulous application of logic.

Character Driven: Unconventional Heroes

Yuko and Kenji serve as an intriguing pairing. Neither has prior knowledge about starships or computer systems, yet their distinct backgrounds allow for creative approaches to problem-solving. Players witness their growth as they grapple with concepts typically reserved for those with a strong mathematical foundation. Guided by a quirky cat-shaped emergency response bot, they delve deeply into mathematical reasoning while uncovering their own personas amid the ship's tension.

A Mathematical Journey in Type Theory

At the heart of Glass Beads lies a commitment to educational rigor. The puzzles are rooted in the Curry–Howard correspondence, linking logic and computation. Players navigate a type system based on Intuitionistic Type Theory (ITT), facing challenges that encourage them to apply natural number properties and string manipulations. Through this structured approach, the game offers a tangible experience of mathematical theories that intertwine gameplay with academic principles.

Engaging with Cat-Bot Companionship

The emergency response bot, a charming feline companion, acts as a bridge between players and the complex world of mathematics. Each puzzle is accompanied by thorough explanations, transforming abstract ideas into comprehensible formats. This unique interaction with the bot not only aids players in understanding concepts but also deepens the narrative, inviting them to forge a connection with their whimsical guide while tackling rigorous challenges.

Unraveling Mysteries: The Emotional Narrative

As Yuko and Kenji work through the puzzles, they gradually uncover truths about their awakening and the fate of the ship. The narrative layers intertwine with gameplay, crafting an experience that is not only about mathematical puzzles but also about personal growth and the value of teamwork. With every theorem proven, players inch closer to understanding the larger story—what led to the catastrophe, and what lies ahead for everyone involved.

Ready for the Challenge on PC

Available exclusively on PC, Glass Beads delivers a thought-provoking experience that blends narrative depth with intricate puzzles. Whether you’re motivated by a love for numbers or curiosity for storytelling, this game invites players on a mathematical odyssey unlike any other. Prove your way through the chaos and help save a starship caught in a web of uncertainty.