[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.]

[@trevposts](/creator/twitter/trevposts)
"Then: - FrontierMath turned out to be easier than I realized and it turned out OpenAI had access to some of the problems beforehand. - o3 actually got released and didn't seem that much better than o1 (though it is better) - Time just passed without anything crazy happening"  
![@trevposts Avatar](https://lunarcrush.com/gi/w:16/cr:twitter::1532808182.png) [@trevposts](/creator/x/trevposts) on [X](/post/tweet/1946358217543680047) 2025-07-18 23:55:35 UTC 3180 followers, 1064 engagements


"Back for my monthly few minutes on Twitter and the main thought I want to share is that it seems like AI progress in H1 2025 was much slower than I feared after the crazy o3 benchmark numbers in December so I now put less weight on very short (e.g. AI 2027-type) timelines"  
![@trevposts Avatar](https://lunarcrush.com/gi/w:16/cr:twitter::1532808182.png) [@trevposts](/creator/x/trevposts) on [X](/post/tweet/1946355961800905018) 2025-07-18 23:46:37 UTC 3179 followers, 8006 engagements