6 ms·
How 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 s
by piloto_ciego 8d ago
How 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.
- deleted 8d ago[deleted]
- samrus 8d agoYou have to look at the incentives
- aurareturn 8d agoA working Lean proof doesn't care what the incentives are.
- FallCheeta7373 8d agoIncentives are one thing, even adjusting for them it's huge, and I don't understand this incentive play for only openai, academics have perverse incentives too, to overreport, overclaim, publication bias etc why are we scrutinizing AI industry to such high degree when they have demonstrated capability and often times are off by a model release at worst.
- altcognito 8d agoI swear to god, people would look at the successes of Xerox palo alto and just shrug and say - "yeah, but I mean, this is all marketing"
- piloto_ciego 7d agoThis is what I keep saying, and it feels like I'm taking crazy pills here! Is nobody else astounded by this?
- alsetmusic 6d agoThe thing only nerds know about that wasn’t in the news every day? Not the same thing.
- Shank 7d agoXerox is incidentally a really good example, because precisely nobody ended up using the desktop experience Xerox made. They ended up using the desktop experience that Microsoft and Apple made and shipped while Xerox the actual company faded and memory of those original parc research teams faded into obscurity.
- medler 8d agoBecause it seems like most of the work may have been done by human mathematicians and cribbed by OpenAI at the last minute
- sdenton4 7d agoThe human mathematicians didn't solve the Navier-Stokes problem, they solved the Euler problem. And they were extensively using LLMs to drive the work, as described in the Buckmaster statement. Any way you cut it, this is a major achievement for AI, besotted with human drama over whose prompt should be recognized by the history books.
- dekhn 8d agoWe don't have enough accurate knowledge to say that, and it doesn't seem to be the case at all.
- timr 8d ago> We don't have enough accurate knowledge to say that, and it doesn't seem to be the case at all. The first part of your sentence literally contradicts the second part: "we don't have enough knowledge to know, but I know the opposite".
- dekhn 8d agoOnly if you interpret statements as being binary logic. "seem to be" carries semantic meaning here: I'm stating my interpretation of the situation based on data we have available (which is limited) and my prior. Put another way: "We can't say that for sure, but my money is on it not being a simple case of intellectual property theft"
- valegrete 6d agoOther people are allowed to have their priors, too. Even under a non-informative prior, the weight of the evidence (Tristan's account, OpenAI's announcement, and Bubeck's "denial", if you want to call it that, plus multiple other mathematicians coming forward with similar experiences) pushes the probability mass toward some degree of impropriety. What exact evidence are you incorporating into your prior to come out with this posterior?
- tomalbrc 7d agoI. fucking. Wonder. Why. https://news.ycombinator.com/item?id=49607239 https://news.ycombinator.com/item?id=49607239
- AlexCoventry 7d agoI 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.
- munksbeer 7d agoPeople 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.
- piloto_ciego 7d agoIt literally reminds me of climate denialism. “Line go up! That is bad! Planet might become unsafe for human life.” “Nuh uhh! Malankovich cycles and humans are a drop in the bucket! Krakatoa! See!” “All of California is on fire!” “Haha, stupid shrill liberals! Go rake your woke forests! Drill baby drill!” “Are you kidding?! Look at this graph.” “That’s just propaganda from the elites of the Build-a-bear group!” “Do we even live in the same universe?” “And 5g causes COVID!” “Oh, I guess we’re don’t.”
- jibal 7d agoHow? By being knowledgeable, intelligent, and intellectually honest.