🔥Как работает нейросеть? — [9:59]
Нейросети уже заполонили мир, особенно ChatGPT и Midjourney, поэтому важно приблизительно понимать как они работают. В этом ролике речь пойдёт об общем строении ИИ, что такое нейрон, вес и как подбирается результат.
Перейти к просмотру
#видео#ai
Итак, второй #Нейробатл, и задание на первый тур - заставить Рэмбо спеть с уткой.
Было много вариантов (покажу чуть позже) - но устроил только этот! 😈
By Voodoont
#illustration
#cartoon
#voodoont
#rambo
#арт#art#illustration#ai#duck#singing
🎭 Yaponiyadagi art-ko‘rgazma: sizga hujum qilmoqchi bo‘lgan robo-it! 🤖🐕
Yaponiyada g‘ayrioddiy art-installyatsiya – zanjirga bog‘langan, hujumga tayyor robot-it namoyish qilinmoqda.
🦾 Mexanik yirtqich – tashrif buyuruvchilar tomonga tashlanishga urinadi, lekin zanjir uni ushlab turadi.
🎭San’at va texnologiya uyg‘unligi – qo‘rquv, hayajon va AI rivojlanishining chegaralarini his qilish uchun.
🔮Ko‘rgazmaning maqsadi? AI va robotlarning insonga bo‘lgan ta’siri haqida o‘ylashga majburlash.
💭San’atmi yoki kelajak haqidagi ogohlantirish?
#Art#AI#Yaponiya#RobotDog#Future
Research Group Demands Global Shutdown of Foundation Model Development
The Machine Intelligence Research Institute (MIRI) calls for a global halt on the development of foundation models, fearing they could "destroy humanity" without proper safeguards. Foundation models, capable of a broad range of applications, may evolve to be smarter than humans.
MIRI urges a complete shutdown of attempts to build any system smarter than a human. This extends beyond the previous calls by tech leaders like Elon Musk and Steve Wozniak, who sought a pause on models more powerful than OpenAI’s GPT-4.
MIRI stresses the need for urgent and sweeping legislation, including an "off switch" for AI systems to prevent malevolent behaviors. The group emphasizes the importance of addressing AI existential risks seriously and ensuring safe AI development in the future.
#AI#ArtificialIntelligence#AIEthics#FoundationModels#MIRI
European Parliament Committees Approve AI Act
Greetings everybody! The Internal Market and Civil Liberties Committees of the European Parliament voted overwhelmingly to approve the result of negotiations on the AI Act.
The Act now moves to a Parliament plenary session for formal adoption, followed by a final endorsement from the Council.
Once adopted, the AI Act will come into full effect within 24 months, with specific provisions taking effect at different intervals. Prohibited practices will be banned within 6 months, while codes of practice and general-purpose AI rules will be implemented within 9 and 12 months, respectively.
Obligations for high-risk systems will take effect after 36 months, marking a significant milestone in the regulation of AI within the European Union.
#EU#AIAct#Regulation#EuropeanParliament#AI
🌟 Теперь поговорим подобнее про Kimina-Prover-72B:
Это модель, которая не просто доказывает теоремы, а учится на своих ошибках.
Kimina-Prover-72B создана на базе Qwen2.5-72B, которая бьет рекорды в формальной математике на Lean 4 и ее облегченные версии 8 и 1,7 миллиарда параметров.
Numina - это некоммерческая научная коллаборация, ориентированная на развитие ИИ в области математики. Ее миссия: создание и публикация обширных баз данных математических задач, разработку open-source ИИ-решателя для их обработки и инструментов для поддержки совместной работы людей и ИИ в фундаментальных науках.
На популярном бенчмарке miniF2F Kimina-Prover-72B достигла внушительной точности в 92.2%, оставив позади Deepseek-Prover-V2 671B.
🟡Ключевая фишка Kimina-Prover - агентный фреймворк для поиска доказательств Test-Time Reinforcement Learning.
Вместо того чтобы пытаться решить сложную задачу в лоб, система научилась декомпозировать ее. Она самостоятельно генерирует, комбинирует и применяет промежуточные утверждения, или леммы, выстраивая из них длинные логические цепочки. По сути, это рекурсивный поиск: для доказательства основной теоремы модель может сначала доказать несколько вспомогательных лемм.
🟡Механика доказательств.
Система отслеживает «рейтинг полезности» каждой леммы и отбраковывает те, что ведут в тупик. Вторым эшелоном идет механизм проверки на вменяемость. Прежде чем использовать новую лемму, модель пытается доказать ее отрицание. Если это удается, значит, лемма противоречива и ее сразу выбрасывают. Такая комбинация гарантирует логическую строгость и надежность всего доказательства.
🟡Kimina-Prover умеет учиться на ошибках.
В отличие от других систем, которые в случае неудачи просто начинают заново, Kimina-Prover умеет читать сообщения об ошибках от компилятора Lean и предлагать исправления.
Для этого ее специально дообучали на датасете из комбинаций «неверное доказательство – фидбэк – верное доказательство». Чтобы обучение шло стабильно, использовали стратегию Batched Failure Replay: все неудачные попытки с одной итерации собираются и используются как обучающий батч для следующей. И это оказалось куда эффективнее, чем бездумный перебор вариантов при том же бюджете вычислений.
📌Лицензирование: MIT License.
🟡Статья
🟡Набор моделей
🟡Demo
🖥GitHub
@ai_machinelearning_big_data
#AI#ML#LLM#TTRL#Reasoning#KiminaProver
🤖 Nuevo bot
📋 Nombre: StableAssistant
🆔 Nombre de usuario: @StableAssistant_bot
⭐️ Calificación: ⭐️⭐️⭐️ (3.8/5 en 59 votos)
➖➖➖
ℹ️Descripción: Stable Assistant, el bot oficial de Telegram, desarrollado por Stability AI.
Stable Assistant es un chatbot divertido, amigable y poderoso desarrollado por Stability AI, equipado con nuestras últimas tecnologías de generación y edición de imágenes, videos y audio.
¡Pruébalo gratis y da rienda suelta a tu creatividad con IA con facilidad!
🌐 Idiomas: inglés
💬 Admite reproducción en línea: sí
👥 Grupos: sí
#️⃣ Etiquetas: #ai#ai_art#art#stable_diffusion#sd3#stable_audio#stable_video#image_editing#upscale#remove_background#outpai