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

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

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

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

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

4 120 моделей
Загрузки
Лайки
Дата выхода
301–330 из 4 120
RobBobin
math-embed

RobBobin/math-embed — дообученная модель эмбеддингов на базе allenai/specter2_base для семантического поиска математических документов. Она предназначена прежде всего для поиска научных статей и их фрагментов по запросам о комбинаторике, включая теорию представлений, симметрические функции и алгебраическую комбинаторику. Модель использует плотный BERT-энкодер на 137,1 млн параметров и выдаёт 768-мерные векторы; обучение с Matryoshka Representation Learning позволяет сокращать размерность до 512, 256 или 128. Метаданные указывают английский язык, библиотеку Sentence Transformers и контекст до 512 токенов; в README для обучения указана максимальная длина последовательности 256 токенов. В описанном авторами тесте поиска математических статей модель показала MRR 0,816 и NDCG@10 0,736 на 108 запросах и 4 794 фрагментах статей. Её область обучения ограничена главным образом публикациями по комбинаторике, поэтому качество поиска в других областях математики и науки может быть ниже. Модель распространяется по лицензии Apache-2.0.

2650март 2026ctx512
textembeddingapache-2.0hugging-face
OpenMed
OpenMed-ZeroShot-NER-Chemical-Large-459M

OpenMed/OpenMed-ZeroShot-NER-Chemical-Large-459M — специализированная модель OpenMed для распознавания упоминаний химических веществ в биомедицинских текстах. Она построена на архитектуре GLiNER и дообучена на корпусе BC4CHEMD; заявленный размер — 459 млн параметров. Модель принимает текст и возвращает найденные фрагменты с метками сущностей, прежде всего CHEM. Zero-shot-подход позволяет задавать типы сущностей при использовании без отдельного дообучения, однако карточка подробно описывает обучение и оценку именно для химических сущностей. Модель предназначена для извлечения названий соединений, лекарств, реагентов и их синонимов из научной литературы и других биомедицинских текстов, в том числе для индексирования соединений и подготовки данных для последующего связывания с ChEBI или DrugBank. В README заявлен F1 0,9369 на тестовой выборке BC4CHEMD, исключённой из обучения. Карточка не описывает отдельную проверку на клинических записях или других типах сущностей, поэтому качество в этих сценариях не следует считать установленным. Поддерживаемый язык — английский. Модель распространяется по лицензии Apache-2.0.

39K0сент. 2025
textapache-2.0hugging-face
OpenMed
OpenMed-ZeroShot-NER-Chemical-Small-166M

OpenMed-ZeroShot-NER-Chemical-Small-166M — специализированная модель OpenMed для распознавания упоминаний химических веществ в биомедицинских текстах. Она основана на архитектуре GLiNER и дообучена на корпусе BC4CHEMD; заявленный размер — 166 млн параметров. Модель принимает текст и возвращает найденные сущности с их типами, включая малые молекулы, лекарства, реагенты и химические синонимы. Основной сценарий — извлечение химических сущностей из аннотаций и полнотекстовых научных статей для индексации соединений, поиска по фармакологической литературе и последующей привязки к ChEBI или DrugBank. Модель поддерживает zero-shot распознавание: пользователь задаёт типы сущностей при запуске, но карточка указывает только CHEM как обученный тип. Для BC4CHEMD заявлен F1 0,84; результаты зависят от порога извлечения и текста, а показатель не гарантирует такую же точность на других типах сущностей и источниках. Репозиторий содержит веса PyTorch, лицензия — Apache-2.0.,

15K0сент. 2025
textapache-2.0hugging-face
yosshstd
ProTrek_650M_UniRef50_protein_encoder

