DeepMind
UNUM и BingX запускают акцию с бонусом 40 USDT для новых пользователей
UNUM совместно с криптобиржей BingX запускает специальную акцию для новых пользователей. Первые 50 участников смогут получить торговый ваучер на 40 USDT с кредитным плечом x5. Для участия не требуется пополнять счет, а прибыль от сделок можно вывести в соответствии с условиями биржи.
Google DeepMind с помощью ИИ проверила криптографический код Signal
Исследователи Google DeepMind использовали ИИ-агентов AlphaProof Code для математической проверки ключевых механизмов защиты сообщений в Signal. За четыре недели система подготовила около 6,5 млн строк доказательств на языке Lean. Работа подтвердила определенные свойства безопасности криптографического кода, но не охватила все приложение.