A South Korean ninth grader says he used Anthropic's Claude to prove that a 62-faced solid cannot pass through a hole in an ...