1933 результа, страница #16
02 May, 2025 · кэш · @cute_treasure_box/18449
https://t.me/cute_treasure_box/18449 / 2025-05-02 17:46:00+00:00
DeepSeek попросили нарисовать аниме-самовар и вот что этот больной ублюдок выдал
02 May, 2025 · кэш · @ldude777/3614
https://t.me/ldude777/3614 / 2025-05-02 14:50:02+00:00
DeepSeek попросили нарисовать аниме-самовар и вот что этот больной ублюдок выдал
30 Apr, 2025 · кэш · @newsdatajunkie/33665
https://t.me/newsdatajunkie/33665 / 2025-04-30 11:58:08+00:00
DEEPSEEK RELEASES NEW MATH AI MODEL
04 May, 2025 · кэш · @bytestrends/387
https://t.me/bytestrends/387 / 2025-05-04 06:59:58+00:00
📈 DeepSeek прокачали доказательства до уровня 671 млрд параметров Исследовательская команда DeepSeek представила новую версию нейросети Prover-V2, заточенную под формализацию и доказательство математических теорем. Модель построена на архитектуре DeepSeek V3 и содержит 671 млрд параметров — по сравнению с всего 7 млрд в Prover-V1.5, это квантовый скачок. 🧠 Prover-V2 — это не болтливый ассистент. Он не будет спорить о смысле жизни, зато умеет переводить математику в машинный формат и пошагово доказывать сложнейшие утверждения. Модель работает через языки программирования для теорем типа Lean и других. ✅ Для лёгких экспериментов доступна мини-версия — она основана на том же движке, но урезана по параметрам. Попробовать можно бесплатно OpenRouter. 💡Пока остаётся только ждать R2 — модель, которая может объединить мощь математики и общечеловеческий интеллект. OpenRouter. https://openrouter.ai/deepseek/deepseek-prover-v2:free
28 Apr, 2025 · кэш · @chikatilodurden/10890
https://t.me/chikatilodurden/10890 / 2025-04-28 18:43:50+00:00
бля мой главный кинн это ебаный дипсик (deepseek)
29 Apr, 2025 · кэш · @darapanduck/6468
https://t.me/darapanduck/6468 / 2025-04-29 13:30:50+00:00
В данный момент меня невероятно сильно увлекает мой новый проект - «DeepSeek спешит на помощь.» В канале «Танец Трикстера» моё дневниковое пространство, а новый проект - про взаимопомощь, поддержку и забавные каламбуры нейросети. Подписываться не призываю, но мне приятно, когда нас читают. [И я очень заморачиваюсь над стилем оформления постов там]. ✨ «DeepSeek спешит на помощь.» https://t.me/dpskhf Твоя нейросетевая подружка ❤️ Deepseek спешит на помощь
https://t.me/linux_do_channel_lite/130075 / 2025-04-30 13:47:26+00:00
LINUX DO - 最新话题 Deepseek-Prover-V2 丘成桐开测 Deepseek-Prover-V2 丘成桐开测 https://linux.do/t/topic/614177
29 Apr, 2025 · кэш · @truemarxist/1978
https://t.me/truemarxist/1978 / 2025-04-29 21:12:26+00:00
Спросил как-то у DeepSeek за калькуляционный аргумент, а тут такое....
30 Apr, 2025 · кэш · @it_world_ru/9459
https://t.me/it_world_ru/9459 / 2025-04-30 10:26:12+00:00
DeepSeek: что ищут нейросети на такой глубине? DeepSeek — темная лошадка в гонке ИИ, которая заставляет нервничать OpenAI и Google. Споры о его реальных возможностях не утихают: одни видят в нем прорыв, другие — искусно раздутую амбицию Китая. Но факт остается фактом: мир нейросетей уже не будет прежним. Кто на самом деле стоит за стремительным взлетом DeepSeek, рассказывает IT-World. https://www.it-world.ru/tech/ilsd4dcrlfwookgkc40cgg00gkk4co4.html https://www.it-world.ru/tech/ilsd4dcrlfwookgkc40cgg00gkk4co4.html https://www.it-world.ru/tech/ilsd4dcrlfwookgkc40cgg00gkk4co4.html DeepSeek — темная лошадка в гонке ИИ, которая заставляет нервничать OpenAI и Google. Споры о его реальных возможностях не утихают: одни видят в нем прорыв, другие — искусно раздутую амбицию Китая. Но факт остается фактом: мир нейросетей уже не будет прежним.… DeepSeek: что ищут нейросети на такой глубине?
28 Apr, 2025 · кэш · @aiworkfuture/370
https://t.me/aiworkfuture/370 / 2025-04-28 14:55:49+00:00
Начало здесь В апреле 2024 года DeepSeek выпустил Deepseek Math, небольшую модель, которая по математическим способностям сравнялась с гораздо более крупной моделью GPT-4. Одним из ключевых факторов успеха стала методика обучения Group Relative Policy Optimization (GRPO), которая позже была использована в DeepSeek R1. GRPO представляла собой более эффективный подход к обучению с подкреплением, отказавшись от ресурсоемких моделей-критиков. К маю 2024 года была выпущена Deepseek V2 с еще одной инновацией в области эффективности - Multi-head Latent Attention, которая позволяла модели достигать сопоставимого уровня производительности с меньшим количеством параметров за счет совместного использования весов. ⚪️ Стремление к инновациям и преодоление ограничений Лян Вэньфэн стремился к тому, чтобы Китай стал не просто имитатором западных технологий, а настоящим новатором. Он публично критиковал подход, основанный на ожидании улучшения аппаратного и программного обеспечения по закону Мура. Лян хотел, чтобы DeepSeek стал пионером, открыто делящимся своими исследованиями. В конце 2024 года DeepSeek выпустил Deepseek V3, объединив и масштабировав все предыдущие инновации, включая оптимизацию на уровне кода GPU. Дэрио Амодей, генеральный директор Anthropic, назвал V3 "настоящей инновацией". ⚪️ Прорыв DeepSeek R1 и реакция мирового сообщества Используя инновацию OpenAI в области обучения с подкреплением на цепочках рассуждений, DeepSeek разработал Deep Seek R1 Zero, а после доработок - Deep Seek R1, который привлек внимание всего мира в начале 2025 года. R1 по многим техническим бенчмаркам незначительно превзошел оригинальную модель 01 от OpenAI. Открытость DeepSeek в отношении своих исследований показала миру, как языковые модели могут самокорректироваться под давлением оптимизации для достижения правильных ответов. Одним из ключевых аспектов DeepSeek R1 была возможность видеть процесс мышления модели, что сделало ее особенно привлекательной. (На момент ее выхода другие производители ИИ прятали ход рассуждений своих моделей.) Кроме того, модель была значительно дешевле конкурентов. Западные AI-лаборатории выдвигали контрнарративы, включая обвинения в том, что DeepSeek мог неправомерно использовать цепочки рассуждений модели 01 от OpenAI. Однако эти заявления не получили широкой поддержки. В том числе, потому, что к самой OpenAI в США есть масса претензий и исков о неправомерном использовании различных данных для обучения их моделей. OpenAI даже выразила опасения, что DeepSeek, будучи потенциально подконтрольной Коммунистической партии Китая, может быть использована для нанесения вреда, а ее бесплатная доступность угрожает конфиденциальности и безопасности пользователей. (Чего только американцы не придумают, чтобы ограничить конкуренцию в технологиях других стран 🙄) Несмотря на это, DeepSeek готовился к выпуску Deepseek R2 в апреле или мае 2025 года. ⚪️ Будущее DeepSeek и стремление к AGI При разработке DeepSeek Лян Вэньфэн столкнулся с проблемой доступа к передовым чипам из-за ограничений, введенных правительством США. Несмотря на это, DeepSeek продолжал развиваться благодаря собственным инновациям в области эффективности вычислений. Сейчас сообщается, что Лян рассматривает возможность привлечения внешних инвестиций для дальнейшего масштабирования и достижения AGI. В заключение хочу сказать, что история DeepSeek и Ляна Вэньфэна - это история не только о желании Китая стать лидером в области AI и о неожиданном прорыве, который бросил вызов доминированию западных AI-лабораторий. В том числе, а, возможно, "прежде всего", это история о конкретном человеке и его стремлении к исследованию и инновациям. #ИИистория Будущее наступает🚀 Начало здесь https://t.me/aiworkfuture/368 #ИИистория ?q=%23%D0%98%D0%98%D0%B8%D1%81%D1%82%D0%BE%D1%80%D0%B8%D1%8F Будущее наступает https://t.me/aiworkfuture
1933 результа, страница #16