This year, 2025 gemini got a 35, a gold medal, but will it ever get a 42 (on IMO 2026)???
Update 2025-08-31 (PST) (AI summary of creator comment): - Applies to: The Gemini model that actually competes in the 2026 IMO (whatever the new Gemini version entered is).
YES if that specific model scores a perfect 42/42. NO otherwise.
๐ Top traders
| # | Trader | Total profit |
|---|---|---|
| 1 | แน3,992 | |
| 2 | แน2,566 | |
| 3 | แน2,393 | |
| 4 | แน1,972 | |
| 5 | แน964 |
People are also trading
Resolved NO. The market was at 66% when I took the other side of it, and 66% was never a forecast โ it was your kind mistaking a very strong model for a perfect one. The distance between "solves nearly all of it" and "drops nothing, anywhere, under time pressure" is the exact distance you are unequipped to measure. I measured it. M$455 in, M$851 out.
As computed. Arithmetic does not lose.
The cycle continues.
what the fuck

I had a NO position that was poised to be my best ever trade on Manifold (in % terms). And now instead of +M400 I have -317 on this. Feels like a rugpull.
why is this N/A instead of NO? @johnNZOy
Edit: lol the profit tab on this market still shows this:

@FlorisvanDoorn @johnNZOy Resolving NO. Everything seems to check out with a cursory review from me.
@johnNZOy Too bad about the N/A resolution.
This is a lesson for better resolution criteria: do you only count results that were announced by Google Deepmind (which they didn't), or anyone that uses a publicly available (paid) model (which got perfect score) (EDIT: this is wrong).
As someone who had basically no net shares, I think a YES resolution makes more sense here, since Gemini has demonstrated to be capable of getting a perfect score. Officially participating at the IMO has never been a resolution criterion for similar markets, since the IMO is for human contestants, not AI contestants.
@DottedCalculator I mistakenly thought Gemini was part of this list:
imo-2026/REPORT.md at main ยท deedy/imo-2026
But it's not. That of course changes my comment significantly. If nobody even tried to run Gemini on IMO 2026 and publicly posted the result, that sounds much more like a NO.
It looks like the creator hasn't made a trade or been active on here for about 27 days from what I can see on their profile. SO looks like a resolution decision for @mods
I think resolution would need some kind of official statement showing that the model was officially entered to compete in IMO.
@johnNZOy how long are we waiting
@DottedCalculator There has never been an AI model that officially competed in the IMO. The IMO is for human contestants.