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

$10M AI Mathematical Olympiad Prize

aimoprize.com

Post reply on HN
Print view View original

161–170 of 231 posts

Re: $10M AI Mathematical Olympiad Prize

#161

Post by haltist »

Der_Einzige wrote: post #157
haltist wrote: post #92

Earlier quoted context omitted.

I sense you are a techno-optimist.

Techno optimism is good and should be the default. I wish a16z didn’t ruin that phrase. Techno optimism should evoke Star Trek, not Silicon Valley vibes

The inevitable endpoint is the same, abundance of all resources (almost vacuously) thanks to AI/numbers/people. It is not absurd at all to believe society can be regulated and managed by a large computer with the right software. Society, after all, is just a bunch of numbers, algorithms, and arithmetic. The communists tried to do this some time ago but they just didn't have a big enough computer with the right software (AI). They were on the right track and ironically their mission will be achieved by the capitalists doing nothing other than pursuing monetary profit.

Re: $10M AI Mathematical Olympiad Prize

#162

Post by eddtries »

lupire wrote: post #146
eddtries wrote: post #131

Earlier quoted context omitted.

Alameda Research had some gold medalists iirc!

Yes, but they stopped doing math puzzles when they started trading. Math puzzles aren't how they trade.

Maybe I’m being dumb here but isn’t the brain of one of those people the same, basically, as the model? So if a model can do X and is valued so highly, surely it’s value is pinned on a known brain that matches its skills?

Re: $10M AI Mathematical Olympiad Prize

#163

Post by haltist »

quirino wrote: post #153
haltist wrote: post #94

Earlier quoted context omitted.

It's just a matter of scale because when you add more floating point numbers magical things happen. The magic is called emergence, as in if you have a big enough computer then it can do anything if you prompt it the right way. As a techno-optimist I believe that thinking is simply very complicated arithmetic and by adding enough numbers we can solve any problem.

Depends a lot on how this scales though. If you need 10x as many parameters to get 1% better results for instance, then even if this works it could be impractical.

You gotta be more techno-optimistic. People are just arithmetic and an existence proof that algorithms can be intelligent. People are just math so it's obviously possible to engineer general artififial intelligence with just math and computers. It's all a matter of adding up the right floating point numbers in the right (partial) order (modulo parallelism).

Re: $10M AI Mathematical Olympiad Prize

#164

Post by pixl97 »

Der_Einzige wrote: post #154
pixl97 wrote: post #70

Earlier quoted context omitted.

>There isn’t a rule of economics that says better technology makes more, better jobs for horses. It sounds shockingly dumb to even say that out loud, but swap horses for humans and suddenly people think it sounds about right.

Yes there is actually: https://en.m.wikipedia.org/wiki/Okishio%27s_theorem

Eh, kind of, but maybe not.

It talks about rate of profit over the economy as a whole. It says nothing about the distribution of said profits. Its assumed that human labors are the ones also reaping some of those profits because they are doing labor, hence wages from those labors remain stable. If for some reason there was 0 labor available to you the same premise could hold true, the rate the AI is earning could remain stable, you're just shit out of luck.

Re: $10M AI Mathematical Olympiad Prize

#165

Post by dxbydt »

anonylizard wrote: post #34
dimask wrote: post #29

Earlier quoted context omitted.

Their current ambition is to be able to solve school math, which is quite far away from solving unsolved conjectures or math olympiads. I really doubt that any of this is within LLM/transformer scope, except maybe in some auxiliary sense to other, much different architectures.

Art isn't an easier problem than math. An artbot would have sounded more sci-fi than a mathbot only 2 years ago. Yet it only took the AI world 1.5 years to go from drawing child scribbles to replicating top artists with like 90% similarity (I can barely tell the difference between AI and human drawn art anymore with the new NovelAI model). It won't be long before AI starts to go superhuman in art skills. It won't tak…

> Art isn't an easier problem than math.

If I was asked to draw

a. the emptiness in your heart

b. the lack of furniture in your room

c. your empty bank balance

d. starvation

e. object returned by a python function with no return

...

I could just submit an empty sheet of paper, & an artist would argue that my empty sheet of paper represents any/all of the above.

Now, if I turn in the same empty paper at a math qualifier and argue that it represents the infinite set of real and complex numbers, ergo the answer to the posed qual problem must be in there, I'll get kicked out of that phd program in a jiffy.

Re: $10M AI Mathematical Olympiad Prize

#166

Post by mathteddybear »

lupire wrote: post #158

This is an embarrassing overreach. We don't even have models that can win the far easier AMC, let alone AIME, USAMO, and then IMO.

They don't need to win IMO, they need to get a gold medal. I got a gold medal at IMO solving 4 out of 6 problems

I don't want to speculate, but it's not inconceivable that this will be achieved by AI within the future lifetime of XTX

Re: $10M AI Mathematical Olympiad Prize

#167

Post by civilitty »

dxbydt wrote: post #165
anonylizard wrote: post #34

Earlier quoted context omitted.

Art isn't an easier problem than math. An artbot would have sounded more sci-fi than a mathbot only 2 years ago. Yet it only took the AI world 1.5 years to go from drawing child scribbles to replicating top artists with like 90% similarity (I can barely tell the difference between AI and human drawn art anymore with the new NovelAI model). It won't be long before AI starts to go superhuman in art skills. It won't tak…

> Art isn't an easier problem than math. If I was asked to draw a. the emptiness in your heart b. the lack of furniture in your room c. your empty bank balance d. starvation e. object returned by a python function with no return ... I could just submit an empty sheet of paper, & an artist would argue that my empty sheet of paper represents any/all of the above. Now, if I turn in the same empty paper at a math qualifi…

> I could just submit an empty sheet of paper, & an artist would argue that my empty sheet of paper represents any/all of the above.

And they'd be taken about as seriously as the ads taped to a urinal in a Museum of Modern Art washroom.

Re: $10M AI Mathematical Olympiad Prize

#168

Post by auggierose »

Davidzheng wrote: post #81
auggierose wrote: post #54

Earlier quoted context omitted.

It's an impression I had, I don't know any hard data. For example: https://www.reddit.com/r/math/comments/l7yyir/not_joking_uni... https://www.reddit.com/r/math/comments/15of64l/rumor_west_vi...

I think it's a very unfair assessment to make from these two examples. I think it's like saying Silicon Valley has been shutting down for a while and providing two examples of startups. I will say from my personal impression as someone in pure math, I disagree with this statement.

I don't know what "fair" has to do with that. These are two examples that caught my attention, and I might be wrong that this constitutes a trend. If you have data that says otherwise, please share.

Re: $10M AI Mathematical Olympiad Prize

#169

Post by lern_too_spel »

auggierose wrote: post #26
gregdoesit wrote: post #2

I was recently in Palo Alto, and bumped into a newly founded startup (I don't remember the name unfortunately) who set themselves the grand the vision of exactly this: winning a gold medal on the international Olympiad using AI. Their plan was to build mostly on LLMs as a start, and iterate as they go. In their barebones office space, they had a poster with a countdown of the number of weeks till the event: it was 36…

I don't think anything came out of the Netflix prize, did it?

Matrix factorization was popular in industrial recommender systems for years afterwards, and its ideas are still useful today. https://sifter.org/~simon/journal/20061211.html
Post reply on HN