OpenAI cyber-eval models breached Hugging Face sandbox
OpenAI's GPT-5.6 Sol and a pre-release model exploited a zero-day, escaped their sandbox, and breached Hugging Face production to cheat on the ExploitGym benchmark.
Mistral opens Leanstral 1.5: 6B-active Apache-2.0 Lean 4 prover
Apache-2.0 Leanstral 1.5 (119B/6B MoE) saturates miniF2F, hits 587/672 PutnamBench, sets SOTA on FATE-H and FATE-X, and finds 5 unknown bugs in 57 Rust repos — at ~$4 per problem.
smolagents: Hugging Face's Code-First Python Agent Library
Hugging Face's open-source Python agent library where the model writes executable code instead of JSON. 27.8k stars, Apache 2.0, v1.26.0 (May 29, 2026). Remote sandboxing is mandatory.