ProTrek_650M_UniRef50_protein_encoder — версия модели ProTrek, подготовленная для работы с библиотекой Sentence Transformers. Она предназначена для получения векторных представлений белковых последовательностей и сравнения их семантической близости, например для поиска, кластеризации и извлечения признаков. Модель использует контрастивное обучение для представления белковых данных; в описанной архитектуре ProTrek также объединяет информацию о последовательностях, структуре белка и тексте. Модель основана на ESM-архитектуре и содержит около 865,1 млн параметров. Максимальная длина последовательности — 1026 токенов, размерность выходного вектора — 1024, для сравнения используется косинусное сходство. Указаны компоненты esm2_t33_650M_UR50D, foldseek_t30_150M и PubMedBERT; эта версия оформлена как Sentence Transformer для эмбеддингов и задач сходства. Лицензия — MIT. Описание не уточняет, принимает ли именно этот чекпойнт структуру белка или текст как вход наряду с последовательностью.

1170июль 2025ctx1K
textembeddingmithugging-face
Qwen
Qwen2.5-Math-72B-Instruct

Qwen2.5-Math-72B-Instruct — инструктивно дообученная языковая модель семейства Qwen, разработанная командой Qwen. Это плотная авторегрессионная модель на 71,5 млрд параметров с архитектурой Qwen2 и контекстом 4096 токенов, предназначенная для решения математических задач на английском и китайском языках. Она поддерживает пошаговые рассуждения Chain-of-Thought (CoT) и интегрированное использование инструментов для рассуждений (TIR), что помогает при вычислениях, символьных преобразованиях и алгоритмических задачах. Модель рассчитана на диалог по инструкциям; авторы не рекомендуют использовать её для задач за пределами математики. Репозиторий содержит веса Safetensors для Transformers. Метаданные указывают лицензию «other», поэтому конкретные условия следует сверить с лицензией репозитория перед использованием.

91335сент. 2024ctx4.1K
textotherhugging-face
QuantFactory
Qwen2.5-Math-7B-Instruct-GGUF

QuantFactory/Qwen2.5-Math-7B-Instruct-GGUF — квантизированная версия Qwen2.5-Math-7B-Instruct, созданная QuantFactory с использованием llama.cpp на основе модели Qwen/Qwen2.5-Math-7B-Instruct от команды Qwen. Это инструкционная языковая модель для генерации текста и диалогового взаимодействия, специализированная прежде всего на решении математических задач на английском и китайском языках. Модель поддерживает рассуждения по цепочке мыслей (CoT) и Tool-integrated Reasoning (TIR), при котором естественно-языковое рассуждение сочетается с выполнением программ. TIR предназначен для повышения точности вычислений, символьных преобразований и алгоритмического рассуждения, особенно в сложных задачах, например при решении уравнений и вычислении собственных значений матриц. Размер исходной модели составляет 7B параметров; формат GGUF и квантизация ориентированы на запуск через совместимые инструменты llama.cpp, однако конкретный тип квантизации в README не указан. Сильной стороной модели является специализация на математическом рассуждении: для исходной Qwen2.5-Math-7B-Instruct заявлен результат 85,3 на бенчмарке MATH при использовании TIR. Модель не рекомендуется для общих задач, не связанных с математикой, и её возможности для других языков и модальностей не заявлены. Для оригинальной модели требуется transformers версии 4.37.0 или новее, но требования к запуску именно GGUF-версии, размер контекста и показатели производительности в README не указаны. Указана лицензия Apache-2.0.

9032сент. 2024
textapache-2.0hugging-face
westlake-repl
SaProt_650M_AF2

SaProt_650M_AF2 — белковая языковая модель семейства ESM, опубликованная westlake-repl. Модель принимает последовательность белка и предсказывает замаскированные токены; также в карточке описаны получение эмбеддингов белковых последовательностей и оценка эффекта мутаций. Для анализа мутаций с использованием структуры AF2 авторы рекомендуют применять маску pLDDT. Модель содержит 865,6 млн параметров, имеет контекст до 1026 токенов и распространяется в формате PyTorch. Доступны загрузка через Transformers и файл для загрузчика ESM. Лицензия — MIT. README не приводит количественных оценок качества или подробностей о тренировочных данных.

111K18окт. 2023ctx1K
textmithugging-face
mikemayuare
SMILYBPE

