I’m assuming this is about the 372 math “breakthroughs” they recently posted. The top “discoveries” seem to be trivial cases that don’t give much insight into the broader conjectures and many of them don’t even have a lean proof so they can’t remotely be trusted as correct (and having a lean proof isn’t necessarily proof that it’s correct either). They basically crapped out everything the AI did and said you figure out!