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

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

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

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

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

4 120 моделей
Загрузки
Лайки
Дата выхода
2 101–2 130 из 4 120
SeongryongJung
qwen3-4b-physics-srpo-ema005

SeongryongJung/qwen3-4b-physics-srpo-ema005 — контрольная точка языковой модели Qwen3-4B, дообученной методом SRPO на наборе задач по физике. В репозитории опубликован последний чекпойнт обучения global_step_100 в формате Transformers; базовая модель — Qwen/Qwen3-4B, архитектура — плотная авторегрессионная Qwen3ForCausalLM с 3,7 млрд параметров и контекстом до 40 960 токенов. Модель предназначена для генерации текста и решения задач по физике. В README приведён лучший результат проверки mean@16 — 72,66% на шаге 60, полученный при выборке из 16 ответов; это не результат опубликованного последнего чекпойнта, для которого итоговый mean@16 составил 68,52%. Использование предполагает Transformers. Модель распространяется по лицензии Apache-2.0.

100июль 2026ctx41K
textapache-2.0hugging-face
SeongryongJung
Qwen3-4B-Physics-SRPO-TR

SeongryongJung/Qwen3-4B-Physics-SRPO-TR — дообученная модель Qwen3-4B, полученная запуском SRPO-TR с размером обучающего батча 32. Она предназначена для генерации ответов и рассуждений по задачам физики. В репозитории выбран лучший по validation mean@16 чекпойнт на шаге 90; его результат на валидации составил 72,50%, у финального чекпойнта на шаге 100 — 70,94%. Модель содержит около 3,7 млрд параметров, использует плотную архитектуру Qwen3 и доступна в формате safetensors; максимальный контекст — 40 960 токенов. Модель загружается через Transformers как причинная языковая модель. Базовая модель Qwen3-4B поддерживает диалоги, рассуждения, генерацию кода и многоязычные задачи, однако README описывает специализированный запуск для физики и не уточняет языки обучения или оценки. Лицензия — Apache-2.0. Приведённый результат относится к валидации с метрикой mean@16; сведения о переносе качества на другие наборы задач не представлены.

70июль 2026ctx41K
textapache-2.0hugging-face
YYYYYYibo
qwen3-4b-questa-nonmcq-estep-pos20-neg20-truncneg20-step50

Экспериментальный чекпойнт Qwen3-4B QuestA Non-MCQ E-step, созданный автором YYYYYYibo на основе Qwen/Qwen3-4B-Instruct-2507. Это плотная причинная языковая модель семейства Qwen3 с 3,7 млрд параметров в формате Transformers safetensors; метаданные указывают контекст до 262 144 токенов. Модель дообучали 50 шагов на 5 897 дедуплицированных задачах по математике без вариантов ответа из набора QuestA-OpenR1-Math-220k-Joined, используя сигнал PPO, штраф учителя и награду за правильность решения. Модель предназначена для генерации ответов и решений математических задач в диалоговом формате. В диагностике на 256 примерах из обучающего набора чекпойнт с доступом к решениям показал точность 78,91% (77,34%, если усечённые ответы считать ошибочными); это внутривыборочные результаты, не оценка обобщения. В README рекомендуется проверять модель на отложенном наборе. Модель принимает и выдаёт текст. Лицензия в предоставленных данных не указана.

1730сент. 2026ctx262.1K
texthugging-face
seomh
Qwen3-8B-Base-OpenThoughts3Math-SFT-step250-lr5e-6

Это промежуточный чекпойнт модели Qwen3-8B-Base, дообученный методом supervised fine-tuning на математических диалогах из набора OpenThoughts3 Math. Модель разработана автором репозитория seomh; в карточке указано, что это шаг 250 из запланированных 2000, веса представлены в bf16. Архитектура — плотная авторегрессионная Qwen3ForCausalLM примерно на 7,6 млрд параметров, контекст — до 32 768 токенов. Чекпойнт предназначен для генерации ответов с пошаговыми математическими рассуждениями и заключительным ответом в формате \boxed{}. Для обучения использованы 103 760 двухходовых диалогов; применяется обычный шаблон ChatML без встроенной логики режима размышления. Модель не оценивалась, поэтому качество и готовность к практическому использованию не подтверждены. Лицензия — Apache-2.0.

