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

111–120 of 231 posts

Re: $10M AI Mathematical Olympiad Prize

#111

Post by disgruntledphd2 »

larodi wrote: post #91
anonylizard wrote: post #59

Earlier quoted context omitted.

Fingers are already mostly solved. The latest models draw hands better than most human artists. I think artists would disagree with your assessment of 'approximate pattern recognition'. Its more like： 1. Given a set of words describing what the user wants. 2. Arrange pixels in a grid 3. That maximizes the user rating On one hand it is tolerant of small errors. On the other hand its an extremely broad problem. Also to…

Well this thing about fingers, etc in drawings. Lets put it this way - for us mere mortals the generative images look very much okay. To artists and people who actually draw something, well ... they very often spot inconsistencies in the whole production, including how fingers, arms, overall body posture, etc is presented. So it is exactly what we can expect - good enough on average, but actually a mediocre result of…

It's a weighted average over the prompts and data. Mediocrity is exactly what we'd expect from such an approach.

Now, if we end up seeing mastery, that would be extremely interesting.

Re: $10M AI Mathematical Olympiad Prize

#112

Post by realharo »

nickfromseattle wrote: post #19
adhocmobility wrote: post #16

Earlier quoted context omitted.

I think its pretty clear that in the coming decade intelligence and cognitive labor is going to become very cheap. So your kid should develop some skills outside of that to stay competitive in the job market.

Any suggestions?

Stockpile metals and rare earth elements. Natural resources will be the beginning and the end of trade.

(not actually serious, at least not yet)

Re: $10M AI Mathematical Olympiad Prize

#113

Post by BeetleB »

andyjohnson0 wrote: post #15

As the parent of a young adult currently half way through their maths undergrad, this kind of fills me with foreboding. I know that proof assistants etc have existed for quite a while now, but what with this and the murmours about OAI's Q* model, I do wonder what will happen to maths as a human endeavour - and as a enabling skill for jobs that can financially support people like my child.

I hate to break it to you but most people with math degrees aren't doing math jobs today. The demand for such skills is low. While such an AI may displace some of the few jobs that do involve heavy math, it's likely your child will not be in that category.

I wouldn't worry too much.

Re: $10M AI Mathematical Olympiad Prize

#114

Post by WhitneyLand »

dmd wrote: post #106
WhitneyLand wrote: post #104

Earlier quoted context omitted.

That’s helpful thank you. Would you mind trying it 4 times and tell how many succeed? I see it work occasionally but seems See here: https://chat.openai.com/share/6da22a7b-b8f8-4611-b5f7-38048f...

Worked 6/6 times for me.

Bizarre, I don’t see how this could be chance.

I’m using mostly the ChatGpt client with GPT-4 and no special instructions.

Maybe you’re using a model variation via the public API?

Re: $10M AI Mathematical Olympiad Prize

#116

Post by openquery »

Can automated theorem provers solve mathematical olympiad problems in a reasonable time given enough compute?

LLMs are quite good at generating semantically correct language. I remember reading a paper about extending the planning capabilities of GPT-4 by using a Planning Domain Definition Language [0]. By that same logic could an LLM not translate the olympiad problem into a form suitable for a theorem prover?

[0] https://arxiv.org/pdf/2305.11014.pdf

Re: $10M AI Mathematical Olympiad Prize

#117

Post by ackbar03 »

alecco wrote: post #90

Very cool of XTX. They are a solid company with very smart people. But wouldn't a model capable of doing this be currently worth hundreds of millions? A billion?

That's why they only offer 10 million.

If you want, you can offer 100mio, I'll join your competition instead

Re: $10M AI Mathematical Olympiad Prize

#119

Post by byteware »

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…

talking as someone who is building such a system, why would an avarage participant of the network give their own money, i dont think they would for the same reason i'm not running a bounty program with my dollars, the only use of having it on the blockchain is rewards without using your own money (so it's economics depends on the eventual value of the coin), for that it has to be bound to the minting process, but a purely algorithmic system for determining who gets how much based on their proofs seems elusive (think of the infinite possible proofs 1+2=3, 1+3=4...), we are going for having a central authority doing the minting for proofs (as voting based on money would hardly reflect mathematical experties)

Re: $10M AI Mathematical Olympiad Prize

#120

Post by dmd »

WhitneyLand wrote: post #114
dmd wrote: post #106

Earlier quoted context omitted.

Worked 6/6 times for me.

Bizarre, I don’t see how this could be chance. I’m using mostly the ChatGpt client with GPT-4 and no special instructions. Maybe you’re using a model variation via the public API?

I’m using gpt-4-turbo
Post reply on HN