/ Профессии
Отраслевые и предметно-специфичные задачи

IV.6Научные исследования, математика и новые материалы

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

ЗрениеЭмбеддингиТекст
AI-задач
39
в этой профессии
Подходящих моделей
4 120
по типу задач и модальности
Категория
IV. Отраслевые задачи
Основные типы
ЗрениеЭмбеддингиТекст

Рекомендованные модели

4 120 моделей
Загрузки
Лайки
Дата выхода
1 051–1 080 из 4 120
brunoasm
vit_large_patch32_224.NCBI_SRA

varKoding — модель для идентификации видов по изображениям, полученным из частот k-меров в данных низкопокрывающего секвенирования генома. Её разработал проект varKoder на основе Vision Transformer ViT-Large patch32 из timm/vit_large_patch32_224.orig_in21k; модель инициализировали случайными весами и обучили с помощью fastai на представлениях varKodes и rfCGRs из данных NCBI Sequence Read Archive. Модель предназначена для ДНК-баркодирования и определения видов по небольшому объёму геномных данных, включая анализ eDNA, мониторинг биоразнообразия и судебную аутентификацию видов. Она выдаёт многометочные таксономические прогнозы с оценками уверенности, а также прогнозы характеристик библиотеки и платформы секвенирования. В README заявлены точность 96% и полнота 95% для идентификации видов, в том числе при низком покрытии генома. Модель принимает изображения varKodes или rfCGRs, а не необработанные последовательности ДНК. Качество зависит от соответствия входного представления обучающим данным и может снижаться на сильно деградированной ДНК; README также указывает на возможные трудности при высоком уровне ошибок секвенирования Nanopore. Лицензия — Apache-2.0.

280янв. 2024
imageapache-2.0hugging-face
BatatasLM
BatatasLM-SP5-28L

BatatasLM-SP5-28L — предварительно обученная ДНК-модель семейства Caduceus, разработанная в рамках проекта BatatasLM. Она содержит 231,2 млн параметров и использует архитектуру CaduceusForMaskedLM; модельные файлы представлены в формате PyTorch и предназначены для загрузки через Transformers. Модель обучена на пяти геномах или образцах сладкого картофеля из набора BatatasLM-SP5-Pretraining-Data. Она рассчитана на исследовательскую работу с представлениями последовательностей ДНК длиной до 4096 пар оснований и на задачи восстановления замаскированных участков последовательности. Категория fill-mask также заявлена в метаданных; каталог указывает поддержку классификации текста, однако README не приводит деталей её оценки. Карточка не сообщает метрики качества и не подтверждает превосходство над другими моделями. Для загрузки могут потребоваться пользовательские модули из репозитория и параметр trust_remote_code=True. Лицензия в предоставленных данных не указана.

70июль 2026
texthugging-face
buetnlpbio
bpe-only-dna-bert

buetnlpbio/bpe-only-dna-bert — модель на архитектуре BERT, разработанная для работы с последовательностями ДНК. Она обучена только на датасете генома человека в течение одной эпохи для абляционного эксперимента; в метаданных указаны 116,4 млн параметров и контекст длиной 128 токенов. Модель поддерживает задачу fill-mask и может использоваться для предсказания замаскированных токенов в последовательностях ДНК. Обучение выполнено на основе фреймворка MosaicBERT. Карточка предупреждает, что качество на других типах ДНК может быть ограниченным. Модель опубликована в формате PyTorch; метаданные не содержат сведений о лицензии.

1050июль 2024ctx128
texthugging-face
buetnlpbio
bpe-only-rna-bert

buetnlpbio разработала BPE-only RNA-BERT — модель-энкодер семейства BERT с 116,4 млн параметров, предназначенную для работы с последовательностями РНК. Эта версия обучена только на токенах BPE как вариант для абляционного исследования; авторы рекомендуют вместо неё использовать buetnlpbio/birna-bert. Модель можно применять для заполнения замаскированных токенов в последовательностях и получения представлений последовательностей РНК. Она реализована на PyTorch с библиотекой Transformers и поддерживает контекст до 128 токенов. Доступная карточка описывает работу с РНК, но не сообщает отдельные языки естественного языка. Это специализированная биологическая модель, поэтому её применимость ограничена последовательностями РНК и токенизацией BPE. Лицензия в предоставленных данных не указана.

1750июль 2024ctx128
texthugging-face
dronefreak
brackish-yolo26s

Это модель обнаружения объектов YOLO26s, дообученная автором репозитория на подводном наборе Brackish Underwater в рамках DetectionBench. Она принимает изображения и размечает на них морских животных: крабов, рыб, медуз, креветок и морских звёзд; подходит для анализа подводных кадров и сравнительной оценки детекторов. В README приведены результаты на тестовой части набора: mAP@50 — 99,1%, mAP@50–95 — 85,77%, точность — 99,45%. Модель построена на семействе Ultralytics YOLO26 и распространяется в формате PyTorch по лицензии AGPL-3.0. Обучающие данные имеют сильный дисбаланс классов: крабы и мелкие рыбы составляют около двух третей размеченных объектов, а креветки и медузы представлены редко. Данные сняты одной стационарной камерой в одном месте в Дании; переносимость на другие камеры и типы водоёмов не проверена. Около 15% кадров намеренно не содержат размеченных объектов.

354авг. 2026
imageagpl-3.0hugging-face
dronefreak
brackish-yolov8m

Это модель обнаружения объектов YOLOv8m от Ultralytics, дообученная на наборе Brackish Underwater в рамках DetectionBench. Она предназначена для поиска и локализации морских животных на подводных изображениях и кадрах: крабов, рыб, медуз, креветок, мелких рыб и морских звёзд. Репозиторий содержит веса PyTorch; модель использует архитектуру YOLOv8 среднего размера и распространяется по лицензии AGPL-3.0. На тестовой выборке Brackish Underwater автор сообщает mAP@50 99,19%, mAP@50–95 86,04% и точность 98,69%. Результаты относятся к этому датасету и протоколу оценки. Обучающие данные несбалансированы: крабы и мелкие рыбы составляют большую часть разметки, а креветки и медузы представлены редко. Все видеоматериалы получены одной камерой в одном месте в Дании, поэтому перенос на другие камеры, места и типы воды не проверен.

124авг. 2026
imageagpl-3.0hugging-face
Hengchang-Liu
D3LM-scratch