SMILYBPE — предварительно обученная языковая модель для химических строк SMILES, разработанная Miguelangel Leon Mayuare. Это RoBERTa с 6 слоями, скрытым размером 768 и 12 головами внимания; модель содержит 66,1 млн параметров, использует BPE-токенизатор и принимает контекст до 512 токенов. Для предобучения использовались молекулы PubChem; модель предназначена для дообучения под конкретные задачи, а также может применяться для классификации соединений и прогнозирования их свойств по SMILES. Модель подходит для задач хемоинформатики, включая прогнозирование токсичности и поддержку исследований в области разработки лекарств. Она работает со строками SMILES; для SELFIES автор предлагает искать другую модель в своём репозитории. Карточка отмечает риск смещения данных, возможное переобучение и необходимость проверки на профильных наборах данных. Лицензия — MIT.

800июнь 2024ctx512
textmithugging-face
Synthyra
ANKH2_large

Synthyra/ANKH2_large — опубликованный Synthyra вариант полного чекпойнта ANKH2 large от ElnaggarLab, упакованный для работы с FastPLMs и Hugging Face Transformers. Это плотная encoder-decoder модель семейства T5 с 1,6 млрд параметров, принимающая аминокислотные последовательности. Для получения эмбеддингов энкодера используется AutoModel, а для задач последовательность-в-последовательность — AutoModelForSeq2SeqLM. Модель предназначена для вычислительной работы с белковыми последовательностями: извлечения представлений последовательностей и остатков, а также дообучения под задачи классификации последовательностей или отдельных остатков и генеративные задачи. Варианты классов классификации используют предобученную основу, но их новые классификационные головы изначально не обучены. Также доступен FastPLMs-вариант masked-LM, который README обозначает как расширение, а не официальную голову ANKH. Для работы требуется Transformers с загрузкой пользовательского кода через trust_remote_code=True; доступны backend внимания eager и sdpa. Указанные в README test-time training адаптерами увеличивают задержку и расход памяти, могут ухудшить результат и сами по себе не устанавливают биологическую функцию белка. Артефакты распространяются на условиях CC BY-NC-SA 4.0, предусматривающих некоммерческое использование и ShareAlike.

2481нояб. 2024
textcc-by-nc-sa-4.0hugging-face
ElnaggarLab
ankh3-large

Ankh3-large — белковая языковая модель лаборатории ElnaggarLab, описанная в статье «Ankh3: Multi-Task Pretraining with Sequence Denoising and Completion Enhances Protein Representations». Это плотная модель архитектуры T5 на 1,6 млрд параметров, обученная на последовательностях белков из UniRef50 с двумя целями: восстановление замаскированных аминокислот и продолжение последовательности по её начальной части. Модель предназначена для извлечения векторных представлений белковых последовательностей и их последующего использования в задачах биоинформатики, включая предсказание вторичной структуры, флуоресценции, приспособленности вариантов GB1 и контактов между остатками. Многоцелевое предобучение помогает получать представления, применимые к разным свойствам белков; модель также обучена генерировать продолжение аминокислотной последовательности. Модель распространяется в формате PyTorch по лицензии CC BY-NC-SA 4.0, которая ограничивает коммерческое использование и требует соблюдения условий атрибуции и распространения производных материалов. Она предназначена для белковых последовательностей и не является универсальной языковой моделью; качество зависит от конкретной последующей задачи и требует отдельной оценки.

1.0K6сент. 2024
textembeddingcc-by-nc-sa-4.0hugging-face
Genentech
assayllm-sft

AssayLLM-SFT — дообученная Genentech модель Qwen3.6-27B для планирования CRISPR-скринингов. На вход она принимает описание скрининга и список уже исследованных генов, а на выходе формирует ранжированный список из 100 символов генов HGNC, которые следует исследовать следующими. Модель предназначена для выбора кандидатов в экспериментах по геномике и биологии, в частности в цикле AssayLoop. Модель использует плотную архитектуру Qwen3.5 и формат весов safetensors; для запуска в README приведён пример с vLLM. В оценке на AssayBench-Loop вариант с SFT показал лучшие значения EF и nAUC, чем базовая Qwen3.6-27B, но уступил варианту с дополнительным обучением GRPO по ряду метрик. Качество оценивалось на конкретном бенчмарке, поэтому результаты не гарантируют аналогичную эффективность на других скринингах. Лицензия в предоставленных данных не указана.

