OpenAI o3 and o4-mini: Tool Use, Benchmarks and the First Codex CLI

Matthew Berman reviews OpenAI’s April 2025 reasoning-model release, a scientific image-analysis demonstration and the debut of its terminal coding agent.

MBMatthew Bermanホスト · Forward Future
チャンネル
Matthew Berman
公開日
2025年4月16日
動画
15:46
読了時間
4 分
スライド
7
原文
英語
YouTube で開く
スクロールすると動画は右下に小さくなって再生を続けます。字幕は閲覧言語に合わせて切り替わります。
閲覧言語2 言語で読めます
この記事はまだ日本語に翻訳されていないため、英語の原文を表示しています。
要約

30 秒でわかる

Matthew Berman examines the launch of o3 and o4-mini, emphasizing their ability to combine reasoning with tools. An OpenAI livestream clip demonstrates analysis of an old physics poster, followed by benchmark charts, cost comparisons and discussion of Codex CLI and platform risk. His theory about the models’ training origins and a new scaling law is speculation.

  1. 1Reasoning with toolsBerman highlights the models’ ability to call tools repeatedly during a task rather than only producing a single response.
  2. 2Physics poster demonstrationAn OpenAI presenter asks o3 to estimate a missing result from an old poster and compare it with later research. The presenter assesses the returned estimate as plausible.
  3. 3Benchmark conditions matterThe launch charts show different scores across mathematical, coding and scientific tests, including results with and without tools.
  4. 4A speculative training theoryBerman hypothesizes that the models came from GPT-5 checkpoints; he does not present evidence confirming that theory.
  5. 5Codex CLI and platform riskOpenAI introduced a terminal coding agent, prompting Berman to consider the risk of a model provider entering its customers’ markets.

ポイント

  1. OpenAI launched o3 and o4-mini in April 2025 with tool-assisted reasoning and image analysis.
  2. In a livestream demonstration, o3 inspected a physics poster, estimated a missing result and searched for relevant literature; the presenter judged the estimate reasonable.
  3. Benchmark results vary by task and tool access; tool-assisted and tool-free scores should be compared in context.
  4. OpenAI’s API documentation lists text and image input and text output for these models, not native audio input and output.
  5. Codex CLI began as an open-source terminal coding agent that connected local files and commands to cloud models.
  6. Berman’s GPT-5 checkpoint theory and interpretation of tool use as a scaling law are conjectures, not established training details.
全文

チャプターごとに整えた全文を読む

文字起こしのみ
01

The o3 and o4-mini launch

Berman introduces the two reasoning models and emphasizes iterative use of tools. He frames several broader implications as his own views.

OpenAI has released o3 and o4-mini, and what excites me most is their ability to use tools as part of reasoning. Rather than taking one action and stopping, an agent can inspect a result, decide what to do next and use another tool. I think this could be an important direction for improving performance, though calling it a new scaling law is my interpretation, not an established result.

OpenAI describes o3 as its more capable model and o4-mini as a smaller, faster option. The models can reason over images, including by using tools to inspect them. Although I say in the video that they also accept and output audio, OpenAI’s API model documentation lists text and image input and text output; audio is not native support for these model APIs. Product-level tools can provide additional capabilities.

02

A physics poster demonstration

An OpenAI presenter asks o3 to analyze an unfinished physics poster and compare an estimated result with literature. The presenter comments on the result.

In a clip from OpenAI’s launch livestream, a presenter gives o3 a screenshot of a physics poster from a 2015 internship. The task is to estimate the proton isovector scalar charge and compare it with recent work. The final value is not actually printed on the poster: the model has to interpret the plot and infer what additional steps are needed.

Analyzing a physics poster
スライド 1 / 7Analyzing a physics posterThe prompt asks o3 to estimate an unfinished physics result from an image and search the literature.

The presenter says the task requires extrapolating the plotted values to a physical quark mass and applying a normalization factor. The model zooms into the image and searches the web for later results. The presenter says reconnecting with the project and reviewing the literature would have taken substantial time by hand.

The model’s estimated physics result
スライド 2 / 7The model’s estimated physics resultThe model describes its extrapolation and normalization assumptions for the presenter to assess.

The livestream presenter judges the model’s estimated values reasonable and says the final paper’s value was around 1.2. The answer also notes that the older estimate has more uncertainty than more recent results. This is a single demonstration assessed by its presenter, not an independent validation of all scientific research tasks.

The demonstration illustrates the combination of image inspection, calculation and web browsing. I see tool use and agent scaffolding as important alongside pretraining and reinforcement-learning-based post-training. My further suggestion that tool use is itself a separate scaling law is a hypothesis, not a quantified law shown by this demo.

03

Benchmarks and cost

Berman reviews math, science, coding and visual benchmarks, then speculates about model training. He compares OpenAI’s estimated inference-cost charts.

AIME 2024 benchmark
スライド 3 / 7AIME 2024 benchmarkThe launch chart shows model scores and identifies tool-free configurations.

OpenAI’s launch charts compare competition math results. For AIME 2024, the chart shows o3 at 91.6% and o4-mini at 93.4% without tools; it also presents AIME 2025 and Codeforces results. These are benchmark-specific measurements, not a ranking of all uses, and tool availability matters when comparing results.