D3LM — модель дискретной диффузии для анализа и генерации последовательностей ДНК, представленная в работе «D3LM: A Discrete DNA Diffusion Language Model for Bidirectional DNA Understanding and Generation». Она предназначена прежде всего для безусловной генерации последовательностей ДНК млекопитающих, а также поддерживает заполнение замаскированных участков и генерацию текста. Модель построена на энкодере семейства ESM с Rotary Positional Embeddings и обучена с нуля на последовательностях ДНК млекопитающих. Модель содержит около 52,4 млн параметров, 12 слоёв, 16 голов внимания и скрытое представление размерности 512. Максимальная длина последовательности составляет около 2 048 токенов, словарь — 4 107 токенов. Для генерации предусмотрены диффузионные шаги денойзинга, температура и nucleus sampling. Репозиторий распространяется по лицензии Apache-2.0.

1090март 2026ctx2.1K
textapache-2.0hugging-face
roychowdhuryresearch
dna2vec

DNA2Vec — трансформерная модель roy chowdhury research для представления последовательностей ДНК в виде векторов. Она предназначена для поиска похожих последовательностей и выравнивания коротких прочтений без привязки к заранее заданному референсному геному, а также может применяться для классификации и других геномных задач. Архитектура включает 6 слоёв энкодера, 12 голов внимания и размерность эмбеддинга 1020; для сопоставления используется косинусное сходство. Модель обучалась на геномных данных с контрастивной функцией потерь и охватом около 2% генома человека. В README заявлены полнота выравнивания свыше 99% для качественных прочтений и перенос на последовательности других видов. Репозиторий содержит веса safetensors для Transformers, контекст — 1024 токена. Лицензия — MIT.

2563февр. 2025ctx1K
textmithugging-face
simecek
DNADebertaK6_Zebrafish

DNADebertaK6_Zebrafish — модель семейства DeBERTa, дообученная для работы с последовательностями ДНК зебрафиша. В карточке указана оценка loss 1,4958 на тестовом наборе, но описание обучения и набора данных отсутствует. Модель содержит 59,8 млн параметров, принимает последовательности длиной до 512 токенов и предназначена для задачи fill-mask: предсказания замаскированных фрагментов последовательности. Доступны веса PyTorch. Модель может пригодиться для анализа и восстановления участков последовательностей ДНК зебрафиша. Базовая модель и лицензия в предоставленных данных не указаны.

900сент. 2022ctx512
texthugging-face
Aquiles-ai
Evo2-7B

Evo2-7B — это неофициальный порт на Transformers чекпойнта Evo 2 7B, разработанного командой Arc Institute и сотрудниками. Модель предназначена для генерации последовательностей ДНК на уровне отдельных нуклеотидов; токенизатор побайтовый, с одним токеном на нуклеотид. Модель содержит 8,6 млрд параметров по метаданным и имеет контекст до 1 048 576 токенов. Архитектура сочетает свёртки Hyena с группированным вниманием запросов и RoPE; в варианте указаны 32 слоя, включая 5 слоёв внимания и 27 слоёв Hyena. Веса перенесены из официального чекпойнта Vortex без дообучения, а архитектура реализована на PyTorch для загрузки через Transformers. Репозиторий использует формат safetensors и лицензию Apache-2.0. Порт менее эффективен, чем исходная реализация Vortex: в нём нет FlashAttention, FP8 и объединённых ядер. Длинные входы медленно обрабатываются и требуют много памяти; для bf16 нужно около 14 ГБ видеопамяти до учёта кеша и активаций. Новая оценка качества для этой загрузки не проводилась.

1.5K2сент. 2026ctx1M
textapache-2.0hugging-face
AIRI-Institute
genatator-caduceus-ps-multispecies-segmentation

GENATATOR-Caduceus-PS — языковая модель ДНК, дообученная AIRI Institute для разметки структуры генов непосредственно по геномным последовательностям. Она выполняет многометочную классификацию на уровне нуклеотидов: для каждого нуклеотида выдаёт оценки пяти классов — 5′ UTR, экзон, интрон, 3′ UTR и CDS. Модель построена на архитектуре Caduceus PS с 16 слоями и размером скрытого представления 512; токенизация выполняется по одному нуклеотиду. Максимальная поддерживаемая длина последовательности — 250 000 нуклеотидов. Модель дообучена на мультивидовом наборе транскриптов мРНК и длинных некодирующих РНК: каждый пример содержит одну последовательность гена, без межгенных областей. Модель подходит для сегментации структуры генов в последовательностях отдельных транскриптов. Данные обучения не включали полные геномы и межгенные области, поэтому применение к таким входам не подтверждено. Веса распространяются по лицензии Apache-2.0.

1380июнь 2026ctx131.1K
textapache-2.0hugging-face
AIRI-Institute
genatator-moderngena-base-multispecies-region-model

GENATATOR-ModernGENA (Region Model) — модель AIRI Institute для анализа геномных последовательностей ДНК и поиска транскрибируемых внутригenerных областей с учётом цепи. Это дообученная ModernBERT (ModernGENA) с 22 слоями, размером около 135,5 млн параметров, BPE-токенизацией и контекстом до 1024 токенов. Модель присваивает метки на уровне токенов: определяет внутригenerные области и сигналы TSS и PolyA на прямой и обратной цепях. Модель предназначена для поиска и фильтрации областей генов в геномных последовательностях разных видов, включая участки, связанные с мРНК и длинными некодирующими РНК. Её используют как компонент конвейера обнаружения транскриптов вместе с отдельной edge-моделью, которая предсказывает границы транскриптов, и последующей обработкой вероятностных треков. Обучение проводилось на размеченных геномах 39 видов млекопитающих; для человека хромосомы 8, 20 и 21 были отложены. Репозиторий содержит веса в формате safetensors, библиотека — Transformers, лицензия — Apache-2.0. Модель предсказывает области, но не строит полные аннотации транскриптов, не определяет структуру экзонов и интронов и зависит от edge-модели и последующей обработки.

1320июнь 2026ctx1K
textapache-2.0hugging-face
GenerTeam
GENERator-v2-eukaryote-3b-base

GENERator-v2-eukaryote-3b-base — базовая генеративная модель для геномных последовательностей эукариот, разработанная GenerTeam. Она предназначена для генерации последовательностей ДНК и последующего применения в геномных исследованиях. Модель построена на плотной архитектуре семейства Llama и содержит 3 млрд параметров; для работы с последовательностями использует токенизатор 6-меров и поддерживает контекст до 16 384 токенов. Для генерации длина каждой входной последовательности должна быть кратна шести: её можно дополнить слева символами A или усечь слева. Иначе токенизатор добавляет токен вне словаря, что может приводить к повторяющимся и малоинформативным продолжениям, например AAAAAA. Модель распространяется по лицензии MIT.

5321нояб. 2025ctx16.4K
textmithugging-face
sambal
k2-horizon-7b-lndpo-rpo-full-checkpoint-200

