Last I heard they had only data mined their own (human) users, submitted a pile of slop for (human) mathematicians to verify, and then withdrew much of it when it proved not to be a solution.