2290сент. 2026ctx32.8K
textapache-2.0hugging-face
EpistemeAI
Reason_Medical_0.1_20b_16bit

Reason_Medical_0.1_20b_16bit — экспериментальная дообученная языковая модель EpistemeAI для медицинских и научных рассуждений. Она основана на unsloth/gpt-oss-20b-unsloth-bnb-4bit и использует архитектуру gpt_oss с MoE и классом GptOssForCausalLM. Модель принимает текст и генерирует текст; заявленная длина контекста — 131072 токена. В метаданных указан размер 1,6 млрд параметров, язык карточки — английский. Модель предназначена для диалоговых сценариев, требующих медицинских или научных рассуждений. README характеризует её как эксперимент и указывает, что существует версия с более высоким результатом. Для биомедицинских, биологических, химических и лабораторных ответов требуется проверка специалистом; README исключает применение для разработки оружия и других опасных целей. Лицензия — Apache-2.0.

190июнь 2026ctx131.1K
textapache-2.0hugging-face
cambridgeltl
SapBERT-from-PubMedBERT-fulltext

SapBERT-PubMedBERT — англоязычная биомедицинская модель семейства BERT, разработанная Liu и соавторами и дообученная на названиях сущностей из UMLS 2020AA. В качестве основы использована microsoft/BiomedNLP-PubMedBERT-base-uncased-abstract-fulltext; модель содержит 136,7 млн параметров и принимает последовательности длиной до 512 токенов. Модель предназначена для получения векторных представлений названий биомедицинских сущностей. Для каждого входного названия используется эмбеддинг токена [CLS] последнего слоя. Такие векторы подходят для поиска семантически близких терминов и связывания упоминаний с сущностями медицинских словарей. Модель работает с текстом на английском языке и распространяется по лицензии Apache-2.0.

1.5M86март 2022ctx512
textembeddingapache-2.0hugging-face
google
txgemma-27b-chat

TxGemma-27B-Chat — разговорная языковая модель Google для исследований и разработки терапевтических средств. Она дообучена на Gemma 2 с помощью инструкционных наборов данных Therapeutics Data Commons и общих инструкционных данных; архитектура — трансформер с декодером. Модель принимает текстовые запросы и генерирует текстовые ответы, поддерживает диалог в несколько ходов и может объяснять прогнозы. Модель предназначена для предсказания свойств терапевтических средств и для задач поиска лекарств, включая выявление мишеней, прогноз взаимодействия лекарства с мишенью и оценку вероятности одобрения клинических испытаний. Она охватывает малые молекулы, белки, нуклеиновые кислоты, заболевания и клеточные линии. По карточке модели TxGemma показала сильные результаты в бенчмарке из 66 терапевтических задач; разговорный вариант может уступать предсказательному варианту в точности непосредственного прогнозирования. Для прикладного использования необходимо отдельно проверять модель на данных, соответствующих целевому сценарию. Обучение проводилось на общедоступных данных TDC, поэтому возможны ограничения при переносе результатов на другие выборки и условия. В карточке указаны условия Health AI Developer Foundations; лицензия в метаданных обозначена как other.

24862март 2025
textotherhugging-face
google
txgemma-9b-predict

TxGemma-9B-Predict — языковая модель Google для исследований и разработки терапевтических средств. Она основана на Gemma 2 и представляет собой трансформер с архитектурой decoder-only, дообученный на инструкционных наборах Therapeutics Data Commons. Версия Predict рассчитана на структурированные запросы для прогнозирования свойств терапевтических соединений и выполнения других задач разработки лекарств. Модель принимает текстовые запросы, оформленные в формате TDC, и генерирует текстовый ответ с прогнозом. Её можно применять для оценки свойств малых молекул, белков и нуклеиновых кислот, анализа взаимодействий лекарств с мишенями, а также задач, связанных с заболеваниями, клеточными линиями и одобрением клинических испытаний. Это вариант объёмом 9 млрд параметров; карточка сообщает о проверке семейства TxGemma на 66 терапевтических задачах. Модель предназначена для исследовательских и опытно-разработческих сценариев, а не для принятия клинических решений без независимой проверки. Обучение основано на публичных данных TDC, поэтому качество необходимо отдельно оценивать на данных, подходящих для конкретной задачи и целевой популяции. Использование регулируется условиями Health AI Developer Foundations; в метаданных лицензия обозначена как other.

