4 stories tagged by Digg
AI
Noam Brown says OpenAI announces internal model math results only when they shift views on AI progress.
Technology
METR and Redwood Research examined agent activity after the Hugging Face incident inside ExploitGym.
AI
OpenAI Codex engineer Tibo Sottiaux posted configuration steps to unlock the larger window for ChatGPT accounts.
AI
Internal Astra model produces Lean-certified proofs for ten open problems across math and theoretical computer science.