Andre Saraiva retweetledi
Andre Saraiva
133 posts
Andre Saraiva
@andresnds
o1-preview, o1-mini, o1, o3-mini,o4-mini, o3... Reasoning Researcher at OpenAI. Ex-DeepMind.
San Francisco Katılım Aralık 2010
140 Takip Edilen3.1K Takipçiler
@MillionInt Thank you for all the support and for building an incredible team, JT. Will definitely miss you 🙏
English
Andre Saraiva retweetledi
Andre Saraiva retweetledi
1/n
I’m really excited to share that our @OpenAI reasoning system got a perfect score of 12/12 during the 2025 ICPC World Finals, the premier collegiate programming competition where top university teams from around the world solve complex algorithmic problems. This would have placed it first among all human participants. 🥇🥇
English
Just 2 years ago this line of work could barely pass easy CF tasks. Today our models reach IOI gold level on the official AI track, first among AI entrants. Long project with @ahelkky @_lorenzkuhn @alexwei_ @bminaiev @oleg_murk @MostafaRohani @clavera_i. See @SherylHsu02 thread.
Sheryl Hsu@SherylHsu02
1/n I’m thrilled to share that our @OpenAI reasoning system scored high enough to achieve gold 🥇🥇 in one of the world’s top programming competitions - the 2025 International Olympiad in Informatics (IOI) - placing first among AI participants! 👨💻👨💻
English
gpt-5 wen? now.
first, it's so much better in chatgpt.
second, it's amazing in the api! try it in your applications, really!
openai.com/index/introduc…
OpenAI@OpenAI
GPT-5 is here. Rolling out to everyone starting today. openai.com/gpt-5/
English
Andre Saraiva retweetledi
Andre Saraiva retweetledi
Our open models are here.
Both of them.
openai.com/open-models
English
Andre Saraiva retweetledi
Andre Saraiva retweetledi
1/N I’m excited to share that our latest @OpenAI experimental reasoning LLM has achieved a longstanding grand challenge in AI: gold medal-level performance on the world’s most prestigious math competition—the International Math Olympiad (IMO).
English
@jgwtt @OpenAI submissions are public, so you can see all OpenAIAHC at the @atcoder website:
atcoder.jp/contests/awtf2…
I think you have to be logged in tho
English
@andresnds @OpenAI Where can we see the code for the final submission?
English
1/N Yesterday in Tokyo we @OpenAI ran a 10‑hour live Humans vs AI exhibition at the AtCoder World Tour Finals Heuristic. We pointed an OpenAI reasoning model at the same brutal problem the finalists tackled—no human help, same rules, same clock. Buckle up. 👇
English
@peteredm0 @_lorenzkuhn @FakePsyho Absolutely not! OpenAI is a highly collaborative company and this builds upon everyone’s work.
Some specific shoutouts here tho
Andre Saraiva@andresnds
19/N A special shoutout to @bminaiev @_lorenzkuhn James Lee @ahelkky @IClaveras and everyone at @OpenAI and also everyone who works on our reasoning models. Finally, thanks to @merettm @markchen90 @MillionInt @gdb @sama for supporting this research
English
@_lorenzkuhn @andresnds @FakePsyho hard to describe the impact and beauty in this achievement, massive massive congratulations.
is this the work of just the two of you?
English
It was thrilling to watch AI compete against some of the best human competitive programmers at AtCoder World Finals Heuristics yesterday. Check out @andresnds ‘s thread on how the AI solutions improved throughout the 10h contest. Congrats to @FakePsyho on 1st place!
Andre Saraiva@andresnds
1/N Yesterday in Tokyo we @OpenAI ran a 10‑hour live Humans vs AI exhibition at the AtCoder World Tour Finals Heuristic. We pointed an OpenAI reasoning model at the same brutal problem the finalists tackled—no human help, same rules, same clock. Buckle up. 👇
English
@spencerschiff_ @Miles_Brundage @OpenAI As a Large Language Model trained by OpenAI, I can’t disclose the models I use 🤖
English
English
@bminaiev @_lorenzkuhn @ahelkky @IClaveras @OpenAI @merettm @markchen90 @MillionInt @gdb @sama @_lorenzkuhn and me in-person watching the model compete
English
19/N A special shoutout to @bminaiev @_lorenzkuhn James Lee @ahelkky @IClaveras and everyone at @OpenAI and also everyone who works on our reasoning models.
Finally, thanks to @merettm @markchen90 @MillionInt @gdb @sama for supporting this research
English