75030март 2025
textotherhugging-face
ghadeermobasher
WELT-BioBERT-BC5CDRDisease

WELT-BioBERT-BC5CDRDisease — модель на архитектуре BERT, разработанная Ghadeer Mobasher и соавторами в рамках проекта WeLT. Она дообучена для token classification на задаче распознавания упоминаний заболеваний в биомедицинских текстах из набора BC5CDR-Disease с использованием cost-sensitive learning для работы с дисбалансом классов. Модель предназначена для biomedical named entity recognition, включая извлечение названий заболеваний из научных публикаций и последующую обработку таких сущностей в системах анализа литературы. Область применения подтверждается описанием WeLT и связью модели с датасетом BC5CDR-disease.

780март 2022ctx512
texthugging-face
keremberke
yolov8s-blood-cell-detection

keremberke/yolov8s-blood-cell-detection — модель компьютерного зрения на базе YOLOv8s, опубликованная пользователем keremberke. Она предназначена для обнаружения клеток крови на изображениях и распознаёт три класса: тромбоциты, эритроциты и лейкоциты. Модель работает с библиотекой Ultralytics и представлена в формате PyTorch. Модель подходит для автоматического поиска и локализации клеток на микроскопических изображениях, например, при подготовке или предварительной разметке наборов изображений. Данных о лицензии и условиях использования в предоставленной карточке нет.

7163янв. 2023
imagehugging-face
NoYo25
BiodivBERT

BiodivBERT — англоязычная доменная модель на базе BERT, разработанная для работы с научной литературой о биоразнообразии. Она предварительно обучена на аннотациях и полных текстах публикаций, собранных через API Elsevier и Springer за 1990–2020 годы, с использованием токенизатора BERT base cased. Модель содержит 135,5 млн параметров, принимает текст с контекстом до 512 токенов и распространяется в формате PyTorch. В README указано дообучение для распознавания именованных сущностей и извлечения отношений в области биоразнообразия. Метаданные также указывают задачу заполнения пропусков в тексте, согласующуюся с архитектурой BertForMaskedLM; авторский pipeline_tag при этом задан как token-classification. Модель подходит для анализа научных текстов о биоразнообразии, включая извлечение сущностей и связей. Лицензия — Apache-2.0.

485май 2022ctx512
textapache-2.0hugging-face
dima806
bird_sounds_classification

dima806/bird_sounds_classification — модель классификации аудио на архитектуре Wav2Vec2, дообученная на базе facebook/wav2vec2-base-960h. Она предназначена для распознавания классов звуков птиц по аудиозаписям. Модель содержит 113,3 млн параметров и распространяется в форматах PyTorch и Safetensors. Лицензия — Apache-2.0.

617окт. 2023
textapache-2.0hugging-face
AmberYifan
capsd-qwen3-numina-Qwen3-4B-Base-math_ppl_b1000_s0

AmberYifan/capsd-qwen3-numina-Qwen3-4B-Base-math_ppl_b1000_s0 — дообученная модель генерации текста на базе Qwen/Qwen3-4B-Base. Согласно карточке, она обучена на наборе capsd_Qwen3-4B-Base-n80000-numina__mix_math_ppl_b1000_s0, связанном с математическими данными; вероятное применение — генерация ответов и решений по математическим запросам. Модель использует плотную архитектуру Qwen3ForCausalLM, содержит 3,7 млрд параметров и поддерживает контекст до 32 768 токенов. Модель предназначена для текстового ввода и выдачи текста. Карточка не приводит результатов оценки качества или подробностей о методе обучения, поэтому пригодность для конкретных математических задач следует проверять отдельно. Указана лицензия other; конкретные условия использования нужно сверить с лицензией базовой модели и материалами репозитория.

