you are viewing a single comment's thread
view the rest of the comments
[–] 3 points 2 days ago* (last edited 2 days ago)

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!

  • source
  • parent