Definition
Use of large language models for multi-step logical inference, formal verification assistance, and scientific hypothesis exploration — often with extended test-time compute or tool use.
Key Points
- Frontier labs position reasoning models for math, code, and science workflows (openai, ai-for-science)
- Distinct from pure retrieval or chat completion; evaluation risk includes overconfidence on unverified proofs