sambal/k2-horizon-7b-lndpo-rpo-full-checkpoint-200 — полная дообученная версия IFM/K2-Horizon-7B, подготовленная для ответов на вопросы по каротажным данным в петрофизике. Модель плотная, построена на архитектуре K2HorizonForCausalLM, содержит около 8 млрд параметров и принимает текстовые запросы в диалоговом формате. Указанный для базовой модели размер контекста — до 524 288 токенов. Модель обучена методом полного дообучения с length-normalized DPO и дополнительным NLL-термом RPO на предпочтительных ответах; адаптеры не используются. Валидация на контрольной выборке показала точность предпочтений 100% на шаге 200, но это ограниченный результат конкретного эксперимента и не гарантирует качество на других задачах или данных. Модель распространяется в формате bf16 и требует remote code и шаблон чата K2-Horizon при запуске. Лицензия — Apache-2.0.

2110сент. 2026ctx524.3K
textapache-2.0hugging-face
paradigma-inc
limite-1b-violetto

Limite 1B – Violetto — плотная авторегрессионная трансформерная модель Paradigma примерно с 1 млрд параметров, обученная с нуля на тщательно отобранной смеси данных объёмом менее 300 млрд токенов. Она предназначена для высокопроизводительного решения сложных математических задач и рассуждений, особенно в режиме одного запроса без истории диалога. Модель имеет контекстное окно до 131 072 токенов и поддерживает чатовый режим; для инференса доступны Transformers и vLLM через плагин Limite. Архитектура Transformers загружается с trust_remote_code=True. По заявлению разработчиков, модель сочетает синтетические данные, контролируемое дообучение и обучение с подкреплением, а её результаты на математических бенчмарках сопоставимы с некоторыми значительно более крупными моделями. Она слабо настроена на следование инструкциям и может терять исходный смысл запроса, переосмысливая его как математическую задачу, поэтому не подходит для ожиданий универсального ассистента. Лицензия — Apache-2.0.

17K120сент. 2026ctx131.1K
textapache-2.0hugging-face
language-plus-molecules
Meditron7b-smiles2caption-LPM24

Meditron7b-smiles2caption-LPM24 — языковая модель семейства Llama с 6,6 млрд параметров, опубликованная организацией Language Plus Molecules. Она предназначена для генерации текста; название репозитория указывает на сценарий преобразования SMILES в текстовое описание молекулы, однако README не раскрывает формат входных данных или качество выполнения этой задачи. Модель использует архитектуру LlamaForCausalLM, библиотеку Transformers и веса safetensors; родная длина контекста — 2048 токенов. Модель создана на базе Meditron 7B, но сведения о способе и данных дообучения в карточке отсутствуют. Лицензия и языки поддержки не указаны в доступных метаданных и README. Использовать её следует с учётом ограниченного контекста и проверки точности сгенерированных описаний молекул.

161февр. 2024ctx2K
texthugging-face
jaluus
ParticleViT-L

ParticleViT-L — трансформерная модель семейства ParticleViT для извлечения признаков из частиц, составляющих струю в данных коллайдера. Модель разработана авторами работы «Predict before you train: scaling laws for particle physics foundation models» и обучена на корпусе OmniLearned, объединяющем симулированные и реальные данные о струях. Размер модели — 126,1 млн параметров; архитектура включает 10 слоёв, ширину 1024 и 16 голов внимания. Каждая частица представлена токеном, а итоговое представление считывается с добавленного CLS-токена. Модель предназначена для получения представлений струй и последующей тонкой настройки под классификацию и tagging, например для различения типов струй. Она принимает наборы до 150 частиц с девятью каналами признаков; для инференса требуется поставляемая замороженная нормализация кинематических признаков. У модели нет специализированных физических индуктивных смещений, таких как лоренц-эквивариантность или признаки попарных взаимодействий. Веса опубликованы в формате safetensors, код рассчитан на PyTorch и поддерживает инференс на CPU и GPU. Лицензия — MIT.

90июнь 2026
textembeddingmithugging-face
HudeKing
PixVL-model-c-bestcap-cyclegrpo

HudeKing/PixVL-model-c-bestcap-cyclegrpo — публичный экспорт модели PixVL, разработанный на основе Qwen3-VL-4B-SAMTok. Это плотная мультимодальная модель семейства Qwen3-VL с архитектурой Qwen3VLForConditionalGeneration; репозиторий содержит полный экспорт для Hugging Face в формате safetensors. В метаданных основная задача указана как сегментация изображений. Модель предназначена для исследовательского применения и может использоваться для сегментации изображений. README указывает, что она следует лицензии и ограничениям использования исходной модели; в метаданных для репозитория указана лицензия MIT.

100авг. 2026ctx262.1K
imagemithugging-face
zhangtaolab
plant-dnagpt-BPE

Plant-DNAGPT-BPE — модель семейства GPT-2, разработанная zhangtaolab для работы с последовательностями ДНК растений. Она предварительно обучена методом CausalLM на референсных геномах растений; для токенизации используется специализированный BPE-токенизатор со словарём из 8000 токенов. В репозитории доступны веса в формате Safetensors, а размер моделей этой серии составляет примерно 90–150 МБ. Модель предназначена для генерации продолжений последовательностей ДНК и исследовательских задач по анализу геномов растений. README указывает максимальную длину обучающих последовательностей 512 токенов, а метаданные — контекст 1024 токена. Это специализированная геномная модель, поэтому её результаты не следует трактовать как биологически подтверждённые без проверки. Лицензия CC BY-NC-SA 4.0 требует указания авторства и ограничивает коммерческое использование.

6112июнь 2024ctx1K
textcc-by-nc-sa-4.0hugging-face
ShuaiAnwo
pore-codec-rsq742c12a-514

PoreCodec-RSQ742C12A — нейронный кодек для электрических сигналов нанопорового секвенирования. Модель преобразует непрерывные измерения ионного тока в компактные иерархические последовательности дискретных токенов и может восстанавливать сигнал по этим представлениям. Архитектура включает одномерный свёрточный кодировщик, 512-мерное латентное представление и детерминированную Residual Finite Scalar Quantization с двумя этапами квантования; коэффициент понижения временного разрешения — 4. Модель доступна через Transformers и хранится в формате Safetensors. Кодек предназначен для токенизации и сжатия сигналов нанопор, построения представлений для моделей последовательностей, а также для поиска и индексирования чтений. FeatureExtractor выполняет предобработку сигнала, включая удаление выбросов и нормализацию. По данным карточки, конечные кодовые книги хранятся в контрольной точке, а детерминированное скалярное квантование избегает коллапса кодовой книги, характерного для некоторых VQ-VAE. Модель не предназначена для basecalling или предсказания последовательности ДНК; она рассчитана на предварительно обработанные сигналы нанопорового тока. Лицензия — Apache-2.0.

