Mythos (using Claude code) also solves the unit distance problem recently handled by GPT 5.5, with a "cute, simple proof".RedditMay 26, 2026 17:49ShareThis tweet cannot be embedded.Open direct link