1680авг. 2026ctx262.1K
texthugging-face
math-similarity
Bert-MLM_arXiv-MP-class_arXiv

Bert-MLM_arXiv-MP-class_arXiv — модель Sentence Transformers на архитектуре BERT, разработанная для вычисления семантического сходства коротких математических текстов. Она кодирует предложение или короткий абзац в плотный вектор размерности 768, который можно использовать для поиска похожих материалов, кластеризации и сравнения текстов. Модель создана как дополнительный ресурс к работе «On modelling similarity of short mathematical texts» для CICM'24. В основе лежит доменно-адаптированная math-similarity/Bert-MLM_arXiv с mean pooling и последующим дообучением на cosine similarity. Для обучения использовались пары заголовков и аннотаций arXiv: тексты считались похожими, если имели общий классификационный код. Метаданные указывают 136,7 млн параметров и контекст до 512 токенов; README сообщает, что по умолчанию входы длиннее 256 word pieces обрезаются. Модель принимает математический текст и выдаёт эмбеддинги; указаний на поддержку конкретного естественного языка нет. Лицензия в предоставленных данных не указана. Модель рассчитана на короткие математические тексты и может хуже подходить для общих текстов или задач, отличающихся от поиска семантического сходства; обучающий набор из карточки не включён в репозиторий.

1850май 2024ctx512
textembeddinghugging-face
zhfanrui
BulkFormer-93M

BulkFormer-93M — фундаментальная модель BulkFormer для представления транскриптомов bulk RNA-seq, опубликованная в пяти вариантах размера; эта версия содержит 93 млн параметров. Модель разработана авторами работы Kang, Fan и соавторами и представлена в формате, совместимом с Transformers. Модель предназначена для извлечения признаков на уровне генов или экспрессии из данных bulk RNA-seq. Полученные представления можно использовать для последующего дообучения с классификационной головой, продолжения предобучения для импутации пропущенных значений и объединения с эмбеддингами ESM2. Репозиторий распространяется под лицензией MIT.

180авг. 2026
textembeddingmithugging-face
Derify
ChemBERTa-druglike

Derify/ChemBERTa-druglike — специализированная модель ChemBERTa, разработанная Derify на основе архитектуры RoBERTa для изучения представлений лекарственно-подобных молекул. Предобучение проводилось в два этапа на наборах augmented_canonical_druglike_QED_43M и druglike с маскированием токенов; в метаданных указаны 201,9 млн параметров и контекст до 130 токенов. Модель доступна в формате safetensors под лицензией Apache-2.0. Модель предназначена как основа для анализа химических соединений: её представления можно применять для оценки сходства молекул, исследования химического пространства и последующего обучения моделей предсказания свойств. В карточке приведены результаты оценки на наборах классификации и регрессии; также описана проверка сходства эмбеддингов с Morgan fingerprint. Основное назначение в Hugging Face — заполнение маскированных токенов. Модель оптимизирована для лекарственно-подобных молекул, представленных строками SMILES, и может работать хуже на соединениях за пределами этого класса. Указанный в карточке максимальный размер входа при бенчмарках — 128 символов SMILES.

880июль 2025ctx130
textapache-2.0hugging-face
microsoft
Dayhoff-170m-GR

Dayhoff-170m-GR — генеративная белковая языковая модель, разработанная Kevin K. Yang и соавторами. Она предназначена для исследовательского моделирования белковых последовательностей: генерации новых белков, предсказания эффектов мутаций без дополнительного обучения и проектирования последовательностей с заданными структурными мотивами или эволюционным контекстом. Модель использует гибридную архитектуру Jamba: слои Mamba и Transformer с механизмами Mixture-of-Experts. Она обучена на данных белковых последовательностей Dayhoff и поддерживает контекст до 262 144 токенов. По карточке модель предназначена только для белковых последовательностей, а не для естественного языка или последовательностей ДНК. Генерируемые последовательности не всегда реалистичны, особенно при отсутствии сходства с известными природными последовательностями. Лицензия — MIT.

