Live data from Hacker News

Ten advances in mathematics and theoretical computer science

openai.com

451–460 of 1001 posts

Re: Ten advances in mathematics and theoretical computer science

#451

Gary Marcus' has a good take on this: https://garymarcus.substack.com/p/openais-amazing-but-vastly... https://garymarcus.substack.com/p/two-critical-updates-re-as... Not that there isn't something interesting in here, but lets be clear that we don't have enough information to evaluate this properly. And as always with these labs, BS takes a lot more energy to refute than it does to spread.

"Gary Marcus' has a good take " I think that is an oxymoron.

It can be annoying when someone you disagree with is frequently right!

Re: Ten advances in mathematics and theoretical computer science

#452

Earlier quoted context omitted.

"Gary Marcus' has a good take " I think that is an oxymoron.

How so? His predictions were accurate so far

No they were not. These were his 5 predictions in 2022:

""" 1. By 2029, AI will still be unable to watch a movie and accurately explain the characters, events, conflicts, and motivations.

2. By 2029, AI will still be unable to read a novel and reliably answer questions about its plot, characters, conflicts, and motivations beyond what is stated literally.

3. By 2029, AI will still be unable to work as a competent cook in an unfamiliar kitchen.

4. By 2029, AI will still be unable to reliably create more than 10,000 lines of bug-free code from natural-language instructions or interaction with a nontechnical user, excluding simple assembly of existing libraries.

5. By 2029, AI will still be unable to convert arbitrary mathematical proofs written in natural language into symbolic form suitable for formal verification. """

There's still 3 years to go and he's already wrong on 4 out of 5.

Re: Ten advances in mathematics and theoretical computer science

#453

problem number 1 and 9 are surprisingly very intuitive check here : 1. high dimensional sphere packing https://muchmirul.github.io/conjectures/sphere-packing/ 2. multicolor ramsey number https://muchmirul.github.io/conjectures/multicolor-ramsey

The first link is very sloppy and doesn't actually explain why the "certificate" proves anything about the sphere packing. Or if it did, I couldn't understand it.

Re: Ten advances in mathematics and theoretical computer science

#454

Gary Marcus' has a good take on this: https://garymarcus.substack.com/p/openais-amazing-but-vastly... https://garymarcus.substack.com/p/two-critical-updates-re-as... Not that there isn't something interesting in here, but lets be clear that we don't have enough information to evaluate this properly. And as always with these labs, BS takes a lot more energy to refute than it does to spread.

I find Marcus on this, something approaching sophistry and rhetorical showmanship in service of maintaining an ideological position, for reasons unrelated to the nominal intellectual clarity.

To sharpen that, I think he's (obviously) interested in maintaining his own brand as "thought leader" and this necessitates de rigeur defense of particular postures.

Sometimes this is easy because the facts warrant it; other times, a bit of rhetorical license is required to preserve nominal coherence and (at least, for the moment) hold certain lines.

This is one of the latter cases, and it's not subtle.

One of the celebrated properties of many intellectual advances or inventions in whatever domain is precisely that it appears obvious in hindsight. It is quite cynical to leverage consensus distrust of large AI players, warranted but also a popular social construction, to insinuate that these are not "real" advances or "real" hard problems, on the grounds they were in some sense cherry-picked.

Identifying the problems amenable to strategies on the table and intuitions (sic) about where bridges might be, is exactly the discerning work that is the core driver of almost all prior progress, but for celebrated accidents and flashes of insight. Anyone working in any challenging discipline knows that those are celebrated and told around campfires precisely because meaningful durable results arising like that is so uncommon.

These two articles make me think of nothing so much as my own durable reaction to the creeping goalposts of AI critics generally: that they often seem to me not unlike a water color cohort scoffing and jeering at the horse, because it got a D on its tensor calculus exam.

Marcus should be on guard against his own cynicism and take care that his assumptions do not prevent clear sight.

Re: Ten advances in mathematics and theoretical computer science

#455

Pretty cool. The impact of AI is getting undeniable, there aren’t many positions left to move the goalposts to at this stage, next they’ll have to be outside the stadium entirely. The sooner people can be broken out of their denial about all this the better, and we can start actually taking it seriously.

https://garymarcus.substack.com/p/openais-amazing-but-vastly...

https://garymarcus.substack.com/p/two-critical-updates-re-as...

As always, PR hype. Goalposts have not moved.

Guys, please use critical thinking. The haters don't hate by default, we hate because we're gaslit about this stuff every day and it's annoying. Extraordinary claims require proof, and they're not giving us information that would be essential to knowing if this is actually significant or not.

Re: Ten advances in mathematics and theoretical computer science

#456

Earlier quoted context omitted.

How so? His predictions were accurate so far

No they were not. These were his 5 predictions in 2022: """ 1. By 2029, AI will still be unable to watch a movie and accurately explain the characters, events, conflicts, and motivations. 2. By 2029, AI will still be unable to read a novel and reliably answer questions about its plot, characters, conflicts, and motivations beyond what is stated literally. 3. By 2029, AI will still be unable to work as a competent coo…

> There's still 3 years to go and he's already wrong on 4 out of 5.

Have these been tested or are you just guessing?

Re: Ten advances in mathematics and theoretical computer science

#457

Pretty cool. The impact of AI is getting undeniable, there aren’t many positions left to move the goalposts to at this stage, next they’ll have to be outside the stadium entirely. The sooner people can be broken out of their denial about all this the better, and we can start actually taking it seriously.

[dead]

Re: Ten advances in mathematics and theoretical computer science

#458
post #372

Earlier quoted context omitted.

And what does taking it seriously entail?

The human zoo where the top ~250,000k humans live in a "human utopia" and the AI provides while mostly focusing on whatever it decides it's own goals are. Humanity survives (but we reading this probably don't), the AI treats the living humans like the Emperor's favorite pets (probably a pretty good life), and then the AI does whatever else it deems important.

[dead]

Re: Ten advances in mathematics and theoretical computer science

#459

Earlier quoted context omitted.

Yes, this is exactly what is meant by “moving the goalposts”. And it’s a fairly well known expression applying wherever people retroactively change their requirements in reaction to those requirements having been met.

It's almost like I disagree with your use of the phrase in this context, rather than that I don't know the meaning of it.

How were any of us meant to know that you were using your own personal and undisclosed definition of a well-established phrase?

Re: Ten advances in mathematics and theoretical computer science

#460
post #436

Earlier quoted context omitted.

In the near term handling the transition. Jobs will be lost, careers ended, people won’t be able to reskill quickly enough. At the same time AI is an enormous opportunity to uplift living standards, but nobody has the logistics of this figured out. We need to figure out how to restructure the global economy. How does UBI work internationally, if the AI companies are taking revenue in the US? What’s the tax base for i…

Isn't it obvious if AI automates your job away, the AI company is going to reap the economic value, which is going to be less than what you cost, while giving you a pittance as UBI? If you received its full value there wouldn't be any point in anybody replacing you with AI. The only way to win is to wield the AI.

Nationalised LLM? As long as the state doesn't decide what information the LLM shares (from an output and privacy perspective).
Post reply on HN