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

81–90 of 231 posts

Re: $10M AI Mathematical Olympiad Prize

#81

Post by Davidzheng »

auggierose wrote: post #54
Davidzheng wrote: post #32

Earlier quoted context omitted.

I don't think it's true that "math departments have been closing for a while now"

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.

Re: $10M AI Mathematical Olympiad Prize

#82

Post by falcor84 »

Yhippa wrote: post #68

I'm asking this question out of ignorance: if you were able to do this, why would you make it public for $10MM instead of keeping it private and exploiting it. Say, in algorithmic trading models?

I'm answering this out of naivete: some people want to benefit humankind over their personal interests.

Re: $10M AI Mathematical Olympiad Prize

#83

Post by kevinbuzzard »

Davidzheng wrote: post #60
spi wrote: post #48

Earlier quoted context omitted.

A decent start? It says absolutely nothing about how to solve it, except repeating the question. The part where it tries out the few first numbers is entirely wrong, given that 6 does _not_ satisfy the condition (2 does not divide 3+6=9) and 8 _does_ (2 does divide 4+8=12). Amusingly, the list of the integers Given that GPT4 is not a model but a full product, behind the scenes it probably coded up and ran a small pyt…

https://chat.openai.com/share/ad42d09a-b366-4b21-b701-782fc8... . Will you re-evaluate how far GPT4 is from it from the fact that it can guess it's powers of primes?

Do we really know for sure that GPT4 has not seen this problem already?

Re: $10M AI Mathematical Olympiad Prize

#84

Post by Davidzheng »

falcor84 wrote: post #78
Davidzheng wrote: post #37

Earlier quoted context omitted.

It's highly unclear to me what will happen. Probably learning math will be more accessible. But it's unclear how many humans will be involved at the forefront of math research. For example you can imagine a situation where in some parts of math large communities work in a direction guided by a few "visionaries". This sort of thing will not really happen after the commodization of theorem provers. Like instead of an a…

>Probably learning math will be more accessible. I'm not quite sure what you mean. Isn't math already pretty much the most accessible thing that could be imagined? I can't think of any story of someone in the past century who wanted to study math but was unable to, except for reasons prohibiting any sort of academic study whatsoever (e.g. girls in Taliban controlled areas).

I don't think research math is that accessible! Granted theoretically it's possible to just read papers and do research--and possibly it's theoretically as accessible as possible. In practice people learn better with teachers and access to experts at the research level. If this pans out, we can commoditize access to experts (or even experts).

Re: $10M AI Mathematical Olympiad Prize

#85

Post by antoinexp »

anonylizard wrote: post #17
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…

Well math solving is exactly what the rumored Q* is aiming towards too. I don't think it'll take more than 2 years before some LLM + RL system can take the gold medal. I think companies like OpenAI are aiming for something far more ambitious, like solving a millennium prize problem (even with human assistance). That's the kind of news release that'll add another $100 billion to your market cap.

Might depend on the terms you have in mind, but current consensus seems to be more like 4-5 years as we speak on https://www.metaculus.com/questions/6728/ai-wins-imo-gold-me...

Re: $10M AI Mathematical Olympiad Prize

#86

Post by alecco »

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 wish there was a serious study of Dunning-Kruger effect in Silicon Valley.

Re: $10M AI Mathematical Olympiad Prize

#87

Post by larodi »

alecco wrote: post #86
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 wish there was a serious study of Dunning-Kruger effect in Silicon Valley.

your sense of humor is much appreciated. couldn't have said it better. hah :) basically i would suggest the study to expand to everyone doing anything titled AI at this moment.

Re: $10M AI Mathematical Olympiad Prize

#88

Post by Davidzheng »

spi wrote: post #74
spi wrote: post #48

Earlier quoted context omitted.

A decent start? It says absolutely nothing about how to solve it, except repeating the question. The part where it tries out the few first numbers is entirely wrong, given that 6 does _not_ satisfy the condition (2 does not divide 3+6=9) and 8 _does_ (2 does divide 4+8=12). Amusingly, the list of the integers Given that GPT4 is not a model but a full product, behind the scenes it probably coded up and ran a small pyt…

(I'm also replying myself concerning the problem itself). Unless I'm getting myself completely wrong, this also seems to be a very unusually simple problem for IMO's standards. I don't think I ever got myself solving one of them when I tried in the past, but if I'm not fooling myself the most natural approach for this one seems to bring to the solution: 1) Look at the two smallest divisors 1 q = a p, which is impossi…

haha yeah seems like there's like only three things to do.

1)notice it's prime powers

2)notice that 1,p,p^2 eventually leads to contradiction

3)use the last part of the factorization to rule out 1,p,q

I couldn't get GPT4 to do either 2 or 3 even with hints. It's surprising that either due to context length or something else I feel like its reasoning abilities are worse when you try to guide it. But maybe this is true for humans too.

Re: $10M AI Mathematical Olympiad Prize

#89

Post by baq »

7373737373 wrote: post #11

It would be cool to have a Patreon-like system for math proofs. But to reward solvers appropriately and at scale, the award conditions and evaluation would have to be very formalized and specific. This seems to be one potential, actually useful application of blockchains which support general purpose computing - if you can port a proof verifier onto them, you give anyone the ability to commit to (and claim) proof bou…

I don't think you need the blockchain to post a verifiable, cryptographically signed proof of any theorem. A simple email is good enough for that.

Blockchains are append-only databases, sometimes (usually?) with 'slow' thrown in somewhere.

Post reply on HN