🏅 Top traders

I'm told that the jump from 1/6 -> 4/6 is much smaller than 4/6 to 6/6

Note that AFAIK they still haven't released any info on which problems they claim to solve. The November article is full of very basic mistakes and it's uncertain whether the technical staff on the project had been consulted for writing it at all.

@dp The example given in the paper is from IMO 1964 problem 1

(a) Find all positive integers n for which 2^n - 1 is divisible by 7.

(b) Prove that there is no positive integer n for which 2^n +1 is divisible by 7.

A solution to (b) is given in the paper. This is, of course, an absurdly easy problem. A regular CAS can probably solve this and a large family of similar congruences deterministically, no AI needed. After the initial few years, all IMO problems have been significantly harder than this.

@sbares I'm talking about the claimed 10 problems; there was no list of problems anywhere last time I checked

@dp Yeah, I'm merely speculating that this one problem might be representative of the difficulty of the other nine. I think if it was capable of solving non-trivial problems, the authors would be eager to brag about those instead.

Will any AI solve >=100 IMO problems by the start of 2024?, 8k, beautiful, illustration, trending on art station, picture of the day, epic composition