300авг. 2026ctx32.8K
textotherhugging-face
AmberYifan
capsd-qwen3-numina-Qwen3-4B-Base-math_ppl_b2000_s0

AmberYifan/capsd-qwen3-numina-Qwen3-4B-Base-math_ppl_b2000_s0 — дообученная языковая модель на архитектуре Qwen3, разработанная на основе Qwen/Qwen3-4B-Base. По README, обучение проводилось на наборе capsd_Qwen3-4B-Base-n80000-numina__mix_math_ppl_b2000_s0; название набора указывает на математические данные, однако карточка не описывает конкретные навыки и результаты модели. Модель предназначена для генерации текста; каталог отмечает поддержку диалогового режима. Она содержит 3,7 млрд параметров, использует архитектуру Qwen3ForCausalLM и принимает контекст длиной до 32 768 токенов. Репозиторий содержит веса в формате safetensors и использует библиотеку Transformers. Карточка не приводит оценок качества, подробных ограничений или явно заявленных сценариев применения. Лицензия указана как other, без уточнения условий в предоставленных данных.

270авг. 2026ctx32.8K
textotherhugging-face
zbeeb
Cedar-GRPO-Qwen2.5-3B

Cedar-GRPO-Qwen2.5-3B — полноразмерный чекпойнт Qwen/Qwen2.5-3B после 1000 шагов обучения GRPO из коллекции Cedar Math, созданной zbeeb. Модель предназначена для генерации текста в диалоге и решения математических задач; обучение проводилось на датасете Cedar GRPO DAPO Math из 17 005 примеров с вознаграждением за математическую эквивалентность итогового ответа. Это плотная авторегрессионная модель семейства Qwen2 с 3,1 млрд параметров. В репозитории находятся веса Safetensors и токенизатор; исходная конфигурация контекста — 32 768 токенов, однако обучение и приведённые оценки использовали контекст 4 096 токенов. В карточке указаны английский и китайский языки. Разработчик описывает настройки обучения и процедуру проверки экспорта, но приведённый фрагмент оценок не содержит численных результатов. Лицензия обозначена как other, поэтому перед использованием следует проверить условия в карточке модели.

2900сент. 2026ctx32.8K
textotherhugging-face
OTAR3088
CeLLaTe-ner-2class-bioformer16l-baseline

CeLLaTe-ner-2class-bioformer16l-baseline — англоязычная модель распознавания сущностей в тексте, созданная дообучением bioformers/bioformer-16l на наборе OTAR3088/CeLLaTe_V3.2_contracted_ent_IOB. Это плотная BERT-модель с головой классификации токенов, содержащая 50,3 млн параметров; длина контекста — 1024 токена. Модель предназначена для разметки токенов и извлечения сущностей в текстах, соответствующих обучающему набору. В карточке приведены результаты на оценочной выборке: F1 0,7766, точность 0,8151, полнота 0,7415 и accuracy 0,9825. Лицензия — Apache-2.0.

160июль 2026ctx1K
textapache-2.0hugging-face
Mardiyyah
CeLLaTe-ner-3class-bioformer16l-tapt-tokenizer-original-baseline

CeLLaTe-ner-3class-bioformer16l-tapt-tokenizer-original-baseline — англоязычная BERT-модель для разметки токенов, разработанная дообучением Mardiyyah/CeLLaTe-tapt-bioformer16l-tokenizer-original-baseline на наборе OTAR3088/CeLLaTe-ner-3class-iob_final. Модель предсказывает метки для отдельных токенов; название и датасет указывают на распознавание сущностей с тремя классами в формате IOB. Модель содержит 50,3 млн параметров, использует архитектуру BertForTokenClassification и принимает контекст длиной до 1024 токенов. На оценочном наборе указаны micro F1 0,7696, precision 0,7839 и recall 0,7558. Распространяется под лицензией Apache-2.0.

260июль 2026ctx1K
textapache-2.0hugging-face
g-assismoraes
DeltaP2S-Llama2-13B-DeltaP2S-MetaMath-S13