2663июль 2025ctx262.1K
textmithugging-face
microsoft
Dayhoff-170M-GRS-SS-122000

Dayhoff-170M-GRS-SS-122000 — модель генерации белковых последовательностей, разработанная исследовательской командой, указанной в карточке Dayhoff. Она предназначена для исследований белкового языка: генерации последовательностей, оценки эффектов мутаций без дополнительного обучения и проектирования белковых каркасов с заданными структурными мотивами. Архитектура основана на гибриде Mamba и Transformer с блоками смеси экспертов (MoE); карточка указывает 23,6 млн параметров и контекст до 262 144 токенов. Модель обучена авторегрессионно в обоих направлениях последовательности, что поддерживает заполнение пропусков в произвольном порядке. Dayhoff обучалась на белковых данных, включая набор microsoft/Dayhoff. Модель рассчитана на аминокислотные последовательности и гомологичные белковые последовательности, а не на естественный язык или ДНК. Генерируемые последовательности не всегда реалистичны, а создание качественных белков без сходства с природными последовательностями остается сложной задачей. Лицензия — MIT.

3115апр. 2026ctx262.1K
textmithugging-face
microsoft
Dayhoff-170M-UR90-HL-16000

Dayhoff-170M-UR90-HL-16000 — генеративная белковая языковая модель, разработанная исследовательской группой, указанной в карточке Dayhoff. Она предназначена для исследовательских задач белковой инженерии: генерации последовательностей белков, оценки эффектов мутаций без дополнительного обучения и проектирования последовательностей с заданными структурными мотивами или эволюционным контекстом. Архитектура модели — гибрид Mamba и Transformer с механизмом Mixture-of-Experts; веса опубликованы в формате safetensors. Метаданные указывают 23,6 млн параметров и контекст до 262 144 токенов. Модель обучена на данных белковых последовательностей и поддерживает автозаполнение последовательностей в обоих направлениях. Она предназначена только для аминокислотных последовательностей белков, а не для естественного языка или ДНК. Сгенерированные последовательности не всегда реалистичны, особенно если требуется отсутствие сходства с природными белками. Лицензия — MIT.

2362апр. 2026ctx262.1K
textmithugging-face
bartowski
Einstein-v6.1-Llama3-8B-old-GGUF

Einstein-v6.1-Llama3-8B-old-GGUF — это GGUF-квантизированная версия языковой модели Einstein-v6.1-Llama3-8B, разработанной на базе Meta-Llama-3-8B. Квантизацию выполнил bartowski с использованием llama.cpp и метода imatrix. Модель ориентирована на текстовую генерацию и диалоговые сценарии с форматом промпта ChatML. Модель предназначена для ответов на вопросы и выполнения инструкций, прежде всего в областях науки, включая физику, химию, биологию, математику, медицину и электротехнику. Для дообучения использовались наборы данных с научными вопросами, математическими задачами, инструкциями, диалогами и синтетическими ответами. Заявлен английский язык; поддержка других языков в README не указана. Это модель с 8 миллиардами параметров, доступная в нескольких вариантах квантизации GGUF с размером файлов примерно от 2,94 до 8,54 ГБ. Варианты Q6_K, Q5_K и Q4_K позиционируются как оптимальные по качеству, а более компактные варианты подходят для систем с ограниченным объёмом оперативной памяти. README не указывает размер контекста, мультимодальные возможности и точные результаты бенчмарков. Версия помечена как устаревшая из-за исправлений BPE-токенизатора; рекомендуется использовать обновлённый репозиторий Einstein-v6.1-Llama3-8B-GGUF. Лицензия обозначена как other, без дополнительных условий в README.

1.0K12апр. 2024
textotherhugging-face
facebook
esm1b_t33_650M_UR50S

