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.
Связанные материалы
Все материалы →OpenAI представила GPT-6.1 Terra: умеет управлять компьютером и стоит вдвое дешевле
🔄 OpenAI представила GPT-6.1 Terra: умеет управлять компьютером и стоит вдвое дешевле OpenAI выпустила GPT-6.1 Terra — новую ИИ-модель, которая способна понимать содержимое экрана, работать с приложениями, заполнять онлайн-формы, анализировать технические чертежи, обрабатывать…
Разработчик решил заняться реверс-инжинирингом собственного телевизора Samsung стоимостью $3000, заподозрив, что тот ...
Разработчик решил заняться реверс-инжинирингом собственного телевизора Samsung стоимостью $3000, заподозрив, что тот неспроста показывает ему таргетированную рекламу. 🙅 По его словам, в ходе исследования он обнаружил множество механизмов слежения и сбора телеметрии, включая…
NVIDIA наградила три команды на HackAlem AI за разработки в области искусственного интеллекта
В рамках AI Month в Астане состоялась церемония награждения победителей крупнейшего AI-хакатона HackAlem AI. Мероприятие вошло в программу визита основателя и CEO NVIDIA Дженсена Хуанга в Казахстан. Победители хакатона получили возможность лично встретиться с Хуангом и сделать…