RecodeX 重构消息，有研究者宣布借助人工智能工具完成了Catalan常数无理性的证明，相关成果以文章形式发布并引发讨论。Catalan常数约等于0.915965，其无理性是数学领域长期关注的问题。目前该证明的完整细节与同行评审情况尚未披露。