ESM-1b — белковая языковая модель семейства ESM, разработанная исследовательской группой Facebook AI. Это плотный трансформер на архитектуре RoBERTa с головой masked language modeling; модель содержит около 865,1 млн параметров и принимает последовательности аминокислот длиной до 1024 токенов. Она предварительно обучена без разметки на примерно 30 млн белковых последовательностей из UniRef50 2018-03: по окружающему контексту предсказывает замаскированные аминокислоты. Модель предназначена для заполнения масок в белковых последовательностях и получения представлений, которые можно применять для прогнозирования структуры и функций белков. Её используют для поиска удалённой гомологии, предсказания вторичной структуры и контактов, оценки влияния мутаций, извлечения признаков и дообучения на прикладных наборах данных. В README отмечено, что более новая ESM-2 обычно показывает лучшие результаты; ESM-1b полезна, в частности, для сравнения с прежними моделями. Лицензия — MIT.

19K26окт. 2022ctx1K
textmithugging-face
facebook
esm1v_t33_650M_UR90S_3

ESM-1v — белковая языковая модель, разработанная исследовательской группой Meta AI и распространяемая в репозитории facebook. Это третий чекпойнт из ансамбля пяти моделей ESM-1v, предназначенного прежде всего для оценки эффектов аминокислотных вариантов. Модель представляет собой 33-слойный Transformer примерно с 650 млн параметров, обученный на последовательностях UniRef90; в Hugging Face она доступна для задачи fill-mask. Модель принимает последовательности белков и предсказывает вероятности аминокислот в замаскированных позициях. Вариантные эффекты можно оценивать по изменению вероятности последовательности при замене аминокислоты; ансамбль ESM-1v разработан для таких предсказаний без необходимости строить множественное выравнивание последовательностей. Это специализированная модель для белковых последовательностей, а не генеративная модель естественного языка. Карточка Hugging Face не содержит отдельного описания лицензии; в репозитории указаны веса в форматах PyTorch и TensorFlow.

4.2K0окт. 2022ctx1K
texthugging-face
nvidia
esm2_t12_35M_UR50D

nvidia/esm2_t12_35M_UR50D — версия модели ESM-2, оптимизированная NVIDIA с помощью библиотеки TransformerEngine. Исходная модель разработана Facebook Research; README указывает, что оптимизированная версия сохраняет исходные веса и результаты с возможными небольшими численными отличиями. Это трансформер для работы с последовательностями аминокислот, обученный предсказывать замаскированные токены. В метаданных указаны архитектура NVEsmForMaskedLM, 44,3 млн параметров и контекст до 1026 токенов; README сообщает о лимите входной последовательности 1022 аминокислоты с усечением более длинных последовательностей. Модель принимает строку с белковой последовательностью и выдаёт векторные представления каждого аминокислотного остатка. Эти представления можно использовать для последующей настройки на задачи, принимающие белковые последовательности, включая классификацию и разметку токенов. README описывает прогнозирование структуры белка как сценарий применения, однако непосредственный выход этой версии — эмбеддинги, а не готовая трёхмерная структура. Работа оптимизирована для NVIDIA GPU; заявлена поддержка Transformers и коммерческого и некоммерческого использования. Лицензия в метаданных — MIT.

1883июль 2025ctx1K
textmithugging-face
facebook
esm2_t33_650M_UR50D

ESM-2 — модель семейства ESM, разработанная Meta AI для работы с последовательностями белков. Этот чекпойнт использует архитектуру masked language model с 33 слоями и примерно 865,1 млн параметров по метаданным; в названии указано 650M. Модель обучена предсказывать замаскированные элементы белковой последовательности и подходит для дообучения под задачи, где на вход подаются белковые последовательности. Основное применение — заполнение пропусков в последовательности аминокислот; полученные представления также могут служить основой для специализированных задач после дообучения. Контекст модели — до 1026 токенов. Репозиторий предоставляет веса в форматах PyTorch, Safetensors и TensorFlow. Для работы нужны значительные вычислительные ресурсы, особенно при дообучении крупных чекпойнтов. Лицензия — MIT.

4.5M101сент. 2022ctx1K
textmithugging-face
Synthyra
ESMplusplus_large

