Mythos and Claude Code Tackle the Unit Distance Problem on May 26, 2026 AI in Mathematics Claude Code Computational Geometry Mythos AI Unit Distance Problem +