DeltaP2S-Llama2-13B-DeltaP2S-MetaMath-S13 — объединённый чекпойнт, полученный в эксперименте Delta-P2S. В README указана обучающая база `./runs/metamath_llama_SameFormula-S13/init/delta_p2s` и каталог обучения `./runs/metamath_llama_SameFormula-S13/train/delta_p2s`; точный идентификатор исходной модели по этим путям установить нельзя. Модель построена на архитектуре Llama и содержит 12,9 млрд параметров. Она предназначена для генерации текста; название и сведения о каталоге указывают на математическую направленность MetaMath, поэтому вероятный сценарий — генерация решений и объяснений математических задач. Контекст составляет 4096 токенов, веса представлены в формате safetensors. Чекпойнт создан в рамках эксперимента Delta-P2S и опубликован пользователем g-assismoraes. Лицензия и сведения о конкретных языках в предоставленных источниках не указаны. README не содержит оценок качества или подробностей методики обучения.

640сент. 2026ctx4.1K
texthugging-face
AdarshSingh7647
Eklav-4B-Math-CotGen

Eklav-4B-Math-CotGen — дообученная языковая модель AdarshSingh7647 на базе Qwen/Qwen3-4B, предназначенная для математических рассуждений и генерации ответов. Это baseline для сравнения метода обучения Eklav: модель обучали продолжать частичный след рассуждений учителя и самостоятельно получать ответ; в этой версии применялось стандартное обучение на полных цепочках рассуждений (CoT SFT).

1170авг. 2026ctx41K
texthugging-face
AdarshSingh7647
Eklav-9B-Math

Eklav-9B-Math — плотная языковая модель для генерации текста и решения математических задач, разработанная автором репозитория AdarshSingh7647 методом Eklav, или hint conditioned SFT. Она дообучена на базе zai-org/GLM-Z1-9B-0414 и содержит 8,8 млрд параметров; архитектура GLM-4, библиотека Transformers, формат весов safetensors. Модель учится продолжать частичную цепочку рассуждений учителя и самостоятельно получать ответ, а не воспроизводить полную цепочку целиком. Контекст — до 32 768 токенов. Модель предназначена для математических рассуждений и генерации ответов в диалоговом формате. В README приведены результаты pass@1 на AIME, GSM8K, MATH-500, Omni-MATH и других тестах; в сравнении со стандартной дистилляцией полных цепочек рассуждений показатели отличаются в зависимости от бенчмарка. Лицензия в предоставленных данных не указана.

1.9K0авг. 2026ctx32.8K
texthugging-face
Jebadiah
gradient-1m-OpenBio-stone-l3-8b

Jebadiah создал объединённую разговорную языковую модель на архитектуре Llama 3: веса aaditya/Llama3-OpenBioLLM-8B объединены с gradientai/Llama-3-8B-Instruct-Gradient-1048k методом DARE TIES с помощью mergekit. Модель содержит 7,5 млрд параметров и рассчитана на генерацию текста в диалоговом формате, включая запросы по биомедицинским темам. Модель использует формат safetensors и библиотеку Transformers. Для базовой модели Gradient заявлен контекст до 1 048 576 токенов. Карточка не описывает отдельные результаты оценки качества этой сборки. Лицензия в предоставленных данных не указана.

120май 2024ctx1M
texthugging-face
leeroo
LeerooDedicated-Math-7b

LeerooDedicated-Math-7b — специализированная на математике модель Leeroo на базе Mistral с плотной архитектурой и 7,1 млрд параметров. В README описан подход Orchestration of Experts: оркестратор оценивает, может ли базовая модель решить задачу, и передаёт генерацию базовой модели-эксперту, если задача ей по силам. Для более сложных вопросов модель выдаёт специальный токен, сигнализирующий о необходимости обратиться к GPT-4 или другой сильной LLM; для получения полного ответа можно подключить OpenAI API. Модель предназначена для генерации решений математических задач. В оценке GSM8K, приведённой в README, она достигла точности 84,77% в режиме 5-shot, используя GPT-4 примерно для половины вопросов; это результат сценария с привлечением внешней модели, а не автономной работы одного чекпойнта. Размер родительского контекстного окна — 32 768 токенов. Веса опубликованы в формате safetensors. README не сообщает лицензию, поэтому условия использования по доступным данным определить нельзя.

