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.
Связанные материалы
Все материалы →Claude и Codex начали ограничивать запросы на взлом и модификацию собственных устройств
🚫 Claude и Codex начали ограничивать запросы на взлом и модификацию собственных устройств Пользователи жалуются, что ИИ-модели OpenAI и Anthropic стали отказывать в задачах по реверс-инжинирингу — анализу и изменению уже существующих программ. Один из пользователей Codex…
Заявка Anthropic на IPO вернула спрос на ИИ-бумаги и подняла индексы США на 0,3–0,8%
Выручка создателя Claude за полгода выросла на 1 304% – до $16,29 млрд
OpenAI представила GPT-6.1 Terra: умеет управлять компьютером и стоит вдвое дешевле
🔄 OpenAI представила GPT-6.1 Terra: умеет управлять компьютером и стоит вдвое дешевле OpenAI выпустила GPT-6.1 Terra — новую ИИ-модель, которая способна понимать содержимое экрана, работать с приложениями, заполнять онлайн-формы, анализировать технические чертежи, обрабатывать…