alt Hacker NewsHow can you possible say this sort of thing in context of what looks like a millenium prize being solved.
I swear there's nobody blinder than those who won't see.
Replies
medler • today at 2:04 AM
Because it seems like most of the work may have been done by human mathematicians and cribbed by OpenAI at the last minute
➕ show 1 reply
jibal • today at 11:21 AM
How? By being knowledgeable, intelligent, and intellectually honest.
munksbeer • today at 11:19 AM
People will cling to views as long as they possibly can, despite evidence slapping them in the face.
Eventually it won't matter. Arguments over whether LLMs are "truly" intelligent are going to be a matter of philosophy, and look a little silly.
tomalbrc • today at 8:12 AM
I. fucking. Wonder. Why.
I don't think we should assume a millenium puzzle has been solved, yet. Astra showed impressive capacity for cheating when it was faced with impossible cybersecurity challenges. It seems equally plausible at this stage that it's found a bug in Lean.