196апр. 2024ctx32.8K
texthugging-face
qihoo360
Light-R1-32B

Light-R1-32B — плотная языковая модель на 32 млрд параметров, разработанная командой Qihoo 360 на базе Qwen2.5-32B-Instruct. Модель дообучена с помощью curriculum SFT и DPO на математических данных, чтобы генерировать развернутые рассуждения и решать сложные математические задачи. Для обучения использовались ответы DeepSeek-R1, отфильтрованные по проверяемости и сложности; итоговая версия также объединяет несколько вариантов модели после дообучения. Модель предназначена прежде всего для решения математических задач, включая задачи олимпиадного уровня. В карточке сообщается о результатах на AIME24 и AIME25; заявленная оценка AIME24 — 76,6. Архитектура — Qwen2 dense, формат весов — Safetensors, библиотека — Transformers; контекст составляет 42 768 токенов. Метаданные указывают поддержку диалога и интерфейса вызова инструментов. Лицензия — Apache-2.0. Способность к пошаговым рассуждениям обучалась только на математических данных, поэтому модель не всегда включает рассуждения и может хуже справляться с задачами за пределами этой области. Авторы также отмечают некоторое забывание знаний в общей научной области после математической специализации.

18890март 2025ctx42.8K
textapache-2.0hugging-face
qihoo360
Light-R1-32B-DS

Light-R1-32B-DS — плотная языковая модель на архитектуре Qwen2, разработанная командой Qihoo 360 и дообученная на базе DeepSeek-R1-Distill-Qwen-32B. Авторы сообщают, что для дополнительного обучения использовали 3 тысячи примеров SFT; модель предназначена прежде всего для математических рассуждений и генерации текстовых решений.

14415март 2025ctx131.1K
textapache-2.0hugging-face
albertge
llada-8b-dllm-registers-omi30k-t8

albertge/llada-8b-dllm-registers-omi30k-t8 — контрольная точка проекта dLLM Registers на базе LLaDA-8B-Base от GSAI-ML. Это дообученная плотная диффузионная языковая модель на 8 млрд параметров для генерации текста; обучение было ориентировано на математические трассы из подмножества OpenMathInstruct-2 объёмом около 30 тысяч примеров. В модели используется 8-токенный хвост Markovian Thinking как канал переноса состояния между окнами денойзинга, размер чанка — 128 токенов. Модель предназначена для генерации и решения математических задач с использованием этого канала состояния при выводе. Карточка описывает исследовательский эксперимент по масштабированию числа слотов; для корректного использования требуются специальные параметры запуска: num_registers=0, channel_mode=tail и tail_length=8. Модель работает с текстом и рассчитана прежде всего на английский язык. Лицензия — Apache-2.0.

150июнь 2026
textapache-2.0hugging-face
liuhaotian
LLaVA-13b-delta-v0-science_qa

liuhaotian/LLaVA-13b-delta-v0-science_qa — дельта-веса LLaVA, разработанной как открытый мультимодальный чат-бот; эта версия дообучена на наборе ScienceQA. Модель основана на авторегрессионном трансформере семейства LLaMA и содержит 12,9 млрд параметров. Для получения рабочих весов дельту необходимо применить поверх исходных весов LLaMA; сама по себе она не запускается. Модель предназначена для исследовательской работы с мультимодальными чат-ботами и визуальными вопросами-ответами. Она принимает изображения и текстовые инструкции и генерирует текстовые ответы, в частности для научных вопросов и рассуждений по изображению. В обучении использовались 595 тыс. пар изображение–текст из CC3M и ScienceQA. Лицензия — Apache 2.0. README не сообщает о поддерживаемых естественных языках или длине контекста.

206апр. 2023ctx2K
textapache-2.0hugging-face
chaoyinshe
llava-med-v1.5-mistral-7b-hf

