#数论

借助 AI 证明卡塔兰常数无理

一篇 arXiv 论文宣称在 AI 辅助下证明了卡塔兰常数是无理数，这一长期未解的数论问题若被证实将是重要数学进展。该结果尚待同行评审，HN 讨论热度较低。