News for hackers. Stuff that matters.

A comment on $10M AI Mathematical Olympiad Prize. Parent comment

Re:$10M AI Mathematical Olympiad Prize by daxfohl on Monday November 27, 2023 @10:10AM (#38433119)
In a way, all math proofs already exist. Humans just have to determine what is worth looking for and uncover them. AI will help us do the latter. But we still have to do the former ourselves.

It will still require sound mathematical knowledge and understanding, to know what are the interesting questions to ask. Even if AI knows all the answers, it doesn't change anything because the answers already exist anyway.

[ Parent | on HN ]
Re:$10M AI Mathematical Olympiad Prize by andyjohnson0 on Monday November 27, 2023 @10:42AM (#38433577)
That kind of Platonism also implies that all possible computer programs already exist: because any program is merely a very large natural number, the set of which has infinite cardinality. I'm not sure how helpful this is for the practice of humans doing mathematics or software development though.
[ Parent | on HN ]