Easy同学正在独立开发OMate 不是，谁说DeepSeek数学好的？