Наука

«Ланцет» впервые применили в Африке: дрон-камикадзе уничтожил пикап боевиков в Мали

«Ланцет» впервые применили в Африке: дрон-камикадзе уничтожил..

Бойцы Африканского корпуса Минобороны РФ впервые в открытых источниках применили разведывательно-ударный комплекс «Ланцет» в Мали....


Силовые тренировки снижают риск диабета 2 типа на 27% — исследование JAMA

Силовые тренировки снижают риск диабета 2 типа на 27% —..

Ученые выяснили, что регулярные силовые упражнения в среднем возрасте значительно уменьшают вероятность развития диабета 2 типа. Анализ...


Миниатюрная камера CubeSat прошла радиационные испытания в ЦЕРНе

Миниатюрная камера CubeSat прошла радиационные испытания в ЦЕРНе..

Европейское космическое агентство (ESA) протестировало сверхкомпактную камеру CubeSat TRISAT-R в ускорителе ЦЕРНа. Устройство размером с...


T2D-Bench: новый бенчмарк выявил ошибки ИИ в рекомендациях при диабете 2 типа

T2D-Bench: новый бенчмарк выявил ошибки ИИ в рекомендациях при..

Исследователи представили T2D-Bench — тестовую среду для оценки ИИ-моделей типа GPT-4o применительно к диабету 2 типа. Бенчмарк использует...


Формально верифицированное право стало сигналом вознаграждения для самообучающегося ИИ

Формально верифицированное право стало сигналом вознаграждения..

Исследователи предложили архитектуру, которая использует формально верифицированное право в качестве сигнала вознаграждения для обучения...


VeryTrace: фреймворк для верификации цепочек рассуждений ИИ и исправления ошибок

VeryTrace: фреймворк для верификации цепочек рассуждений ИИ и..

Исследователи представили VeryTrace — метод, который формализует многошаговые рассуждения ИИ в компилируемое представление и с помощью...


Новый метод сертификации устойчивости нейросетей: быстрее и надёжнее

Новый метод сертификации устойчивости нейросетей: быстрее и..

Исследователи предложили новый подход к вычислению сертификатов устойчивости нейронных сетей, основанный на мере апофемы. Разработанная...


Исследователи построили сети совместных упоминаний алгоритмов за 40 лет научных публикаций

Исследователи построили сети совместных упоминаний алгоритмов за..

Ученые проанализировали влияние алгоритмов в области NLP, построив сети их совместных упоминаний на основе полных текстов статей за 40 лет....


Samsung перестала продавать стилусы для складных смартфонов

Samsung перестала продавать стилусы для складных смартфонов..

Компания удалила со своего сайта чехлы с отсеком для S Pen и перестала комплектовать стилусами восстановленные устройства. В SamMobile...


Гибридный ИИ обнаруживает дефекты 3D-печати металлом с точностью 94,5%

Гибридный ИИ обнаруживает дефекты 3D-печати металлом с точностью..

Исследователи NIST разработали гибридный метод машинного обучения для мониторинга лазерной порошковой наплавки. Комбинация EfficientNetB0 и...