Hugging Face (Twitter)RT @j_dekoninck: Introducing QED-Nano: a 4B model for mathematical proof writing, competitive w...
Hugging Face (Twitter)RT @j_dekoninck: Introducing QED-Nano: a 4B model for mathematical proof writing, competitive w....
- 01.Hugging Face (Twitter)RT @j_dekoninck: Introducing QED-Nano: a 4B model for mathematical proof writing, competitive w....
[Hugging Face (Twitter)]() RT [@j_dekoninck](): Introducing QED-Nano: a 4B model for mathematical proof writing, competitive with larger models like GPT-OSS-120B. We open-source our entire pipeline, including data, code, and a blog post, hoping that the community can build on these artifacts to create more specialized models.
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…