A weird side effect of LLMs helping with math research: | Constants