Hadi Salman (@hadisalmanx) 's Twitter Profile
Hadi Salman

@hadisalmanx

Research Scientist @OpenAI. Previously: PhD @MIT @MSFTResearch @UberATG @SCSatCMU @AUB_Lebanon

ID: 1023452666712666113

linkhttp://hadisalman.com calendar_today29-07-2018 06:18:25

486 Tweet

5,5K Takipçi

352 Takip Edilen

Noam Brown (@polynoamial) 's Twitter Profile Photo

Today, we're releasing OpenAI o3/o4-mini. The eval numbers are SOTA (2700 Elo is among the top 200 competition coders) But what I'm most excited about is the stuff we can't benchmark. I expect o3/o4-mini will aid scientists in their research and I'm excited to see what they do!

Today, we're releasing <a href="/OpenAI/">OpenAI</a> o3/o4-mini. The eval numbers are SOTA (2700 Elo is among the top 200 competition coders)

But what I'm most excited about is the stuff we can't benchmark. I expect o3/o4-mini will aid scientists in their research and I'm excited to see what they do!
OpenAI Developers (@openaidevs) 's Twitter Profile Photo

Meet Codex CLI—an open-source local coding agent that turns natural language into working code. Tell Codex CLI what to build, fix, or explain, then watch it bring your ideas to life.

Mark Chen (@markchen90) 's Twitter Profile Photo

We launched o3 and o4-mini today! Reasoning models are so much more powerful once they learn how to use tools end-to-end. Some of the biggest lifts are coming in multimodal domains like visual perception (see how it solves a maze in our blogpost: openai.com/index/thinking… 🤯)

Sam Altman (@sama) 's Twitter Profile Photo

today we are introducing codex. it is a software engineering agent that runs in the cloud and does tasks for you, like writing a new feature of fixing a bug. you can run many tasks in parallel.

Alexander Wei (@alexwei_) 's Twitter Profile Photo

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).

1/N I’m excited to share that our latest <a href="/OpenAI/">OpenAI</a> 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).
Sam Altman (@sama) 's Twitter Profile Photo

we achieved gold medal level performance on the 2025 IMO competition with a general-purpose reasoning system! to emphasize, this is an LLM doing math and not a specific formal math system; it is part of our main push towards general intelligence. when we first started openai,

Aleksander Madry (@aleks_madry) 's Twitter Profile Photo

Today is an episode I wanted to do for a while—a chat with the OpenAI’s power duo: its Chief Scientist Jakub Pachocki and Technical Fellow Szymon Sidor (and also my friends!).

Sam Altman (@sama) 's Twitter Profile Photo

we have a lot of new stuff for you over the next few days! something big-but-small today. and then a big upgrade later this week.

Sam Altman (@sama) 's Twitter Profile Photo

our livestream tomorrow at 10 am PDT will be longer than usual, around an hour. we have a lot to show and hope you can find the the time to watch!

Sebastien Bubeck (@sebastienbubeck) 's Twitter Profile Photo

Here at OpenAI we've cracked pretraining, then reasoning, and now we're experimenting with a new set of techniques that maximally leverage their interaction. GPT-5 is just the first step in this direction, and we're incredibly excited to see where scaling this up will lead us!

Here at <a href="/OpenAI/">OpenAI</a>  we've cracked pretraining, then reasoning, and now we're experimenting with a new set of techniques that maximally leverage their interaction. GPT-5 is just the first step in this direction, and we're incredibly excited to see where scaling this up will lead us!
Sebastien Bubeck (@sebastienbubeck) 's Twitter Profile Photo

Claim: gpt-5-pro can prove new interesting mathematics. Proof: I took a convex optimization paper with a clean open problem in it and asked gpt-5-pro to work on it. It proved a better bound than what is in the paper, and I checked the proof it's correct. Details below.

Claim: gpt-5-pro can prove new interesting mathematics.

Proof: I took a convex optimization paper with a clean open problem in it and asked gpt-5-pro to work on it. It proved a better bound than what is in the paper, and I checked the proof it's correct.

Details below.
Kevin Weil 🇺🇸 (@kevinweil) 's Twitter Profile Photo

💥 I’m starting something new inside OpenAI! It’s called OpenAI for Science, and the goal is to build the next great scientific instrument: an AI-powered platform that accelerates scientific discovery.

OpenAI (@openai) 's Twitter Profile Photo

Now in preview: ChatGPT Pulse This is a new experience where ChatGPT can proactively deliver personalized daily updates from your chats, feedback, and connected apps like your calendar. Rolling out to Pro users on mobile today.

Kevin Weil 🇺🇸 (@kevinweil) 's Twitter Profile Photo

💥 We're hiring our first research scientists for OpenAI for Science! As a reminder, our goal is to build the next great scientific instrument: an AI-powered platform that accelerates scientific discovery.

Andrej Karpathy (@karpathy) 's Twitter Profile Photo

Excited to release new repo: nanochat! (it's among the most unhinged I've written). Unlike my earlier similar repo nanoGPT which only covered pretraining, nanochat is a minimal, from scratch, full-stack training/inference pipeline of a simple ChatGPT clone in a single,

Excited to release new repo: nanochat!
(it's among the most unhinged I've written).

Unlike my earlier similar repo nanoGPT which only covered pretraining, nanochat is a minimal, from scratch, full-stack training/inference pipeline of a simple ChatGPT clone in a single,
Sam Altman (@sama) 's Twitter Profile Photo

GPT-5.1 is out! It's a nice upgrade. I particularly like the improvements in instruction following, and the adaptive thinking. The intelligence and style improvements are good too.