Gödel Test: Can Large Language Models Solve Easy Conjectures? https://arxiv.org/abs/2509.18383 https://www.alphaxiv.org/ru/overview/2509.18383v1