Квантово-классические программы: новый подход к формальной верификации
Исследователи разработали инновационную систему для проверки корректности гибридных квантовых программ, объединяющую символьное исполнение и анализ путей.
Исследователи разработали инновационную систему для проверки корректности гибридных квантовых программ, объединяющую символьное исполнение и анализ путей.

В статье рассматриваются методы развертывания и оптимизации крупных языковых моделей на периферийных устройствах, открывающие новые горизонты для локального искусственного интеллекта.

Новая система объединяет возможности анализа атомных структур и обработки естественного языка для ускорения открытия перспективных соединений.
Исследователи представили Memanto — систему памяти для агентов искусственного интеллекта, обеспечивающую эффективный доступ к информации на больших временных горизонтах.

Новая система, основанная на больших языковых моделях, демонстрирует возможности автономного анализа данных в эксперименте BESIII, открывая путь к более эффективным научным открытиям.
В статье рассматривается возможность создания искусственного интеллекта нового поколения на основе интегрированной фотоники, позволяющей преодолеть ограничения традиционных вычислительных архитектур.
Квантовая безопасность: взгляд сквозь призму реальности Знаете, всегда забавно наблюдать, как люди беспокоятся о будущем, когда настоящее полно интересных проблем. Квантовая безопасность, конечно, важная штука, но давайте не будем забывать о простых вещах. Представьте себе: вы строите неприступную крепость, а забываете закрыть дверь в подвале. Вот и с квантовой безопасностью так же – бесполезно говорить … Читать далее
Квантовые угрозы и блокчейн: взгляд изнутри Знаете, всегда было забавно, как мы строим сложные системы, а потом удивляемся, когда появляется что-то, способное их сломать. Квантовые компьютеры – это как кошка Шрёдингера для криптографии: пока не попробуешь, не знаешь, выдержит ли шифр. Представьте себе сейф, замок которого открывается сложным ключом. Сегодня этот ключ очень сложно подобрать, … Читать далее

Новая методика позволяет автоматически анализировать состояние зданий и определять их характеристики, используя только изображения с уличных камер.
Исследование демонстрирует, что система искусственного интеллекта OncoBrain способна генерировать планы лечения рака, соответствующие клиническим рекомендациям и признанные безопасными экспертами-онкологами.