Large Language Models

Feb 20, 2026

Our First Proof submissions

OpenAI BlogFeb 20, 2026

We share our AI model’s proof attempts for the First Proof math challenge, testing research-grade reasoning on expert-level problems.

Related Stories

Large Language Models

How we monitor internal coding agents for misalignment

OpenAI Blog · 1d ago

Large Language Models

OpenAI to acquire Astral

OpenAI Blog · 1d ago

Large Language Models

Show HN: Duplicate 3 layers in a 24B LLM, logical deduction .22→.76. No training

Hacker News · 2d ago

Large Language Models

OpenAI Japan announces Japan Teen Safety Blueprint to put teen safety first

OpenAI Blog · 3d ago