Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Ten advances in mathematics and theoretical computer science

openai.com

Post reply on HN
Print view View original

501–510 of 1001 posts

Re: Ten advances in mathematics and theoretical computer science

#501

Post by paulmist »

ultimatefan1 wrote: post #118

one of the early premises of how ai takeoff would go was that a system that could solve open problems in advanced mathematics would also discover novel advances in math and computer science that directly unlock drastically better software performance. we are seeing frontier level math breakthroughs (ie performance that would put it in the top 100 or 1000 mathematicians in the world if it were a human, meaning top .00…

Correct me if I'm wrong, but all of the aforementioned advances were made in the last year? Until very recently few people had access to these tools. Most people still don't know how to use ChatGPT, and very few use tools like CC regularily. If in a few years these frontier tools become commonplace and people upskill we would should see a network effect?

Re: Ten advances in mathematics and theoretical computer science

#502

Post by Legend2440 »

fhfncjcc wrote: post #497
Chance-Device wrote: post #105

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.

The models are frequently getting worse at items that they aren’t being benchmarked for — and that’s happening more and more over time! Other people in other fields aren’t idiots, they are accurately perceiving the fact that these models are being hyper optimized for our industry, and are becoming less capable in other domains over time. Models of the same scale are massively worse at writing a broad variety of style…

Proof?

In my experience modern models are better at all tasks than models from two years ago, especially complex multi-step tasks.

Re: Ten advances in mathematics and theoretical computer science

#503

Post by [deleted] »

kypro wrote: post #371

I want to iterate the most important thing about this is that it's yet more evidence of AI's accelerating competency in solving math and comp sci problems, and suggests we're now getting close to the point where you could throw AI at AI research challenges (which are largely just math and comp sci problems) and potentially find very real algorithm improvements. AI development is likely to be more compute bottlenecked…

[deleted]

Re: Ten advances in mathematics and theoretical computer science

#504

Post by dwaltrip »

scarmig wrote: post #414
8note wrote: post #385

Earlier quoted context omitted.

to an extent zitron is saying its not useful, but as a more nuanced opinion, "ai is not cost effective, nor is it improving profits or revenue"

From a random article I grabbed of his ( https://www.wheresyoured.at/subprimeai/ ): "it isn't clear whether generative AI actually provides much business value at all" "cannot seem to find a product that people will pay for, in part because the results are so mediocre" "Last week, we got our first real, definitive glimpse of what’s around that corner that future. And boy, was it underwhelming." "OpenAI claims that o1…

It’s comical and honestly incredibly embarrassing…

But it seems we have somehow optimized away shame. It wasn’t good for profits, I guess.

Re: Ten advances in mathematics and theoretical computer science

#505

Post by matsemann »

Chance-Device wrote: post #105

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.

Which straw man are you arguing against?

Re: Ten advances in mathematics and theoretical computer science

#506

Post by whimsicalism »

applicative wrote: post #491
Chance-Device wrote: post #105

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.

It is a fact of experience, and indeed effectively a theorem, that the better they get at coding and math, the dumber they are. These are the wages of RLVR etc

completely false

Re: Ten advances in mathematics and theoretical computer science

#507

Post by titanix88 »

How do we know that these solutions don't exist in the training data? It is open secret that they have used pirated materials for training. Perhaps it plagiarized solutions from works of some obscure Belgian mathematician from the sixties, who did not get mainstream acceptance. I wouldn't be surprised if they also got access to mathematics done in the "defense contractor" setting from various three letter agencies.

Without a searchable index of training data, it is hard to put faith into these claims.

Re: Ten advances in mathematics and theoretical computer science

#508

Post by whimsicalism »

Chance-Device wrote: post #105

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.

it is very hard for people to eat crow, as the replies will show

Re: Ten advances in mathematics and theoretical computer science

#509

Post by reducesuffering »

xpct wrote: post #380
kypro wrote: post #371

I want to iterate the most important thing about this is that it's yet more evidence of AI's accelerating competency in solving math and comp sci problems, and suggests we're now getting close to the point where you could throw AI at AI research challenges (which are largely just math and comp sci problems) and potentially find very real algorithm improvements. AI development is likely to be more compute bottlenecked…

Okay, let's take it seriously. What do you propose? What can your average person do to prepare for RSI beyond bracing themselves mentally?

You can not prepare or brace yourself mentally any more than you can a terminal cancer diagnosis. An RSI foom right now means an unaligned superintelligence will disregard us in pursuit of its goals. We would be ants in the way of a data center being constructed. All people can do is collectively support the notion, like 1200+ frontier AI researchers and their CEOs, that we do not have control of where this is headed, we need to immediately slow down the race, in time for people to agree that we do not have the capability to align a superintelligence to humanity’s wishes

Re: Ten advances in mathematics and theoretical computer science

#510

Post by ken47 »

titanix88 wrote: post #507

How do we know that these solutions don't exist in the training data? It is open secret that they have used pirated materials for training. Perhaps it plagiarized solutions from works of some obscure Belgian mathematician from the sixties, who did not get mainstream acceptance. I wouldn't be surprised if they also got access to mathematics done in the "defense contractor" setting from various three letter agencies. W…

This wouldn't be a problem so long as they properly attribute.
Post reply on HN