Формальная верификация приходит в ИИ: $27 млн на борьбу с галлюцинациями нейросетей

Стартап Pramaana Labs привлёк крупнейший посевный раунд в своей области — $27 млн от фонда Khosla Ventures. Их цель — внедрить методы формальной верификации в большие языковые модели, чтобы гарантировать точность ответов в критически важных отраслях. Вместо хаотичного тестирования система математически доказывает, что выводы модели соответствуют строгим правилам и исходным данным. Это необходимо там, где ошибка стоит миллионы или жизней: юридические заключения, разработка лекарств и налоговая отчётность. Pramaana уже работает с регуляторами и корпорациями, создавая «цифровые следы» для каждого ответа ИИ. Это не про очередной чат-бот, а про создание промышленного, ответственного ИИ, которому можно доверять в реальном бизнесе. Инвестиции такого уровня сигнализируют: рынок готов платить за надёжность, а не только за масштаб. Источник: techcrunch.com 🤖 AI MAN | Нейросети и деньги

🔒 Проблемы безопасности в криптоиндустрии не будут решены обычными аудитами.

По словам эксперта Бейера, без обновления текущей инфраструктуры аудита криптопространство продолжит нести значительные потери. @PROBLOCKCHAIN SQUAD

🙄 Да зачем вам этот AvanGifts

Мы очень заботимся о том, чтобы вы не только получали полезную инфу, но и призы. 🏁 Поэтому и создали для вас @avangifts_bot Это телеграм-бот в котором вы можете побороться за настоящие призы. И прямо сейчас в нем проходит активный сезон с приятными подарками. 🤔 Так как же получить эти призы? • Играй в камень-ножницы-бумага с другими участниками; • делай ежедневный check-in; • выполняй задания от бота; • угадывай исход событий как на Polymarket; • приглашай друзей; • зарабатывай поинты и поднимайся в лидерборде; Также мы ввели Battle Pass, с которым ты сможешь получать больше поинтов и множество дополнительных плюшек. 🏃‍♀️ Бегом изучать! ⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯ ЧатКонкурсыНавигация
#AI: Хуанг строит AI на скорости света 🔭
😐 Ранее писали про NVIDIA и процессор не для людей. Теперь Хуанг лично приехал в Шерман (Техас) - закладывать завод лазеров для AI. Coherent делает лазеры и оптические трансиверы. По сути - провода между GPU, только вместо меди свет. Без них стойка на 576 GPU просто не работает. Что произошло: 🟢NVIDIA вложила $2 ярда в Coherent + контракт на закупку на миллиарды 🟢CHIPS Act выделил $50кк на расширение завода 🟢Ещё $17кк от штата Техас 🟢550+ рабочих мест, 1000+ на полной мощности Хуанг со сцены: Coherent делает работу жизненно важную для будущего AI и для реиндустриализации Америки. Почему свет а не медь: 🟣NVL576 - 576 GPU на 8 стойках. Медный кабель физически не дотягивается 🟣Оптические трансиверы размером с флешку гоняют данные на скорости света 🟣Spectrum-X Photonics и Quantum-X от NVIDIA уже на оптике Завод Coherent перешёл на увеличенные пластины - один цикл даёт в 4 раза больше лазерных чипов. Производство нарастили в 4 раза за год. 💸 COHR: ~$386 | х5 за год ($76 → $440 хай) 🗒 Все кидаются покупать NVDA, а реальные иксы тем временем в supply chain - COHR х5 за год и это только начало. AI-стек разбираем в ИИ-клубе. Slavik | Updates | Инстаграм | ИИ Клуб
✅Новые важные активности от RAX Finance под будущие награды
RAX Finance анонсировали несколько новых адейтов (не очередные Unboxing Opportunities) Для начала, сейчас они внедрили новую механику - Forge. Cуть в крафте NFT из фрагментов. В будущем обещают за это какие-то награды (вполне может оказаться мультипликатором к дропу) Ну и дополнительно стартовал ивент в коллабе с DGrid AI, где можно забрать дополнительные попытки Unboxing (2 для всех и ещё 5 для первых 100 юзеров), 2 USDT в кредитах DGrid. Дедлайн этого ивента 23 июня Прошлые и всё ещё актуальные активности: 🟢Забираем WL на сайте 🟢Выполняем там все задания 🟢Выполняем задания на Galxe 🟢Cледим за появлением новых Unboxing Opportunities в их Twitter Двигается проект хорошо, постоянные апдейты, новые активности (причём всегда бесплатные), залетать все ещё можно даже с пустых кошельков Общаемся в✈️Чате, видео-гайды на: ▶️ Youtube
🤔 А для вас кредитное плечо — это кнопка «бабло» или инструмент для масштабирования стратегии?
👨‍💻 Делитесь своими мыслями с хэштегом #Bybit_fun 💰 Случайным образом выберем 2 победителей среди интересных комментариев, которые получат по 10 USDT 📌 Свои комментарии вы можете оставить до 19 июня * Принять участие в конкурсе можно только в одном сообществе 👉 Торгуй по тренду с Bybit 📈
⚔️ ЗАГАДКА ДНЯ в Fomo Fighters
Вводим: Axle Fomo Fighters — это не просто игра, а реальный фарм USDT без вложений ✔️ Без доната ✔️ Без ожиданий ✔️ Просто играешь — и зарабатываешь 📣В игре фармим WAR-поинты 🔄 Меняем их напрямую на USDT 💎 TON в кошельке |✉️ ЧАТ
🤑 100% кэшбэк на подписки с Bybit Card
Подписки давно стали отдельной статьей расходов для многих криптанов. ChatGPT, Claude, TradingView, Netflix, Spotify — за год на них легко уходит несколько сотен долларов. На этом фоне Bybit запустила кампанию с 100% кэшбэком на популярные подписки для пользователей Bybit Card. В список входят как ИИ-сервисы и рабочие инструменты, так и развлекательные платформы. Что нужно: - оформить Bybit Card; - выйти на Tier 2 Beta в программе лояльности (оборот от 500 USDT в месяц); - оплачивать подписки картой и получать до 100% кэшбэка в рамках месячного лимита. Дополнительно карта дает стандартный кэшбэк на повседневные покупки, а новым пользователям доступны бонусы до 30 USDT (подробнее писали в посте). Если и так каждый месяц платите за различные подписки — выглядит как неплохой способ вернуть часть расходов обратно. Подробнее — на сайте. P.S.: Зарегистрировать карту можно по ссылке 👈 Tokensales | News | Incrypted+
💰ПРОСТО ТОРГОВЛЯ. Главное не заиграться!