Readable-Intelligence平台上线，将AI数学证明转为可读版本

RecodeX 重构消息，Readable-Intelligence平台正式上线，可将OpenAI生成的晦涩数学证明重构为人类可读的版本，降低阅读门槛。该平台提供逻辑图谱、交互问答和协作阅读工具，帮助读者理解AI生成的数学论文内容。