Reasoning Models

Definition

추론(reasoning) 과정 자체를 명시적으로 모델링하는 LLM 계열. test-time compute 를 추론 단계 (chain-of-thought, search, verification) 에 할당해 복잡한 문제 해결 능력 향상.

Why It Matters

• 본인 관심사 매칭: reasoning (1.3x) × frontier models (1.3x)
• 2024-2026 가장 활발한 연구 흐름 — OpenAI o-시리즈 이후 산업 전반 추적
• 단순 scale-up 한계 보완하는 방향

State of the Art (2026-05)

• 가장 강한 실증 (2026-05-20): OpenAI — Erdős 단위 거리 추측 반증 — 80년 미해결 순수 수학 문제 자율 해결. 일반 목적 reasoning 모델이 chain-of-thought 추론만으로 전문 수학자들도 몰랐던 증명 발견. 범용 reasoning이 전문 과학 분야에서 실질적 기여를 할 수 있다는 첫 명확한 증거.
• 최신 강한 주장: Olympiad-level reasoning via simple unified scaling (2026-05-16) — 수학 올림피아드 gold 수준 달성 주장
• Gemini 3.1 Deep Think — 자율 수학 연구 에이전트 (Aletheia, IMO 금메달, 18개 미해결 문제 해결, Feng26 논문 발표)
• Claude Opus 4.7 도 "multi-step tasks" 강조

Open Problems

• "Reasoning" 정의의 일관성 — pattern matching vs genuine reasoning?
• Test-time compute scaling laws — 어디까지 효율적?
• 도메인 일반화 (math → coding → science → real world)
• Cost — 추론에 compute 더 쓰면 비용도 증가

Key Papers

• An OpenAI model has disproved a central conjecture in discrete geometry — 2026-05-20, 80년 미해결 수학 문제 자율 반증 (OpenAI general reasoning model)
• Achieving Gold-Medal-Level Olympiad Reasoning via Simple and Unified Scaling — 2026-05, scaling 만으로 gold-medal 주장

Related Concepts

• Test-Time Compute (Inference-Time Compute Scaling) — inference-time compute 배분이 reasoning models의 핵심 메커니즘
• Agentic Reinforcement Learning — multi-step reasoning + RL의 교차점

Open Debates

• "Simple unified scaling" vs "specialized methods" — 어느 쪽이 reasoning 발전을 견인하는가? (2605.13301 가 전자 측 주장)