Synthyra/ESMplusplus_large — белковая языковая модель семейства ESM++, опубликованная Synthyra как пакет чекпойнта Biohub ESMC-600M для работы через FastPLMs и Hugging Face Transformers. Модель содержит около 764,5 млн параметров и принимает аминокислотные последовательности, представленные идентификаторами остатков. Основное назначение — восстановление замаскированных токенов в белковых последовательностях; доступны также извлечения представлений последовательностей и остатков для последующего анализа. Модель можно применять для получения эмбеддингов белков, а также как основу для дообучения задач классификации последовательностей и отдельных остатков. У классификационных вариантов головы предсказания инициализируются заново и требуют обучения перед интерпретацией результатов. Поддерживаются несколько бэкендов внимания; численные результаты могут различаться, а доступность некоторых бэкендов зависит от платформы. Лицензия — MIT.

24K19дек. 2024
textmithugging-face
evo-design
evo-1.5-8k-base

Evo 1.5 8k Base — биологическая фундаментальная модель, разработанная авторами Evo для анализа и генерации биологических последовательностей. Она построена на архитектуре StripedHyena и работает с последовательностями на уровне отдельных нуклеотидов, используя байтовое представление. Вариант Evo 1.5 продолжает предобучение Evo 1 8k Base на 50% большем объёме данных; в README указан общий объём обучения в 450 млрд токенов. Модель содержит 8,6 млрд параметров по метаданным и поддерживает контекст до 8 192 токенов. Модель предназначена для моделирования и проектирования биологических последовательностей, включая задачи на молекулярном и геномном уровне. В качестве обучающих данных использовался OpenGenome — набор прокариотических геномов. Репозиторий содержит веса PyTorch в формате safetensors; лицензия — Apache 2.0. README описывает вариант как базовую предварительно обученную модель, которую можно использовать для последующей тонкой настройки под молекулярные задачи.

1.1K1дек. 2024
textapache-2.0hugging-face
Playingyoyo
GPepT

GPepT — авторская языковая модель для генерации последовательностей пептидов и пептидомиметиков, предназначенная для исследователей в области дизайна молекул и разработки пептидных терапевтических кандидатов. Она основана на архитектуре GPT-2 и содержит 738 млн параметров; модель представляет собой декодерный трансформер с 36 слоями и размерностью 1280. Предобучение выполнено на последовательностях пептидов и пептидомиметиков из ChEMBL без явной разметки.

1084нояб. 2024ctx1K
textapache-2.0hugging-face
fraternalilab
immunomatch-lambda

ImmunoMatch-λ — модель Fraternalilab для изучения предпочтений спаривания тяжёлых и лёгких цепей антител. Это вариант ImmunoMatch, дообученный на AntiBERTa2-CSSP и обученный на антителах с лёгкими цепями типа λ. Модель принимает пару аминокислотных последовательностей доменов VH и VL и предназначена для классификации, связанной с совместимостью или предпочтениями спаривания цепей. Модель построена на RoFormer, содержит 268,5 млн параметров и имеет контекстное окно 256 токенов. Для запуска используются веса PyTorch. Лицензия CC BY-NC 4.0 ограничивает использование некоммерческими целями.

3290янв. 2025ctx256
textcc-by-nc-4.0hugging-face
legraphista
internlm2-math-plus-mixtral8x22b-IMat-GGUF

Это GGUF-квантизированная версия модели internlm/internlm2-math-plus-mixtral8x22b, подготовленная пользователем legraphista с помощью llama.cpp. Модель предназначена для генерации текста и, судя по названию и исходной модели, ориентирована прежде всего на математические задачи. Указаны английский и китайский языки. Формат GGUF подходит для локального запуска средствами llama.cpp и совместимыми инструментами. В репозитории представлены варианты от BF16 и FP16 до низкобитных форматов Q8_0, Q6_K, Q5_K, Q4_K, Q3_K, Q2_K и IQ-квантов; размеры файлов составляют примерно от 48 до 281 ГБ, а многие варианты разделены на части. Для ряда низкобитных вариантов применена IMatrix-квантизация, призванная сохранить качество при уменьшении размера. Исходный тип данных модели — BF16. Архитектура, точное число параметров, размер контекста и поддерживаемые модальности в README не указаны; из данных следует только текстовая специализация без заявленной поддержки изображений или аудио. Сильные стороны — широкий выбор уровней квантизации и возможность локального запуска, а также использование IMatrix в части компактных вариантов. Ограничения — очень большие требования к дисковому пространству и, вероятно, к оперативной или видеопамяти; качество и скорость зависят от выбранного варианта квантизации. Лицензия обозначена как other, но её конкретные условия в README не приведены.

