[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.
Research1 min read
From the original source:
Hugging Face (KB)
Read full article at Hugging Face (KB)This material was compiled from public sources. If its publication affects your rights → Request removal
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....
Hugging Face (KB)By: t.meFebruary 15, 2026 (Feb 15)
Available in 3 languagesAI Summary & Key Takeaways
- Hugging Face (Twitter)RT @j_dekoninck: Introducing QED-Nano: a 4B model for mathematical proof writing, competitive w....
Research
KZ·AI 6243Инсайт дня
Hugging Face (Twitter)RT @j_dekoninck: Introducing QED-Nano: a 4B model for mathematical proof writing, competitive w...
Tags:#Hugging Face
Related stories
Judge dismisses Sam Altman’s sister’s sexual abuse lawsuit
On Tuesday, US District Judge Zachary Bluestone dismissed the lawsuit Ann Altman filed last year alleging that her brother, OpenAI CEO Sam Altman, had sexually abused her throughout her childhood. As reported earlier by The Guardian, the judge wrote that over the last year, Ann…
The Verge — AI
Anthropic pitches AI safety bill that may block a model if 50+ people could be killed
The proposed policy seems to offer protections against AI run amok but actually forbids federal agencies from blocking a model's release without the permission of a judge.
TechCrunch — AI
Hugging Face CEO warns that Netflix’s OpenAI hack documentary isn’t accurate
Before you share the Netflix documentary "AI Gone Rogue" take note. Clem Delangue, Hugging Face's co-founder who is featured in the film, says it went "full doomer mode" and isn't accurate.
TechCrunch — AI
Stop paying for AI, run everything locally (here’s how)
Big labs are not going to talk about this but continual learning the idea of improving the models for your [music] own use cases for your own workflows. Big labs have no incentive of providing users with that [music] because they're training their models for the normal…
YouTube — David Ondrej (AI Agents)