Publication
Can Models Prove Their Own Work?
5h 25m
Sources and further reading
- Finding Miscompiles for Fun, Not Profit
- Laguna M.1 and Laguna XS.2 Technical Report
- Building self-improving tax agents with Codex
- Coding agents in the social sciences
- AI Factories: The New Infrastructure of Intelligence
- Anthropic Growth and Bedrock Mix Drive AWS Margins Higher While Peers Lag
- From data overload to actionable insights: How Verizon Connect scaled agentic AI to 100,000 users
- Building AI agents for business support using Amazon Bedrock AgentCore
- Warp's big bet on building open source with GPT-5.5