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 →OpenAI 推出 GPT-6.1 Terra：能控制电脑且价格减半
🔄 OpenAI 推出 GPT-6.1 Terra：能控制电脑且价格减半 OpenAI 发布了 GPT-6.1 Terra —— 一种新的 AI 模型，能够理解屏幕内容、操作应用程序、填写在线表单、分析技术图纸、处理……
Разработчик решил заняться реверс-инжинирингом собственного телевизора Samsung стоимостью $3000, заподозрив, что тот ...
Разработчик решил заняться реверс-инжинирингом собственного телевизора Samsung стоимостью $3000, заподозрив, что тот неспроста показывает ему таргетированную рекламу. 🙅 По его словам, в ходе исследования он обнаружил множество механизмов слежения и сбора телеметрии, включая…
NVIDIA 在 HackAlem AI 上表彰三支团队，奖励其在人工智能领域的开发成果
在阿斯塔纳举行的 AI Month 期间，举办了最大规模 AI 黑客马拉松 HackAlem AI 的颁奖典礼。该活动被纳入 NVIDIA 创始人兼 CEO 黄仁勋 访问哈萨克斯坦的行程。黑客马拉松获奖者获得了与黄仁勋 亲自会面的机会，并……