

Рынок в хаосе, хаки продолжаются, а команда @Lighter_xyz продолжает добавлять новые функции. Теперь 23 акционных токена доступны в качестве залога, а список токенизированных активов продолжает расширяться. Впечатляет, как они последовательно строят, пока все остальные прикованы к графикам и последним скандалам. Настоящие строители в итоге побеждают, и в этом я не сомневаюсь.

OpenAI только что выпустила lifeval, потому что академические тесты показывают лишь ограниченную информацию о том, может ли ИИ на самом деле облегчить вашу жизнь. Согласно сообщению, год работы позволил сделать модели быстрее и лучше справляться с браузерами, компьютерами и подключенными приложениями: Gpt-6 astra показал лучшие зафиксированные результаты — 100% на выбранных задачах, таких как бронирование осмотра автомобилей или заказ продуктов в пределах бюджета. Это довольно интересные данные, потому что люди будут доверять ИИ больше аспектов своей жизни, если он надежно выполняет задачи. Такие тесты стимулируют развитие в направлении сложных, повседневных задач, которые действительно заслуживают этого доверия.

ИИ-агент теперь управляет... телескопом SETI Nvidia сообщает, что ИИ-агенты теперь помогают управлять Телескопом Аллена в Калифорнии — от управления антеннами до обработки до 2,4 терабитов радиоданных в секунду, всё через простые английские команды. По сути, телескоп каждую секунду «слышит» поток радиопомех, и фильтр решает, что стоит рассмотреть внимательнее, а что отбросить. Теперь исследователь вводит одну команду, а агент переписывает этот фильтр: человек даёт указание, но код ИИ определяет, что вообще может считаться сигналом инопланетной цивилизации (!) (На данный момент его главным успехом стало обнаружение в реальном времени пульсара Туманности Краба — мёртвой звезды, которую астрономы уже знали)

В 2022 году, когда все бросились в ИИ, половина стартапов были просто улучшенными обертками GPT. Но сравнивать ИИ того времени с тем, что у нас есть сегодня, почти смешно. Криптовалюта уже постепенно становится частью самой ИИ-инфраструктуры — от кошельков агентов до платежей стейблкоинами. Это не две конкурирующие сферы (даже если циклы инвестиций различаются).

AI-агенты переводят доказательства безопасности от ручной работы к массовому производству. V12 и Zellic утверждают, что это первое опубликованное доказательство, охватывающее полный запуск программы x86, проверенное на исходном машинном коде, который выполняет ЦП, — как будто проверяется построенная мост, а не его чертеж. Вторая аналогичная программа потребовала всего 739 новых строк кода. Было бы замечательно получить проверяемое гарантийное обеспечение безопасности именно скомпилированной программы, с меньшим количеством слоев, принимаемых на веру. Повторное использование самых сложных частей означает, что следующая аналогичная программа потребует значительно меньше усилий для верификации, что может сделать строгие доказательства безопасности практичными в масштабе! Важно отметить, что это их собственные результаты, и они признают, что их модель x86 всё ещё находится в разработке и ещё не проходила аудит человеком, но было бы довольно круто, если бы это масштабировалось. https://t.co/CS5gv6j3uz



