1483 результа, страница #30
08 May, 2025 · кэш · @ainewzfeed/324
https://t.me/ainewzfeed/324 / 2025-05-08 12:42:37+00:00
🧪 DeepSeek-Prover-V2: новая эра в доказательстве теорем! Компания DeepSeek AI представила свою революционную модель, которая меняет правила игры в формальном доказательстве теорем. С уникальным рекурсивным процессом поиска, модель позволяет разбивать сложные задачи на простые, что значительно упрощает процесс доказательства. Что стоит на повестке дня? - Обучение холодного старта: Модель разбивает теоремы на подзадачи для эффективного решения. - 83% успешных доказательств на тесте MiniF2F с помощью 7 миллиардов параметров. - ProverBench — новый бенчмарк для оценки математической логики. Это открытие не только может ускорить процесс решения математических задач, но и найти применение в криптографии, оптимизации и автоматизации научных исследований. Будьте на шаг впереди, ведь будущее — за AI в математике! 💡
https://t.me/latecnologicamente/16302 / 2025-05-11 15:25:34+00:00
Ecco Blackview MEGA 8, il tablet AI da 13 pollici con DeepSeek R1, ChatGPT-4o mini e Gemini AI 2.0 https://www.androidiani.com/news/blackview-mega-8-ufficiale-392259 https://www.androidiani.com/news/blackview-mega-8-ufficiale-392259 https://www.androidiani.com/news/blackview-mega-8-ufficiale-392259 In un mercato sempre più orientato verso l’intelligenza artificiale, anche Blackview vuole dire la sua con il nuovo MEGA 8, il primo tablet AI da 13". Ecco Blackview MEGA 8, il tablet AI da 13 pollici con DeepSeek R1, ChatGPT-4o mini e Gemini AI 2.0
12 May, 2025 · кэш · @flagsandsongs/144
https://t.me/flagsandsongs/144 / 2025-05-12 19:58:33+00:00
Deepseek сначала перевел мне этот мем как экранизацию китайской пословицы "Был так занят, что забыл повеситься", и даже начал радостно пилить контекст, типа рабочей культуры-996 и прочего такого, но быстро спохватился и все поудалял. Партия недовольна, глупая 神经网络, отнимать стойка сервер!
11 May, 2025 · кэш · @summertram/6409
https://t.me/summertram/6409 / 2025-05-11 04:20:10+00:00
Все же студенты, или их большая часть, нет-нет да и да - грешат с ИИ. Попробовала тут и я спросить у DeepSeek пару вещей, на русском и на английском. Все хорошо, все разумно, но… Дал мне несуществующую цитату из Ахматовой, а потом из Блейка. Когда я его уличила, сильно извинялся и благодарил. Ну чисто нерадивый курсовик… 🙈
10 May, 2025 · кэш · @tankodrom2021/13041
https://t.me/tankodrom2021/13041 / 2025-05-10 13:49:31+00:00
🔵Старый глянец. Можете заодно сходить в Wikipedia и сравнить, что там пишут. Но лучше этого не делать. От походов в Wikipedia с целью получения какой либо валидной информации вообще давно пора отказаться. Даже DeepSeek-R1 справится с этой задачей намного лучше. 🔴Танкодром Танкодром https://t.me/tankodrom2021
10 May, 2025 · кэш · @news_vpk/31947
https://t.me/news_vpk/31947 / 2025-05-10 14:13:13+00:00
🔵Старый глянец. Можете заодно сходить в Wikipedia и сравнить, что там пишут. Но лучше этого не делать. От походов в Wikipedia с целью получения какой либо валидной информации вообще давно пора отказаться. Даже DeepSeek-R1 справится с этой задачей намного лучше. 🔴Танкодром Танкодром https://t.me/tankodrom2021
11 May, 2025 · кэш · @androcoft/14752
https://t.me/androcoft/14752 / 2025-05-11 07:02:04+00:00
AI Chat - Chatbot & Assistant — это ваш универсальный мобильный помощник, основанный на передовых моделях искусственного интеллекта, таких как GPT-4o, GPT-4o mini, o3-mini, Grok-2, Grok-3 Mini Beta, DeepSeek-R1, DeepSeek-V3 и Gemini 2.0 Flash. С его помощью вы сможете вести интеллектуальные беседы, получать ответы на вопросы, создавать тексты, управлять задачами и многое другое. Подробнее: 📱 Категория: #нейросети 🔞 Версия: 69 💻 Android: 5.0+ ⚙ Модификация: активирована подписка, отключена реклама, удалены ненужные файлы. #нейросети ?q=%23%D0%BD%D0%B5%D0%B9%D1%80%D0%BE%D1%81%D0%B5%D1%82%D0%B8
11 May, 2025 · кэш · @crack_cloud2/19219
https://t.me/crack_cloud2/19219 / 2025-05-11 05:00:13+00:00
AI Chat - Chatbot & Assistant — это ваш универсальный мобильный помощник, основанный на передовых моделях искусственного интеллекта, таких как GPT-4o, GPT-4o mini, o3-mini, Grok-2, Grok-3 Mini Beta, DeepSeek-R1, DeepSeek-V3 и Gemini 2.0 Flash. С его помощью вы сможете вести интеллектуальные беседы, получать ответы на вопросы, создавать тексты, управлять задачами и многое другое. Подробнее: 📱 Категория: #нейросети 🔞 Версия: 69 💻 Android: 5.0+ ⚙ Модификация: активирована подписка, отключена реклама, удалены ненужные файлы. #нейросети ?q=%23%D0%BD%D0%B5%D0%B9%D1%80%D0%BE%D1%81%D0%B5%D1%82%D0%B8
07 May, 2025 · кэш · @sushi_studios/136
https://t.me/sushi_studios/136 / 2025-05-07 15:31:04+00:00
Типичный день программиста: -Открыть ChatGPT, Gemini, Grok, DeepSeek... (нужное подчеркнуть, ненужное добавить). -Задать всем один и тот же вопрос. -Терпеливо подождать. -Скопировать результаты в N разных скриптов. -Запустить все. -Выбрать лучший. 💬 Канал Viber 💬 Канал Viber https://invite.viber.com/?g2=AQBx3b3mzLIwP1P4KRIn4Nqmib4KIk0OrMjA4CE4sKaBg63a%2BMHhcrfF%2BTLUquFG
08 May, 2025 · кэш · @ano_cbst/702
https://t.me/ano_cbst/702 / 2025-05-08 09:38:01+00:00
Применение искусственного интеллекта DeepSeek в китайской военной авиации: стратегический сдвиг в оборонных технологиях Китай делает уверенные шаги в интеграции искусственного интеллекта в ключевые сферы оборонной промышленности. Согласно публикации South China Morning Post, китайская технологическая компания DeepSeek начала использовать свою AI-платформу для проектирования новых военных самолётов, включая истребители будущих поколений. Это знаменует собой важный этап в трансформации китайского военно-промышленного комплекса и усилении его технологической автономии. Технологическая база и институциональное сотрудничество Разработка осуществляется в сотрудничестве с Шэньянским институтом проектирования самолётов — подразделением государственной корпорации AVIC (Aviation Industry Corporation of China), ответственной за создание современных боевых самолётов, таких как J-15 и J-35. Как отметил Ван Юнцин, главный инженер института, использование ИИ уже дало ощутимые результаты: «Технология продемонстрировала высокую эффективность и предоставила новые идеи и подходы в области аэрокосмических исследований и разработок». ИИ используется для автоматизации рутинных операций: предварительных расчётов, компоновок, анализа аэродинамики и нагрузки. Это позволяет инженерам сосредоточиться на ключевых аспектах конструкции и боевой эффективности. Истребитель шестого поколения и перспективы DeepSeek В 2024 году Китай завершил первый испытательный полёт истребителя шестого поколения. Хотя официальная информация о проекте остаётся закрытой, известны некоторые технические особенности: ▪️Форма корпуса — двойное дельта-крыло, что указывает на оптимизацию под сверхзвуковые режимы. ▪️Ожидается наличие стелс-технологий и интеграция с беспилотными летательными аппаратами. ▪️Предполагается активное применение искусственного интеллекта в системах управления, навигации и целеуказания. Эти разработки являются частью программы, нацеленной на создание паритета с американским проектом NGAD (Next Generation Air Dominance). Расширение применения DeepSeek в ВС Китая ИИ-платформа DeepSeek уже используется в немасштабируемых подразделениях Народно-освободительной армии Китая. В частности, она задействована для: ▪️Поддержки военной медицины и разработки индивидуальных планов лечения. ▪️Помощи в психологическом консультировании военнослужащих. ▪️Автоматизации тренировочных программ и физподготовки солдат. В перспективе предполагается использование DeepSeek для: ▪️Повышения эффективности пилотной подготовки и боевых симуляторов. ▪️Управления роевыми системами БПЛА. Поддержки принятия решений на ▪️поле боя. ▪️Интеграции в системы РЭБ, ПВО и комплексного боевого управления. Использование искусственного интеллекта в проектировании истребителей — шаг закономерный, учитывая возрастающую сложность боевых платформ. Китайская ставка на DeepSeek выглядит логичной в условиях технологического противостояния с США. Однако не стоит забывать: автоматизация и генеративный ИИ — это не просто помощник конструктора, а уже полноправный участник научно-военного процесса. И тут возникает вопрос: насколько армия, даже китайская, контролирует своего цифрового союзника? Глубокое внедрение LLM в оборонку означает, что ключевые решения по аэродинамике, силовым структурам, а возможно, и алгоритмам наведения уже принимаются не человеком. Есть и стратегическая дилемма: в стремлении к ускорению разработки мы рискуем вырастить систему, которую будет крайне сложно отладить, если она ошибается — ведь логика работы модели, как и причины её "решений", часто остаются непрозрачными. @ano_cbst South China Morning Post https://www.scmp.com/news/china/military/article/3308934/deepseeks-ai-model-being-used-design-new-chinese-warplanes-says-leading-engineer @ano_cbst https://t.me/ano_cbst The technology is already ‘providing new ideas and approaches’ according to the lead designer at the Shenyang Aircraft Design Institute. DeepSeek being used to design new Chinese warplanes, leading engineer says
1483 результа, страница #30