Hugging Face (Twitter)RT @_lewtun: We trained a tiny 4B model to reason for millions of tokens through IMO-level prob...
Hugging Face (Twitter)RT @_lewtun: We trained a tiny 4B model to reason for millions of tokens through IMO-level prob....
- 01.Hugging Face (Twitter)RT @_lewtun: We trained a tiny 4B model to reason for millions of tokens through IMO-level prob....
Hugging Face (Twitter)RT @_lewtun: We trained a tiny 4B model to reason for millions of tokens through IMO-level problems.Heaps excited to share our new blog post covering the full pipeline, from distilling the 🐳 to augmenting RL with a reasoning cache that unlocks extreme inference-time scaling for theorem proving.https://huggingface.co/spaces/lm-provers/qed-nano-blogpost
Related Intelligence
All stories →Claude and Codex Begin Restricting Requests to Hack and Modify Their Own Devices
🚫 Claude and Codex have started limiting requests to hack and modify their own devices. Users complain that AI models from OpenAI and Anthropic are refusing reverse‑engineering tasks — analyzing and altering existing software. One Codex user…
Anthropic's IPO filing revives demand for AI stocks, lifts US indexes 0.3–0.8%
Revenue of Claude's creator surged 1,304% in six months – to $16.29 billion
OpenAI unveils GPT-6.1 Terra: can control a computer and costs half as much
🔄 OpenAI unveils GPT-6.1 Terra: can control a computer and costs half as much OpenAI released GPT-6.1 Terra — a new AI model capable of understanding screen content, working with applications, filling online forms, analyzing technical drawings, processing…