Live data from Hacker News

Ten advances in mathematics and theoretical computer science

openai.com

351–360 of 1001 posts

Re: Ten advances in mathematics and theoretical computer science

#351
post #291

Earlier quoted context omitted.

Grad students on zero pay solve problems like this everyday. What exactly is your point here?

Grad students do not solve problems such as the existence of non-sofic groups every day.

Plenty of 'advances in mathematics' done pre-llm, no?

Re: Ten advances in mathematics and theoretical computer science

#352

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.

So you defined your own idiosyncratic version of "moving the goalposts" and used it to rebut his argument, with a condescending "you understand that's how science works, right?"--instead of being honest that it is you who are changing the definition, and not his failure to understand anything.

I don't see how that's any better.

Re: Ten advances in mathematics and theoretical computer science

#353

After skimming some of the writeups, I'm surprised that the frontier internal model still writes just as poorly as Sol. Maybe good AI paper writing is further away than I thought...

You mean we're still gonna be employed doing the boring part while AI gets to do the fun part?

I'd honestly rather they just automate every job at that point.

Re: Ten advances in mathematics and theoretical computer science

#354

Earlier quoted context omitted.

Never understood all this talk about moving goalposts - you understand that's how science works, right? We improve, we learn, we recalibrate our expectations based on what we've learned. If we never "moved the goalposts", we'd be stuck scoring the same goals over and over.

> We improve, we learn, we recalibrate our expectations based on what we've learned. That's not what people mean when they say "moving the goalposts". It means that people are adamant that something wasn't important/hard/impressive once the "AI" solves it. And then they come up with another thing that needs to be solved in order to prove it is important/hard/impressive. And once that happens, they do it again. And ag…

What you are doing is "motte and bailey".

The motte is "AI useful". The bailey is "Singularity is nigh".

Re: Ten advances in mathematics and theoretical computer science

#355

Earlier quoted context omitted.

Never understood all this talk about moving goalposts - you understand that's how science works, right? We improve, we learn, we recalibrate our expectations based on what we've learned. If we never "moved the goalposts", we'd be stuck scoring the same goals over and over.

They aren't claiming that science doesn't progress by moving goal posts. They're talking about how critics of AI have claimed it isn't revolutionary/useful, then progressively changed what would it mean for AI to be actually revolutionary/useful. Not long ago many folks were saying AI was the same as the crypto bubble. No real useful technology and only hype.

Did you know that "revolutationary" is not equivalent to "useful", and "revolutionary" is quite ambiguous?

Re: Ten advances in mathematics and theoretical computer science

#356

In a way the most remarkable thing about this is that it isn't even at the top of the HN homepage. Even if this is a step up from what we've seen before, we're no longer astonished by the idea that AI can make significant advances in mathematics and computer science.

This is not at the top as it is actively flagged by people that can't psychologically cope with the advances of AI. Hacker News is no longer a web site of an elite.

It wasn't heavily flagged. It was pulled down by the flamewar detector due to the large number of comments, and it slid under the radar due to only hitting the front page during overnight hours on Friday night/Saturday morning. It still spent 10 hours on the front page, but all during off peak hours. I've now created a new copy of the post so it can have prime time exposure.

Re: Ten advances in mathematics and theoretical computer science

#358

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.

"AI" has limits in that it cannot invent knowledge, it can only distill and search for patterns in existing knowledge

not sure how many will get this reference but "AI" for science and math is like super-shoes for runners

at first we are blown away by the impossible improvements including sub-2-hour realworld marathon and every other PR/CR/WR is dialed down

but then the improvements slow and reach a stall point because of the limit of technology and the source of the achievement

ie. sub-2-hour marathon yes, sub-1-hour never happening (rollerblade inline-skate record is 1-hour marathon)

Re: Ten advances in mathematics and theoretical computer science

#359
post #357

Not peer reviewed, Lean proofs are 100,000 lines long and Lean has bugs: https://cr.yp.to/proofs.html Who is going to wade through this?

They've been hiring mathematicians to verify this stuff themselves. They're obviously not just throwing it out there without any human review.
Post reply on HN