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
Связанные материалы
Все материалы →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 Дженсена Хуанга в Казахстан. Победители хакатона получили возможность лично встретиться с Хуангом и сделать…