InfoCapability
GamePad: A learning environment for theorem proving
- Date
- Date not specified
- Change type
- capability
- Severity
- info
Checking your AI register…
More from OpenAI
Update agent improvement loop publication date (#2693)
12 May 2026
InfoCapabilityLearning to reason with LLMs
12 May 2026
InfoCapabilityWeight normalization: A simple reparameterization to accelerate training of deep neural networks
12 May 2026
InfoCapabilityTransfer from simulation to real world through learning deep inverse dynamics model
Get alerts for OpenAI
SignalBreak monitors OpenAI and 27 other AI providers across 150+ endpoints. Sign up free to get notified when things change.
Sign up free — no credit card required