Some people have speculated that instead of naming the next major iteration of their reasoning models o4, OpenAI will keep tripling the number, and therefore announce o9. If they announce o9 as the major next iteration of their reasoning model, this market resolves YES.
Otherwise, this market resolves NO.
Note that this market doesn't require that OpenAI release this model to the public, only that public, official information be known about this model.
1,000
3.00@derikk they are actually counting by cumulative sum of natural numbers 1, 1+2. So the next model will be o6 (1+2+3)
@derikk Actually they are using fubini numbers: https://oeis.org/A000670
The next one is going to be 13.
Source: it was revealed to me in a dream.
i thought this was likely but then i learned of https://o9solutions.com/partners/microsoft/. so maybe not