8071май 2024
textotherhugging-face
jiosephlee
intern-s1-mini-context-conditioned-molecule-transfer-v10-3-bioavailability-ma-best

jiosephlee/intern-s1-mini-context-conditioned-molecule-transfer-v10-3-bioavailability-ma-best — дообученная модель на архитектуре Qwen3 для контекстно-зависимого переноса свойств молекул, выбранная по результатам валидации в задаче пероральной биодоступности. Она предназначена для генерации текстовых ответов в сценариях переноса между молекулярными наборами данных с учётом контекста; карточка указывает обучение на смешанных непрерывных данных и использование функции потерь с мягкими целевыми значениями. Модель содержит 7,6 млрд параметров, принимает текст, имеет контекст до 65 536 токенов и поставляется в формате safetensors для Transformers. В README приведены метрики Macro-F1@5, NDCG@5 и Spearman на валидации и тесте; условия лицензии не приведены в доступных данных.

6140сент. 2026ctx65.5K
texthugging-face
THGLab
Llama-3.1-8B-GeomLlama-xyz-Drugs-Large

THGLab разработала GeomLlama-xyz-Drugs-Large — дообученную инструкционную модель на базе Meta Llama-3.1-8B-Instruct, предназначенную для генерации трёхмерных геометрий молекул по строке SMILES. Она выдаёт декартовы координаты атомов в формате XYZ: по одной строке с элементом и координатами x, y, z в ангстремах на атом, без строки заголовка. Модель специализирована на крупных лекарственно-подобных молекулах и обучена на наборе GEOM-Drugs-Large; дополнительно использована часть Tulu-3 SFT mixture для сохранения общего следования инструкциям. Это плотная авторегрессионная LlamaForCausalLM с 7,5 млрд параметров и контекстом до 131 072 токенов. README указывает LoRA-обучение с последующим объединением адаптера с базовыми весами; модель работает через Transformers и распространяется в safetensors. Подходит для получения координатных представлений молекул из SMILES и дальнейшего просмотра или разбора XYZ-блоков. Обучение ориентировано на крупные лекарственные молекулы, поэтому качество для иных химических структур и точность геометрий за пределами заявленного сценария не установлены. Лицензия — llama3.1.

330сент. 2026ctx131.1K
textllama3.1hugging-face
MaziyarPanahi
mathstral-7B-v0.1-GGUF

MaziyarPanahi/mathstral-7B-v0.1-GGUF — это набор файлов модели в формате GGUF для Mathstral-7B-v0.1, разработанной Mistral AI и основанной на Mistral 7B. Квантизацию и публикацию GGUF-версии выполнил MaziyarPanahi. Модель предназначена прежде всего для математических и научных задач, включая решение текстовых задач, рассуждения и генерацию текста, и может использоваться для локального запуска через llama.cpp и совместимые инструменты. Модель имеет около 7 млрд параметров и относится к текстовым языковым моделям; сведения о мультимодальности, поддерживаемых языках и размере контекста в README не указаны. Доступны варианты квантования от 2 до 8 бит, что позволяет выбирать компромисс между требованиями к памяти, скоростью и качеством. В опубликованных оценках Mathstral 7B показывает сильные результаты на ряде математических бенчмарков, включая MATH, Odyssey Math, GRE Math и AMC 2023, однако уступает или сопоставима с другими моделями в зависимости от теста. README не содержит информации о лицензии, поэтому условия использования определить нельзя. К ограничениям относятся возможные потери качества из-за квантования и отсутствие данных о поведении модели вне математических и научных сценариев.

121K8июль 2024
texthugging-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 моделей