You don’t think they’d be bragging about how it got all of them right by now if that were the case?

If they had 301 new solutions, why would they release the stolen one first? I suppose it could be because it’s the only one they were confident was correct, but I think these people are likely hubristic and psychotic enough to believe that their plausibility engine actually solve all of the unsolved math questions (rather than providing plausible looking answers, as it’s explicitly designed to do, which then need to be disproven by actual thinking human mathematicians).