140июнь 2026
textembeddingapache-2.0hugging-face
ShuaiAnwo
pore-codec-rsq742c36a-519

PoreCodec-RSQ742C36A — лёгкий нейронный кодек для электрических сигналов нанопорового секвенирования. Модель разработана для преобразования непрерывных измерений ионного тока в иерархические последовательности дискретных токенов, пригодные для последующего обучения биологических фундаментальных моделей, поиска и анализа представлений. Карточка указывает архитектуру PoreRSQCodec; метаданные относят её к семейству pore_codec_rsq742c36a и классу dense. Кодировщик использует пять слоёв одномерных дилатированных свёрток и формирует 512-мерные признаки, сохраняя исходную временную длину: каждому входному отсчёту соответствует один токен. Дискретизация выполняется двумя остаточными квантователями Finite Scalar Quantization с уровнями 7×7×7×7 и размером кодовой книги 2401. Декодер может восстанавливать сигнал из токенов; предобработчик поддерживает исправление границ, удаление выбросов, нормализацию и необязательную фильтрацию. Модель принимает одноканальный сигнал нанопорового тока и выдаёт токены, квантованные представления и реконструированный сигнал. Модель подходит для токенизации и представления биологических сигналов, компрессии и индексирования нанопоровых чтений, а также как интерфейс сигнал-токен для последующих моделей. Она требует предварительно обработанных сигналов и не выполняет непосредственно basecalling или предсказание нуклеотидной последовательности. Доступна по лицензии Apache-2.0; модельные файлы представлены в формате safetensors.

180июнь 2026
textembeddingapache-2.0hugging-face
neuralbioinfo
prokbert-mini

ProkBERT-mini — модель семейства ProkBERT от Neural Bioinformatics Research Group для анализа последовательностей ДНК, особенно в задачах микробиомики. Это плотная трансформерная модель на архитектуре MegatronBert с 26,3 млн параметров по метаданным. Она использует токенизатор 6-меров со сдвигом 1, отображает токены в 384-мерное пространство и принимает контекст до 1024 токенов; в README длина контекста также описана как 1024 пары оснований. Модель предварительно обучена для восстановления замаскированных перекрывающихся k-меров и предназначена для анализа геномных последовательностей, в том числе извлечения закономерностей и классификации. После сегментации и токенизации последовательностей её можно применять для заполнения масок и задач классификации; поддержка text-classification указана в метаданных каталога. Модель не предназначена для обычного текста. README сообщает о тестировании в определённых геномных контекстах и предупреждает, что качество в других сценариях не гарантируется. Перед применением в конкретной задаче результаты следует дополнительно проверить. Лицензия CC-BY-NC-4.0 разрешает использование с указанием авторства, но ограничивает коммерческое применение.

9582авг. 2023ctx1K
textcc-by-nc-4.0hugging-face
neuralbioinfo
prokbert-mini-long

ProkBERT-mini-long — геномная языковая модель группы Neural Bioinformatics Research Group для анализа микробиомных и других геномных последовательностей. Она предназначена для восстановления замаскированных участков ДНК и может служить основой для классификации последовательностей и исследования геномных паттернов. Модель относится к семейству ProkBERT и использует плотную архитектуру BERT для masked language modeling. В README указаны 26,6 млн параметров, представления размерности 384, контекст до 4096 пар оснований и токенизатор 6-меров со сдвигом 2; метаданные указывают 33,5 млн параметров и контекст 2048 токенов. Модель обучалась на геномных последовательностях с задачей восстановления перекрывающихся k-меров. Вход — последовательности ДНК; модель выдаёт предсказания замаскированных токенов и может использоваться для классификации. Для подготовки данных последовательности обычно загружают из FASTA, сегментируют на фрагменты подходящей длины и токенизируют. Модель предназначена для геномного анализа, но её результаты за пределами проверенных геномных контекстов не гарантированы и требуют отдельной оценки. Лицензия CC BY-NC 4.0 разрешает использование с указанием авторства, но некоммерческое.

5911янв. 2024ctx2K
textcc-by-nc-4.0hugging-face
violetxi
qwen35-9b-equational-theory-sair-r3-mix1m

Qwen3.5-9B equational-theory SAIR R3 — это полноразмерное дообучение Qwen3.5-9B, опубликованное violetxi. Модель предназначена для диалога и ответов на вопросы по теории уравнений, включая работу с заметками R0–R3 и задачами, сформулированными на Lean. Она использует плотную архитектуру Qwen3.5 с 9 млрд параметров и представлена полными BF16-весами в формате safetensors; зрительные и MTP-веса унаследованы от базовой модели. Обучение проводилось методом SFT на смеси заметок и траекторий «вопрос—ответ». Модель загружается через Transformers с поддержкой Qwen3.5 и может обслуживаться vLLM; доступны шаблон чата и интерфейс вызова инструментов. Базовая Qwen3.5-9B мультимодальна, однако обучение этой версии сосредоточено на текстовых математических материалах. Итоговая оценка математической точности ещё не опубликована. Потери обучения и валидации не показывают точность доказательств, а оценки GPT не заменяют проверку доказательств в Lean. Модель распространяется по лицензии Apache-2.0.

3560сент. 2026ctx262.1K
textapache-2.0hugging-face
formalmathatepfl
qwen3-sft-feedback-with-proof-repair-rl

Это дообученная модель Qwen3 для генерации текста и диалогового взаимодействия, опубликованная пользователем formalmathatepfl. Она создана на основе Qwen/Qwen3-8B-Base и дополнительно обучена на наборе lean_selfdistill_r1_train; название и данные карточки указывают на настройку для работы с формальными математическими доказательствами и их исправлением. Модель имеет плотную авторегрессионную архитектуру Qwen3ForCausalLM, содержит 7,6 млрд параметров и поддерживает контекст до 32 768 токенов. Репозиторий содержит веса в формате Safetensors. Карточка не приводит результаты оценки качества и конкретные инструкции по применению. Лицензия указана как other, поэтому условия использования следует сверить с лицензией репозитория и базовой модели.

8730сент. 2026ctx32.8K
textotherhugging-face
globuslabs
ScholarBERT-XL

ScholarBERT-XL100 — англоязычная модель семейства BERT от Globus Labs, предварительно обученная на 221 млрд токенов научных статей из корпуса PRD. Это чувствительная к регистру плотная модель с архитектурой BertForMaskedLM: 36 слоёв, размер скрытого состояния 1280, 20 голов внимания и контекст до 512 токенов. В README указано 770 млн параметров, тогда как метаданные Hugging Face сообщают 1 млрд. Модель предназначена для заполнения пропусков в научных текстах на английском языке и может использоваться в сценариях продолжения или анализа научных формулировок через masked language modeling. Обучающий корпус охватывает гуманитарные науки, науки о жизни и биомедицину, физические и социальные науки, а также технологии. Доступны веса PyTorch и Safetensors. Лицензия — Apache 2.0.

