Наука
Новый бенчмарк MA-ProofBench: даже GPT-5.5 решает лишь 16% задач..
Опубликован первый формальный бенчмарк для проверки способностей языковых моделей доказывать теоремы из математического анализа. Лучшая...
Китай успешно запустил ракету Lijian-1 Y14 с восемью спутниками..
Китайская коммерческая ракета Lijian-1 Y14 стартовала с восемью спутниками. Запуск состоялся 15 июня с космодрома на северо-западе страны....
Опубликован каталог структур 41 000 галактик по данным JWST и HST..
Международная группа астрономов представила вторую версию каталога структурных параметров галактик в рамках проектов CANUCS и Technicolor....
Модель D2H-AD на основе гиперразмерных вычислений превзошла..
Исследователи представили гибридный фреймворк D2H-AD, использующий гиперразмерные вычисления. Новая модель показала превосходство над пятью...
Низкая грамотность в AI не ведёт к тотальной восприимчивости:..
Учёные перепроверили данные известного исследования и выяснили: связь между низкой AI-грамотностью и высокой готовностью использовать ИИ...
Турбулентность в газовом гало Млечного Пути: новые данные..
Астрофизики проанализировали турбулентность в многофазной среде вокруг галактик, используя симуляцию TNG50 и идеализированные модели....
Норма весов управляет задержкой grokking: исследование arXiv..
Учёные подтвердили, что норма весов нейросети определяет момент возникновения grokking — задержки обобщения. Эксперименты показали...
Новый фреймворк TwinBI повышает точность BI-аналитики на 20..
Исследователи представили TwinBI — агентный цифровой двойник для BI-дашбордов, который объединяет голосовые запросы и прямое управление....
Zalando внедрил алгоритм высокочастотного ценообразования с..
Европейский онлайн-ритейлер Zalando разработал и внедрил алгоритмический инструмент ценообразования для распродаж. Система на основе...
Парадигма YeasierAgent: кроссплатформенные приложения с..
Исследователи представили YeasierAgent — парадигму разработки приложений, отказывающуюся от привязки к устройствам. Система объединяет...
