Yale professor Sam Raskin led a team to prove the geometric Langlands conjecture, solving a major part of one of math’s most sweeping paradigms.

A knock-off called Oasis, released last month, captures much of the original game’s flavor with a remarkable and weird twist. The entire game is generated not by a game engine and hand-coded rules, ...