468май 2022ctx512
textapache-2.0hugging-face
Sejibeji
tso-foundation-v17

TSO Foundation Model v17 — исследовательская модель временных рядов, разработанная автором репозитория Sejibeji. Она обучается представлять динамические системы в скрытом пространстве, где их эволюция приближённо линейна, и предназначена для прогнозирования новых временных рядов без дообучения: для переноса выполняется замкнутая подгонка оператора Koopman на замороженном представлении. Архитектура включает вложения Такенса, представления на нескольких масштабах, глубокий энкодер Koopman lift и сверточный классификатор направления времени; размер латентного пространства — 256, скрытого слоя — 768. Предобучение использует самоконтролируемые задачи реконструкции, моделирования динамики Koopman, согласования масштабов и определения направления времени на рядах из энергетики, метеорологии, ЭКГ, финансов, эпидемиологии, экономики, солнечной физики и хаотических систем. README сообщает о нулевом дообучении при переносе и приводит результаты сравнения на 40 рядах, но эти оценки относятся к описанному автором эксперименту. Модель испытывает трудности на рядах со всплесками и почти единичным корнем, а возможности линейного пробника ограничивают качество переноса. Лицензия — MIT.

90сент. 2026
textmithugging-face
nccratliri
whisperseg-large-ms

WhisperSeg-large-ms — версия WhisperSeg, разработанная исследователями из Университета Цюриха и ETH Zurich для сегментации вокализаций людей и животных. Это дообученный на наборах данных по вокализациям пяти видов чекпойнт модели Whisper large, использующей архитектуру Transformer и исходно предназначенной для распознавания речи. Модель принимает аудио и возвращает временные границы сегментов вокализации и метки кластеров; в примере README показаны сегменты зебровой амадины. Модель подходит для выделения голосовой активности и вокализаций в аудиозаписях людей и животных, в том числе для акустических исследований. В репозитории указаны PyTorch и лицензия Apache-2.0. Параметров около 905,2 млн. README не уточняет, какие именно пять видов вошли в обучение, поэтому переносимость на другие виды и условия записи не подтверждена.

560сент. 2023ctx1K
textaudioapache-2.0hugging-face
blizrys
biobert-v1.1-finetuned-pubmedqa

blizrys/biobert-v1.1-finetuned-pubmedqa — модель на архитектуре BERT, созданная дообучением dmis-lab/biobert-v1.1 для классификации текстов. Она предназначена для задач, связанных с PubMedQA и ответами на вопросы по биомедицинским публикациям. В метаданных указаны 135,5 млн параметров, контекст до 512 токенов и формат PyTorch. На оценочном наборе модель показала accuracy 0,7 и loss 0,7737. README не раскрывает состав меток, обучающего набора данных или подробности использования, поэтому результаты не позволяют судить о качестве на других задачах. Лицензия в предоставленных данных не указана.

2.2K2март 2022ctx512
texthugging-face
dronefreak
brackish-yolo11x

Это модель обнаружения объектов YOLO11x, дообученная на подводном наборе данных Brackish Underwater в рамках DetectionBench. Она предназначена для поиска и локализации крабов, рыб, медуз, креветок, мелких рыб и морских звёзд на подводных изображениях и кадрах видео. Модель использует архитектуру семейства Ultralytics YOLO11 и распространяется в формате PyTorch по лицензии AGPL-3.0. На тестовой части Brackish Underwater модель показала mAP@50 98,89%, mAP@50–95 86,3% и точность 98,84% в стандартном конвейере оценки DetectionBench. Результаты относятся к этому набору данных и не подтверждают качество на других камерах, локациях или типах воды. В обучающих данных выражен дисбаланс классов: креветки и медузы представлены редко, поэтому оценки для них основаны на сравнительно небольшом числе примеров. Данные получены с одной неподвижной камеры в Дании и прошли стороннее преобразование в формат YOLO.

411авг. 2026
imageagpl-3.0hugging-face

Задачи профессии

