28 ms·

Yeah, I confirmed this at the time. Neither OpenAI nor Gemini used tools as part of their IMO gold medal performances. Here's OpenAI's tweet about this: https:

by simonw 1y ago

Yeah, I confirmed this at the time. Neither OpenAI nor Gemini used tools as part of their IMO gold medal performances. Here's OpenAI's tweet about this: https://twitter.com/SebastienBubeck/status/1946577650405056722 https://twitter.com/SebastienBubeck/status/19465776504050567... > Just to spell it out as clearly as possible: a next-word prediction machine (because that's really what it is here, no tools no nothing) just produced genuinely creative proofs for hard, novel math problems at a level reached only by an elite handful of pre‑college prodigies. My notes: https://simonwillison.net/2025/Jul/19/openai-gold-medal-math-olympiad/ https://simonwillison.net/2025/Jul/19/openai-gold-medal-math... They DID use tools for the International Collegiate Programming Contest (ICPC) programming one though: https://twitter.com/ahelkky/status/1971652614950736194 https://twitter.com/ahelkky/status/1971652614950736194 > For OpenAI, the models had access to a code execution sandbox, so they could compile and test out their solutions. That was it though; no internet access.

emp17344 1y ago
We still have next to no real information on how the models achieved the gold medal. It’s a little early to be confirming anything, especially when the main source is a Twitter thread initiated by a company known for “exaggerating” the truth.
- simonw 1y ago
  If you're not going to believe researchers when they tell you how they did something then sure, we don't know how they did it. Given how much bad press OpenAI got just last week[1] when one one of their execs clumsily (and I would argue misleadingly) described a model achievement and then had to walk it back amid widespread headlines about their dishonesty, those researchers have a VERY strong incentive to tell the truth. [1] https://techcrunch.com/2025/10/19/openais-embarrassing-math/ https://techcrunch.com/2025/10/19/openais-embarrassing-math/
  - emp17344 1y ago
    Any company will apologize when they receive bad press. That’s basic corporate PR, not integrity.
    - simonw 1y ago
      It illustrates that there is a real risk to lying about research results: if you get caught it's embarrassing. It's also worth taking professional integrity into account. Even if OpenAI's culture didn't value the truth individual researchers still care about being honest.
      - emp17344 1y ago
        This exact statement could be said about literally any corporation or organization. And yet, corporations still lie and mislead, because deception helps you make money and acquire funding. In OpenAI’s case, this isn’t exactly the first time they’ve been caught doing something ethically misguided: https://techcrunch.com/2025/01/19/ai-benchmarking-organization-criticized-for-waiting-to-disclose-funding-from-openai/ https://techcrunch.com/2025/01/19/ai-benchmarking-organizati...
        simonw 1y ago
        That story feels very different to me from straight up lying about whether a mathematical competition result used tools or not.
- famouswaffles 1y ago
  Well Google got the same results and the official body confirmed that. Would it be nice to know exactly how it was done ? Sure, but this is something that happened.

by simonw 1y ago

emp17344 1y ago

We still have next to no real information on how the models achieved the gold medal. It’s a little early to be confirming anything, especially when the main source is a Twitter thread initiated by a company known for “exaggerating” the truth.

simonw 1y ago
If you're not going to believe researchers when they tell you how they did something then sure, we don't know how they did it. Given how much bad press OpenAI got just last week[1] when one one of their execs clumsily (and I would argue misleadingly) described a model achievement and then had to walk it back amid widespread headlines about their dishonesty, those researchers have a VERY strong incentive to tell the truth. [1] https://techcrunch.com/2025/10/19/openais-embarrassing-math/ https://techcrunch.com/2025/10/19/openais-embarrassing-math/
- emp17344 1y ago
  Any company will apologize when they receive bad press. That’s basic corporate PR, not integrity.
  - simonw 1y ago
    It illustrates that there is a real risk to lying about research results: if you get caught it's embarrassing. It's also worth taking professional integrity into account. Even if OpenAI's culture didn't value the truth individual researchers still care about being honest.
    - emp17344 1y ago
      This exact statement could be said about literally any corporation or organization. And yet, corporations still lie and mislead, because deception helps you make money and acquire funding. In OpenAI’s case, this isn’t exactly the first time they’ve been caught doing something ethically misguided: https://techcrunch.com/2025/01/19/ai-benchmarking-organization-criticized-for-waiting-to-disclose-funding-from-openai/ https://techcrunch.com/2025/01/19/ai-benchmarking-organizati...
      - simonw 1y ago
        That story feels very different to me from straight up lying about whether a mathematical competition result used tools or not.
famouswaffles 1y ago
Well Google got the same results and the official body confirmed that. Would it be nice to know exactly how it was done ? Sure, but this is something that happened.