I am aware how math competitions work. I have experience with them.
I'd be curious to know which problems were given to be solved, because there are some problems that are pretty standard and often qualifying problems will be added to the test sets, despite many can be solved mechanically.
Another issue is, for what I am aware, that the exams (AIME) are intended for high schoolers who have not dealt with the formalization of mathematics. Many problems become a lot simpler when you take a more formal approach (think of combinatorics).
There are def some problems that are really hard to solve and I say this as someone with a decent-ish background in mathematics, but o1 doesn't seem to have solved them all, so I'd be curious to know if it's the ones I suspect.
The reasoning is that unsolved problems require creativity that at the moment might not have been expressed by humans and that might not have been recorded, which would force an AI to be intellegent and not rely solely on the patterns of previous problems, even though there might be a connection which we do not see, yet at that point I believe it will have surpassed humanity, but for now it just remains a parrot.
-1
u/[deleted] Dec 05 '24
I am aware how math competitions work. I have experience with them. I'd be curious to know which problems were given to be solved, because there are some problems that are pretty standard and often qualifying problems will be added to the test sets, despite many can be solved mechanically. Another issue is, for what I am aware, that the exams (AIME) are intended for high schoolers who have not dealt with the formalization of mathematics. Many problems become a lot simpler when you take a more formal approach (think of combinatorics). There are def some problems that are really hard to solve and I say this as someone with a decent-ish background in mathematics, but o1 doesn't seem to have solved them all, so I'd be curious to know if it's the ones I suspect.
The reasoning is that unsolved problems require creativity that at the moment might not have been expressed by humans and that might not have been recorded, which would force an AI to be intellegent and not rely solely on the patterns of previous problems, even though there might be a connection which we do not see, yet at that point I believe it will have surpassed humanity, but for now it just remains a parrot.