Наука
NeuroNL2LTL: перевод с естественного языка в формальную логику с..
Исследователи представили нейросимволический фреймворк NeuroNL2LTL, который объединяет машинное обучение и формальную верификацию для...
В Windows Defender обнаружены две критические уязвимости:..
Microsoft выпустила срочное обновление для Windows, которое устраняет две критические уязвимости во встроенном антивирусе Windows Defender....
Астрофизики выяснили новый механизм появления промежуточных по..
Новое моделирование показало, что слияния звёзд через процесс «неудачной общей оболочки» могут порождать обнажённые звёзды промежуточной...
Latent Cache Flow: новый способ обмена данными между ИИ-агентами..
Исследователи представили метод Latent Cache Flow (LCF), который позволяет LLM-агентам обмениваться информацией напрямую через KV-кэши,...
Новый метод BOHM оценивает вклад компонентов ИИ-систем без..
Исследователи представили BOHM — метод иерархической атрибуции для составных ИИ-систем, который использует уже существующие веса...
Теорема no-go: ультралегкая темная материя не объясняет гало..
Физики доказали теорему, исключающую популярные модели темной материи. Соотношение массы и радиуса солитонов не может совпадать с...
Внезапная остановка сердца у молодых чаще вызвана генетическими..
Ученые выяснили, что у людей младше 29 лет внезапная остановка сердца в 10% случаев связана с генетическими дефектами. Исследование...
Врач предупредила о рисках длительного голодания для мозга и..
Гастроэнтеролог Наталья Боровская заявила, что голодание более суток может привести к снижению глюкозы в крови, что негативно сказывается...
Умные часы Google и геймпад едва не вызвали пожар из-за..
Пользователь Reddit рассказал, как зарядная станция геймпада Steam Controller случайно коснулась металлического ремешка умных часов Google...
Ученые создали глазные капли из шпината для лечения синдрома..
Исследователи извлекли из листьев шпината тилакоиды и добавили их в наночастицы для глазных капель. При попадании в клетки глаза и...