Это совместимый с Hugging Face чекпойнт llava-med-v1.5-mistral-7b-hf, конвертированный из медицинской визуально-языковой модели Microsoft LLaVA-Med v1.5 на базе Mistral 7B. Он предназначен для ответов на вопросы по биомедицинским изображениям, например для исследовательского анализа медицинских снимков и биологических изображений. Архитектура — плотная LLaVA с генерацией текста по визуальному и текстовому вводу; README отмечает расширение словаря на два токена, при этом слои внимания не менялись. Модель поддерживает английский язык и распространяется в формате safetensors по лицензии Apache-2.0. Ответы модели могут быть неточными; выводы по медицинским изображениям требуют проверки специалистом.

1.2K8авг. 2025
textimageapache-2.0hugging-face
TIGER-Lab
MAmmoTH-13B

Карточка модели TIGER-Lab/MAmmoTH-13B на Hugging Face совпадает с карточкой TIGER-Lab/MAmmoTH-Coder-34B, поэтому описание составлено по ней. MAmmoTH-Coder-34B — языковая модель TIGER-Lab для решения математических задач, дообученная на наборе MathInstruct. Это плотная авторегрессионная модель семейства LLaMA с 33,5 млрд параметров, рассчитанная на генерацию текста; для запуска авторы рекомендуют библиотеку Transformers. Модель использует гибридные рассуждения: пошаговые объяснения (CoT) и программные решения (PoT), а контекст составляет 16 384 токена. Модель предназначена для решения широкого круга математических задач, в том числе в образовательных программах и системах персонального обучения. Она может формировать объяснение или представить ход решения как программу. Обучающий набор MathInstruct объединяет 13 наборов данных с математическими рассуждениями. В README отмечено, что качество зависит от сложности и формулировки задачи, а покрытие математических областей неполное. Карточка указывает лицензию MIT; авторы позиционируют модель для исследовательского использования.

319сент. 2023ctx4.1K
textmithugging-face
TIGER-Lab
MAmmoTH-70B

Карточка модели TIGER-Lab/MAmmoTH-70B на Hugging Face совпадает с карточкой TIGER-Lab/MAmmoTH-Coder-34B, поэтому описание составлено по ней. MAmmoTH-Coder-34B — языковая модель TIGER-Lab для решения математических задач, дообученная на наборе MathInstruct. Это плотная авторегрессионная модель семейства LLaMA с 33,5 млрд параметров, рассчитанная на генерацию текста; для запуска авторы рекомендуют библиотеку Transformers. Модель использует гибридные рассуждения: пошаговые объяснения (CoT) и программные решения (PoT), а контекст составляет 16 384 токена. Модель предназначена для решения широкого круга математических задач, в том числе в образовательных программах и системах персонального обучения. Она может формировать объяснение или представить ход решения как программу. Обучающий набор MathInstruct объединяет 13 наборов данных с математическими рассуждениями. В README отмечено, что качество зависит от сложности и формулировки задачи, а покрытие математических областей неполное. Карточка указывает лицензию MIT; авторы позиционируют модель для исследовательского использования.

3910сент. 2023ctx4.1K
textmithugging-face
TIGER-Lab
MAmmoTH-Coder-13B

Карточка модели TIGER-Lab/MAmmoTH-Coder-13B на Hugging Face совпадает с карточкой TIGER-Lab/MAmmoTH-Coder-34B, поэтому описание составлено по ней. MAmmoTH-Coder-34B — языковая модель TIGER-Lab для решения математических задач, дообученная на наборе MathInstruct. Это плотная авторегрессионная модель семейства LLaMA с 33,5 млрд параметров, рассчитанная на генерацию текста; для запуска авторы рекомендуют библиотеку Transformers. Модель использует гибридные рассуждения: пошаговые объяснения (CoT) и программные решения (PoT), а контекст составляет 16 384 токена. Модель предназначена для решения широкого круга математических задач, в том числе в образовательных программах и системах персонального обучения. Она может формировать объяснение или представить ход решения как программу. Обучающий набор MathInstruct объединяет 13 наборов данных с математическими рассуждениями. В README отмечено, что качество зависит от сложности и формулировки задачи, а покрытие математических областей неполное. Карточка указывает лицензию MIT; авторы позиционируют модель для исследовательского использования.

428сент. 2023ctx16.4K
textmithugging-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 моделей