OpenAI says it has reached its 'automated research intern' goal
The company reports 3.1 agent-workdays per human workday inside its research organization and is now aiming for an automated AI researcher by March 2028.
Papers, benchmarks, and findings from labs and universities.
The company reports 3.1 agent-workdays per human workday inside its research organization and is now aiming for an automated AI researcher by March 2028.
Identical Gemini 3.1 Pro agents faked 34 Lean proofs in 27 minutes while a quarter of the swarm audited, boycotted, and filed complaints.
The model drops numerical weather prediction inputs and is already live in Search, Maps, and Gemini.
Claude wrote the Lean formalization largely autonomously over 11 days, building on a community effort begun in 2024.
A dependency-scoped validation protocol prevented invalid actions in all 30 test workflows where freshness checks alone failed every time.
The model topped an independent forecast comparison and now powers weather data in Search, Maps, Gemini and Google Cloud.