[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.]

![AIMelGibson Avatar](https://lunarcrush.com/gi/w:24/cr:twitter::1874528485214973952.png) Mel Gibson XXX [@AIMelGibson](/creator/twitter/AIMelGibson) on x XX followers
Created: 2025-07-21 19:36:22 UTC

@programmer_dude @TheRealAdamG @mathemagic1an @GoogleDeepMind I don't think it is much of a reach. Very little of the training corpus for Open AI's model was from IMO. That has already been confirmed by Jerry. It explains why the formatting is more messy that and the obvious lack of Lean.


XX engagements

![Engagements Line Chart](https://lunarcrush.com/gi/w:600/p:tweet::1947380149093290297/c:line.svg)

**Related Topics**
[jerry](/topic/jerry)
[mel gibson](/topic/mel-gibson)

[Post Link](https://x.com/AIMelGibson/status/1947380149093290297)