On the displayed Humanity’s Last Exam chart, o3 rises from about 20.3% without tools to 24.9% with Python and browsing, while o4-mini moves from about 14.3% to 17.7% with tools. Deep research scores 26.6% in that chart. I speculate that additional agent scaffolding and tool use help explain the difference; the chart alone does not establish the cause.

Humanity’s Last Exam with and without tools
スライド 4 / 7Humanity’s Last Exam with and without toolsThe chart distinguishes tool-assisted scores from tool-free results.

OpenAI also presents visual-reasoning, coding and instruction-following benchmarks. Its displayed SWE-bench Verified results are 69.1% for o3 and 68.1% for o4-mini, compared with 48.9% for o1. The SWE-Lancer chart expresses performance in terms of the dollar value attached to benchmark tasks; that is not evidence the models independently earned that money in the market.

SWE-bench Verified results
スライド 5 / 7SWE-bench Verified resultsOpenAI’s chart reports coding benchmark scores for the launch models and predecessors.

I offer a theory about how the models were made: perhaps OpenAI took intermediate GPT-5 checkpoints and applied reinforcement learning to produce different reasoning models. That is my speculation based on public comments, not information confirmed by OpenAI. Strong benchmark results alone do not establish the models’ training lineage.

The cost charts compare estimated inference costs and performance at different reasoning levels. In the displayed AIME and GPQA examples, o4-mini improves on o3-mini at comparable estimated costs, and o3 medium and high compare favorably with o1 in the shown settings. Actual cost and performance vary with configuration and workload.

Performance and estimated inference cost
スライド 6 / 7Performance and estimated inference costThe chart compares o4-mini and o3-mini at different reasoning settings.
04

Codex CLI and access

He discusses OpenAI’s new coding agent and the platform risk of building on a single provider. He closes with launch-era access and his plans to test the models.

The original Codex CLI preview
スライド 7 / 7The original Codex CLI previewOpenAI demonstrates its early terminal interface for a coding agent.

OpenAI also unveiled Codex CLI, an open-source coding agent that runs in a local terminal while using cloud-hosted models. It can work with local files and commands, bringing model reasoning into a coding environment. The original release described an experiment; its capabilities and approval mechanisms have evolved since this 2025 video.

This raises platform risk for developers building on a model provider: the provider can decide to build a product in an adjacent market itself. Codex CLI is a coding-agent example, even if it was initially a lightweight reference project. I think developers should consider diversification and open-source alternatives rather than relying on a single provider.

The launch also announced a $1 million initiative for projects using Codex CLI and OpenAI models, with grants in $25,000 API-credit increments. At launch, Plus, Pro and Team users were offered the models in the selector, Enterprise and Edu were scheduled to follow, and free users could try o4-mini through the Think option. These are historical launch details, not current availability.

I plan to test the models against the alternatives available at the time, including Gemini 2.5 Pro, particularly on coding. I am also interested in what developers think about the platform risks of building on top of OpenAI.

同じチャンネルの記事

スライド 12 枚34:21EN
Matthew Berman· 2026年10月27日Matthew Berman Examines Anthropic’s IPO Filing, AI Growth and GovernanceMatthew Berman, Sam Altman · Forward FutureThe presenter reviews the S-1’s financial metrics, compute strategy and voting structure while questioning the tension between rapid AI development and safety.AnthropicAI Safetyエンタープライズ AI+2
スライド 2 枚0:36EN
Matthew Berman· 2026年10月25日Kimi K3.1 and a Rubik’s Cube Solver DemonstrationMatthew Berman · Forward FutureMatthew Berman shows a scrambled virtual cube being solved and gives the Kimi K3.1 test a favorable assessment.評価(Evals)コーディングエージェントOpen-weight models
スライド 6 枚25:50EN
Matthew Berman· 2026年10月24日Kimi K3.1 Pro Tested: Strong 3D Demos, Uneven Results and Competitive PricingMatthew Berman · Forward FutureMatthew Berman tests the open-weight model on coding, 3D rendering and visual explanations, then compares benchmark results and prices.Open-weight modelsBenchmarksAI cost & performance+1
スライド 2 枚32:20EN
Matthew Berman· 2026年10月23日Who Is Local AI For? The Costs, Trade-offs and a Hybrid FutureMatthew Berman · Forward FutureMatthew Berman weighs data control and independence against hardware cost, setup complexity and inference speed.Local inferenceOpen-weight modelsAI cost & performance+1
スライド 6 枚1:03:37EN
Matthew Berman· 2026年10月23日Matthew Berman’s Team Tests Kimi K3.1 on Animation, Games, and ChartsMatthew Berman, Alex, Brian · Forward FutureA live team AMA turns into an informal test of Kimi K3.1, from personal-agent workflows to motion graphics, a browser game, and a benchmark chart.コーディングエージェントGenerative media評価(Evals)+2
0:53EN
Matthew Berman· 2026年10月22日Sam Altman on AI and the Discovery of New KnowledgeSam Altman · OpenAIAltman expects progress in mathematical discovery to extend to biology, materials and energy.AI for scienceMathematicsComputational Biology+1