39 задач
897Построение карты научной области по понятиям, методам, результатам и противоречиям. — Практическая реализация: AI создаёт вычислительное представление объекта или процесса и проигрывает на нём альтернативные сценарии. Входной контекст включает симуляции, лабораторные измерения, параметры материалов и публикации. Формат результата: вычислительная модель или карта для «Построение карты научной области по понятиям, методам, результатам и противоречиям» с результатами сценариев и анализом чувствительности. Ошибки выявляют сопоставлением с наблюдениями, тестами чувствительности и воспроизводимостью вычислений; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
898Выявление незакрытого исследовательского вопроса на стыке нескольких дисциплин. — Механизм: AI анализирует поток наблюдений и локализует признаки, которые отличают целевой объект или нарушение от обычного состояния. Исходные данные: лабораторные измерения, параметры материалов, публикации и экспериментальные данные. Формат результата: перечень объектов, событий или отклонений, относящихся к «Выявление незакрытого исследовательского вопроса на стыке нескольких дисциплин», с локализацией, уверенностью и признаками срабатывания. Проверка: по полноте обнаружения, доле ложных срабатываний и качеству локализации на независимой выборке; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
899Генерация проверяемой научной гипотезы с указанием наблюдений, которые могли бы её опровергнуть. — AI генерирует черновой результат, согласованный с контекстом, форматом и стилевыми требованиями задачи. К исходным данным относятся параметры материалов, публикации, экспериментальные данные и формулы. Формат результата: редактируемый артефакт по задаче «Генерация проверяемой научной гипотезы с указанием наблюдений, которые могли бы её опровергнуть», согласованный с исходными фактами, форматом и ограничениями; тип артефакта — научный артефакт. Надёжность оценивают по соответствию фактам, требованиям, формату и качеству последующей экспертной доработки; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
900Поиск альтернативного механизма, объясняющего тот же экспериментальный результат. — Для этой задачи система индексирует доступные материалы, понимает смысл запроса и ранжирует кандидатов по содержательному совпадению. Рабочие входы: публикации, экспериментальные данные, формулы и симуляции. Формат результата: ранжированный список кандидатов по задаче «Поиск альтернативного механизма, объясняющего тот же экспериментальный результат» со ссылками на источники, оценкой соответствия и фрагментами подтверждения. Критерии приёмки: по релевантности, полноте, отсутствию недопустимых источников и точности ссылок на подтверждение; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
901Предложение различающего эксперимента между конкурирующими гипотезами. — Практическая реализация: AI оценивает полезность каждого варианта в текущем контексте и предлагает несколько альтернатив с объяснением компромиссов. Входной контекст включает экспериментальные данные, формулы, симуляции и лабораторные измерения. Формат результата: несколько вариантов для «Предложение различающего эксперимента между конкурирующими гипотезами», ранжированных по полезности, ограничениям и причинам выбора. Ошибки выявляют по полезности для пользователя, соблюдению ограничений и качеству результата после принятия рекомендации; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
902Оптимизация плана эксперимента при дорогих, редких или опасных измерениях. — Механизм: AI сравнивает альтернативы по нескольким критериям и ищет устойчивый компромисс между качеством, стоимостью, временем и риском. Исходные данные: формулы, симуляции, лабораторные измерения и параметры материалов. Формат результата: рекомендуемая конфигурация для «Оптимизация плана эксперимента при дорогих, редких или опасных измерениях» с целевыми показателями, ограничениями и сравнением с исходным вариантом. Проверка: сравнением с базовым решением, проверкой всех ограничений и испытанием устойчивости при изменении условий; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
903Автоматическое управление замкнутым циклом научного эксперимента. — AI оценивает текущее состояние, рассчитывает управляющее воздействие и корректирует его по обратной связи. К исходным данным относятся симуляции, лабораторные измерения, параметры материалов и публикации. Формат результата: управляющее решение для «Автоматическое управление замкнутым циклом научного эксперимента» с ожидаемым эффектом, допустимыми пределами и условиями безопасной остановки. Надёжность оценивают в симуляции и контролируемых испытаниях, с проверкой устойчивости и независимых аварийных ограничений; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
904Проверка воспроизводимости результата по данным, коду, параметрам и протоколу. — Для этой задачи система сверяет объект с эталоном, правилами и взаимными зависимостями, отмечая пропуски, конфликты и нарушения. Рабочие входы: лабораторные измерения, параметры материалов, публикации и экспериментальные данные. Формат результата: протокол выполнения «Проверка воспроизводимости результата по данным, коду, параметрам и протоколу» с пройденными условиями, найденными нарушениями и спорными местами для ручного решения. Критерии приёмки: повторным запуском на эталонных примерах, ручной проверкой спорных случаев и полнотой контрольного покрытия; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
905Выявление несогласованности единиц, калибровок и метаданных в научном наборе данных. — Практическая реализация: AI сочетает обученные шаблоны с контрольными правилами, чтобы находить значимые случаи и не пропускать пограничные примеры. Входной контекст включает параметры материалов, публикации, экспериментальные данные и формулы. Формат результата: перечень объектов, событий или отклонений, относящихся к «Выявление несогласованности единиц, калибровок и метаданных в научном наборе данных», с локализацией, уверенностью и признаками срабатывания. Ошибки выявляют по полноте обнаружения, доле ложных срабатываний и качеству локализации на независимой выборке; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
906Обнаружение неисправности научного прибора по форме сигнала и контрольным измерениям. — Механизм: AI выделяет информативные признаки, сравнивает их с нормой и отмечает случаи, соответствующие искомому событию. Исходные данные: публикации, экспериментальные данные, формулы и симуляции. Формат результата: перечень объектов, событий или отклонений, относящихся к «Обнаружение неисправности научного прибора по форме сигнала и контрольным измерениям», с локализацией, уверенностью и признаками срабатывания. Проверка: по полноте обнаружения, доле ложных срабатываний и качеству локализации на независимой выборке; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
907Автоматическая калибровка измерительной системы. — AI поддерживает процесс в допустимом диапазоне, выбирая безопасные действия с учётом инерции и задержек системы. К исходным данным относятся экспериментальные данные, формулы, симуляции и лабораторные измерения. Формат результата: управляющее решение для «Автоматическая калибровка измерительной системы» с ожидаемым эффектом, допустимыми пределами и условиями безопасной остановки. Надёжность оценивают в симуляции и контролируемых испытаниях, с проверкой устойчивости и независимых аварийных ограничений; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
908Разделение перекрывающихся компонент спектра или другого сложного физического сигнала. — Для этой задачи система строит границы между категориями и ранжирует объекты так, чтобы наиболее важные или срочные обрабатывались раньше. Рабочие входы: формулы, симуляции, лабораторные измерения и параметры материалов. Формат результата: результат «Разделение перекрывающихся компонент спектра или другого сложного физического сигнала» в виде метки, класса, ранга или тематического слоя с уверенностью и объясняющими признаками. Критерии приёмки: по матрице ошибок, калибровке уверенности и отдельному анализу пограничных классов; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
909Восстановление скрытого объекта или параметров из косвенных измерений как обратная задача. — Практическая реализация: AI преобразует исходный материал по заданным правилам, сохраняя смысл, структуру и критически важные детали. Входной контекст включает симуляции, лабораторные измерения, параметры материалов и публикации. Формат результата: преобразованный материал по задаче «Восстановление скрытого объекта или параметров из косвенных измерений как обратная задача» с сохранённым содержанием и журналом значимых изменений. Ошибки выявляют сравнением смысла и структуры до и после преобразования, а также поиском потерянных элементов; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
910Оценка параметров научной модели с количественной неопределённостью. — Механизм: AI объединяет количественные и качественные признаки, после чего формирует оценку и показывает вклад основных факторов. Исходные данные: лабораторные измерения, параметры материалов, публикации и экспериментальные данные. Формат результата: оценка по задаче «Оценка параметров научной модели с количественной неопределённостью» в числовой или категориальной форме с расшифровкой факторов, допущений и неопределённости. Проверка: сверкой с экспертными оценками или фактическими исходами, а также анализом чувствительности к входным данным; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
911Построение быстрой surrogate-модели для замены дорогой численной симуляции. — AI объединяет уравнения, эмпирические данные и обученные зависимости в модель, пригодную для анализа чувствительности. К исходным данным относятся параметры материалов, публикации, экспериментальные данные и формулы. Формат результата: вычислительная модель или карта для «Построение быстрой surrogate-модели для замены дорогой численной симуляции» с результатами сценариев и анализом чувствительности. Надёжность оценивают сопоставлением с наблюдениями, тестами чувствительности и воспроизводимостью вычислений; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
912Ускорение молекулярной, климатической, гидродинамической или квантовой симуляции. — Для этой задачи система создаёт вычислительное представление объекта или процесса и проигрывает на нём альтернативные сценарии. Рабочие входы: публикации, экспериментальные данные, формулы и симуляции. Формат результата: вычислительная модель или карта для «Ускорение молекулярной, климатической, гидродинамической или квантовой симуляции» с результатами сценариев и анализом чувствительности. Критерии приёмки: сопоставлением с наблюдениями, тестами чувствительности и воспроизводимостью вычислений; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
913Выявление неизвестного уравнения или закона по наблюдаемым данным. — Практическая реализация: AI анализирует поток наблюдений и локализует признаки, которые отличают целевой объект или нарушение от обычного состояния. Входной контекст включает экспериментальные данные, формулы, симуляции и лабораторные измерения. Формат результата: перечень объектов, событий или отклонений, относящихся к «Выявление неизвестного уравнения или закона по наблюдаемым данным», с локализацией, уверенностью и признаками срабатывания. Ошибки выявляют по полноте обнаружения, доле ложных срабатываний и качеству локализации на независимой выборке; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
914Символьное упрощение и преобразование математических выражений. — Механизм: AI переводит объект в новый формат или вид, контролируя потери информации и нежелательные артефакты. Исходные данные: формулы, симуляции, лабораторные измерения и параметры материалов. Формат результата: преобразованный материал по задаче «Символьное упрощение и преобразование математических выражений» с сохранённым содержанием и журналом значимых изменений. Проверка: сравнением смысла и структуры до и после преобразования, а также поиском потерянных элементов; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
915Поиск доказательства математического утверждения. — AI индексирует доступные материалы, понимает смысл запроса и ранжирует кандидатов по содержательному совпадению. К исходным данным относятся симуляции, лабораторные измерения, параметры материалов и публикации. Формат результата: ранжированный список кандидатов по задаче «Поиск доказательства математического утверждения» со ссылками на источники, оценкой соответствия и фрагментами подтверждения. Надёжность оценивают по релевантности, полноте, отсутствию недопустимых источников и точности ссылок на подтверждение; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
916Формальная проверка корректности математического доказательства. — Для этой задачи система сверяет объект с эталоном, правилами и взаимными зависимостями, отмечая пропуски, конфликты и нарушения. Рабочие входы: лабораторные измерения, параметры материалов, публикации и экспериментальные данные. Формат результата: протокол выполнения «Формальная проверка корректности математического доказательства» с пройденными условиями, найденными нарушениями и спорными местами для ручного решения. Критерии приёмки: повторным запуском на эталонных примерах, ручной проверкой спорных случаев и полнотой контрольного покрытия; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
917Генерация контрпримера к ошибочной гипотезе. — Практическая реализация: AI генерирует черновой результат, согласованный с контекстом, форматом и стилевыми требованиями задачи. Входной контекст включает параметры материалов, публикации, экспериментальные данные и формулы. Формат результата: редактируемый артефакт по задаче «Генерация контрпримера к ошибочной гипотезе», согласованный с исходными фактами, форматом и ограничениями; тип артефакта — научный артефакт. Ошибки выявляют по соответствию фактам, требованиям, формату и качеству последующей экспертной доработки; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
918Классификация редких событий в данных физического эксперимента. — Механизм: AI извлекает признаки, относит каждый объект к подходящей категории или уровню приоритета и оценивает уверенность. Исходные данные: публикации, экспериментальные данные, формулы и симуляции. Формат результата: результат «Классификация редких событий в данных физического эксперимента» в виде метки, класса, ранга или тематического слоя с уверенностью и объясняющими признаками. Проверка: по матрице ошибок, калибровке уверенности и отдельному анализу пограничных классов; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
919Управление сложной физической системой, например плазмой или квантовым устройством. — AI поддерживает процесс в допустимом диапазоне, выбирая безопасные действия с учётом инерции и задержек системы. К исходным данным относятся экспериментальные данные, формулы, симуляции и лабораторные измерения. Формат результата: управляющее решение для «Управление сложной физической системой, например плазмой или квантовым устройством» с ожидаемым эффектом, допустимыми пределами и условиями безопасной остановки. Надёжность оценивают в симуляции и контролируемых испытаниях, с проверкой устойчивости и независимых аварийных ограничений; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
920Прогноз свойства материала по составу и структуре. — Для этой задачи система сопоставляет прошлые случаи с текущим состоянием и моделирует, как результат меняется при разных предпосылках. Предметная логика: обучает отображение «структура — свойства» и оценивает вклад зерна, фаз, пор и дефектов в наблюдаемые характеристики. Рабочие входы: дескрипторы структуры, результаты физических испытаний и состав и технология обработки. Формат результата: прогноз для условия «Прогноз свойства материала по составу и структуре» с горизонтом, вероятностями сценариев, диапазоном неопределённости и главными влияющими факторами; предметный формат — модель для прогноза прочности, проводимости, твёрдости или других свойств. Критерии приёмки: на материалах и режимах, не использованных при обучении, с физическими ограничениями; на отложенных периодах, по калибровке вероятностей, ошибке прогноза и устойчивости к изменению предпосылок.
921Обратное проектирование материала под заданные механические, тепловые или электрические свойства. — Практическая реализация: AI разбивает цель на действия, учитывает зависимости и ресурсы, после чего строит выполнимую последовательность. Входной контекст включает симуляции, лабораторные измерения, параметры материалов и публикации. Формат результата: выполнимый план для «Обратное проектирование материала под заданные механические, тепловые или электрические свойства» с последовательностью действий, ресурсами, зависимостями и резервами. Ошибки выявляют симуляцией исполнения, проверкой сроков и ресурсов и сравнением с фактическим результатом; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
922Поиск устойчивой кристаллической структуры и фазового состояния. — Механизм: AI преобразует запрос и объекты в сопоставимое представление, затем находит наиболее близкие и подтверждённые результаты. Исходные данные: лабораторные измерения, параметры материалов, публикации и экспериментальные данные. Формат результата: ранжированный список кандидатов по задаче «Поиск устойчивой кристаллической структуры и фазового состояния» со ссылками на источники, оценкой соответствия и фрагментами подтверждения. Проверка: по релевантности, полноте, отсутствию недопустимых источников и точности ссылок на подтверждение; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
923Построение или уточнение фазовой диаграммы. — AI объединяет уравнения, эмпирические данные и обученные зависимости в модель, пригодную для анализа чувствительности. К исходным данным относятся параметры материалов, публикации, экспериментальные данные и формулы. Формат результата: вычислительная модель или карта для «Построение или уточнение фазовой диаграммы» с результатами сценариев и анализом чувствительности. Надёжность оценивают сопоставлением с наблюдениями, тестами чувствительности и воспроизводимостью вычислений; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
924Определение фазы и дефектов материала по дифракционным данным. — Для этой задачи система сопоставляет наблюдаемые признаки с критериями и устанавливает требуемое значение, состояние или вариант. Рабочие входы: публикации, экспериментальные данные, формулы и симуляции. Формат результата: установленное значение или вариант по задаче «Определение фазы и дефектов материала по дифракционным данным» с оценкой уверенности и основаниями решения. Критерии приёмки: по точности относительно эталона, калибровке уверенности и разбору случаев, где источники расходятся; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
925Проектирование сплава с требуемым сочетанием прочности, массы и технологичности. — Практическая реализация: AI формирует план в виде ограниченной задачи расписания или маршрутизации и пересчитывает его при изменении условий. Входной контекст включает экспериментальные данные, формулы, симуляции и лабораторные измерения. Формат результата: выполнимый план для «Проектирование сплава с требуемым сочетанием прочности, массы и технологичности» с последовательностью действий, ресурсами, зависимостями и резервами. Ошибки выявляют симуляцией исполнения, проверкой сроков и ресурсов и сравнением с фактическим результатом; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
926Проектирование полимера с заданной стабильностью, проводимостью или разлагаемостью. — Механизм: AI распределяет работы, время и ресурсы так, чтобы соблюсти обязательные сроки, мощности и правила безопасности. Исходные данные: формулы, симуляции, лабораторные измерения и параметры материалов. Формат результата: выполнимый план для «Проектирование полимера с заданной стабильностью, проводимостью или разлагаемостью» с последовательностью действий, ресурсами, зависимостями и резервами. Проверка: симуляцией исполнения, проверкой сроков и ресурсов и сравнением с фактическим результатом; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
927Поиск катализатора с высокой активностью, селективностью и долговечностью. — AI индексирует доступные материалы, понимает смысл запроса и ранжирует кандидатов по содержательному совпадению. К исходным данным относятся симуляции, лабораторные измерения, параметры материалов и публикации. Формат результата: ранжированный список кандидатов по задаче «Поиск катализатора с высокой активностью, селективностью и долговечностью» со ссылками на источники, оценкой соответствия и фрагментами подтверждения. Надёжность оценивают по релевантности, полноте, отсутствию недопустимых источников и точности ссылок на подтверждение; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
928Поиск материала для аккумулятора с нужной ёмкостью, безопасностью и ресурсом. — Для этой задачи система преобразует запрос и объекты в сопоставимое представление, затем находит наиболее близкие и подтверждённые результаты. Рабочие входы: лабораторные измерения, параметры материалов, публикации и экспериментальные данные. Формат результата: ранжированный список кандидатов по задаче «Поиск материала для аккумулятора с нужной ёмкостью, безопасностью и ресурсом» со ссылками на источники, оценкой соответствия и фрагментами подтверждения. Критерии приёмки: по релевантности, полноте, отсутствию недопустимых источников и точности ссылок на подтверждение; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
929Проектирование метаматериала или фотонной структуры с заданным откликом. — Практическая реализация: AI распределяет работы, время и ресурсы так, чтобы соблюсти обязательные сроки, мощности и правила безопасности. Входной контекст включает параметры материалов, публикации, экспериментальные данные и формулы. Формат результата: выполнимый план для «Проектирование метаматериала или фотонной структуры с заданным откликом» с последовательностью действий, ресурсами, зависимостями и резервами. Ошибки выявляют симуляцией исполнения, проверкой сроков и ресурсов и сравнением с фактическим результатом; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости.
930Прогноз технологического маршрута синтеза нового материала. — AI подбирает последовательность операций для получения нового материала с заданным составом и свойствами: выбирает прекурсоры, возможные реакции, температуру, давление, атмосферу, время выдержки, очистку и последующую обработку. На вход поступают публикации, базы реакций, свойства исходных веществ и результаты прошлых синтезов. На выходе — несколько технологических маршрутов с оценкой реализуемости, стоимости, риска побочных фаз и вероятности успешного воспроизведения; окончательно маршрут проверяют лабораторным синтезом и анализом полученного продукта.
931Оптимизация параметров синтеза для получения требуемой микроструктуры. — AI ищет режим синтеза и обработки, при котором формируются требуемые размер зерна, пористость, фазовый состав, ориентация кристаллов или распределение дефектов. Система связывает состав смеси, температуру, давление, скорость нагрева и охлаждения и время выдержки с результатами микроскопии и фазового анализа, после чего предлагает следующий наиболее информативный эксперимент. Результат — набор параметров с прогнозируемой микроструктурой и диапазоном неопределённости; его подтверждают на независимых образцах.
932Прогноз деградации материала под нагрузкой, температурой, радиацией или коррозией. — AI оценивает, как со временем изменятся прочность, пластичность, масса, структура и функциональные свойства материала под механической нагрузкой, температурой, радиацией или в коррозионной среде. Модель использует состав и микроструктуру, историю воздействий, данные ускоренных испытаний и физические закономерности накопления повреждений. На выходе — прогноз остаточного ресурса, вероятного механизма разрушения и момента достижения критического состояния, который проверяют длительными испытаниями в условиях, близких к эксплуатации.
933Связывание микроструктуры материала с его макроскопическими свойствами. — AI строит количественную связь между микроструктурой и наблюдаемыми свойствами материала. В модель поступают изображения и дескрипторы размера зерна, пористости, дефектов, фазового состава и распределения компонентов вместе с результатами испытаний на прочность, твёрдость, проводимость и другие характеристики. Результатом становится модель «структура — свойства», позволяющая прогнозировать макроскопическое поведение и проектировать требуемую структуру; её проверяют на новых материалах и режимах обработки.
934Выбор минимального набора физических испытаний для надёжной сертификации материала. — AI определяет, какие физические испытания дадут достаточно независимых доказательств безопасности и соответствия материала нормативам при минимальных затратах времени, образцов и оборудования. Система учитывает обязательные требования стандартов, взаимную информативность тестов, условия эксплуатации, стоимость и разрушительный характер испытаний. На выходе — обоснованный план с указанием риска, покрываемого каждым тестом, и остаточной неопределённости; окончательный набор утверждает орган сертификации или профильный эксперт.
935Приоритизация научных проектов по новизне, реализуемости, риску и потенциальному эффекту. — AI строит границы между категориями и ранжирует объекты так, чтобы наиболее важные или срочные обрабатывались раньше. К исходным данным относятся параметры материалов, публикации, экспериментальные данные и формулы. Формат результата: результат «Приоритизация научных проектов по новизне, реализуемости, риску и потенциальному эффекту» в виде метки, класса, ранга или тематического слоя с уверенностью и объясняющими признаками. Надёжность оценивают по матрице ошибок, калибровке уверенности и отдельному анализу пограничных классов; воспроизводимыми вычислениями, доказательствами, экспериментом, peer review и явной оценкой неопределённости. <a id="section-iv-7"></a>

0 моделей