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

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

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

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

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

4 120 моделей
Загрузки
Лайки
Дата выхода
2 251–2 280 из 4 120
BitStarWalkin
SuperCorrect-7B

SuperCorrect-7B — языковая модель для генерации ответов и математических рассуждений, представленная авторами метода SuperCorrect из Пекинского университета, Skywork AI, Калифорнийского университета в Беркли и Стэнфордского университета. Это дообученная версия Qwen/Qwen2.5-Math-7B-Instruct с архитектурой Qwen2ForCausalLM и 7,1 млрд параметров; модель распространяется в формате safetensors и рассчитана на контекст до 4096 токенов. Модель предназначена прежде всего для решения математических задач с пошаговым рассуждением и самокоррекцией. В методе SuperCorrect применяется двухэтапное дообучение и иерархический шаблон Buffer of Thought. В README заявлены результаты выше DeepSeekMath-7B и Qwen2.5-Math-7B на наборах MATH и GSM8K при оценке математического рассуждения без использования программных методов решения. Модель ориентирована на английские математические задачи; метаданные также указывают английский язык. Лицензия — Apache-2.0. Результаты в карточке относятся к указанным математическим бенчмаркам и сами по себе не подтверждают качество для других областей или языков.

3511окт. 2024ctx4.1K
textapache-2.0hugging-face
Shaik1903
ThinkLess-2B

ThinkLess-2B — дообученная модель Shaik1903 на базе Qwen3.5-2B, предназначенная для решения математических и научных задач с более короткими рассуждениями. Обучение включало SFT на коротких корректных решениях и короткий этап GRPO с вознаграждением за точность и длину ответа; в карточке также указано использование самодистилляции и учителя той же семьи размером 9 млрд параметров для сложных задач. Модель рассчитана на генерацию ответов и рассуждений на английском языке. В тестах GSM8K, MATH-500 и GPQA-Diamond она использовала меньше токенов, чем базовая модель, и показала более высокую точность; автор также сообщает о снижении числа незавершённых ответов. Для подачи обычно применяются Transformers, а ускоренный сценарий обслуживания с vLLM и MTP speculative decoding показан отдельно. Контекстный бюджет в описанных оценках составлял 81 920 токенов. Карточка сообщает о снижении точности на олимпиадных задачах относительно базовой модели и о чувствительности к 4-битной AWQ-квантизации; такая версия не опубликована. Обучение проводилось только на английских математических задачах, поэтому перенос на науку проверялся отдельно, а результаты основаны на одном запуске обучения. Лицензия — Apache-2.0.

3480сент. 2026ctx262.1K
textapache-2.0hugging-face
Salvatore
bert-finetuned-ner

Salvatore разработал BERT-модель для классификации токенов, дообученную на основе bert-base-cased. Она предназначена для распознавания сущностей и меток на уровне токенов; приведённые результаты оценки указывают на классы Proteinmutation, Snp и Dnamutation. Модель содержит 135,5 млн параметров, использует формат PyTorch и принимает последовательности длиной до 512 токенов. В README указаны метрики на оценочном наборе: F1 0,2398 и accuracy 0,9703; по классам F1 составляет 0,1309 для Proteinmutation, 0,1953 для Snp и 0,3778 для Dnamutation. Общие сведения о назначении датасета и ограничениях автор не приводит. Модель распространяется по лицензии Apache-2.0.

210июнь 2022ctx512
textapache-2.0hugging-face
eugenehp
bioclip-2

BioCLIP-2 — биологическая vision-language модель на архитектуре OpenCLIP ViT-L/14. Репозиторий eugenehp/bioclip-2 содержит staging-перераспределение upstream-чекпойнта для запуска через RLX. Модель предназначена для классификации изображений по заданным текстовым меткам без дообучения: пользователь передаёт фотографию и список категорий, а модель сопоставляет изображение с текстовыми описаниями. В репозитории доступны веса safetensors и версия GGUF F16, а также файлы токенизатора. Указана лицензия MIT. README рекомендует использовать поддерживаемый путь загрузки RLX и предупреждает, что файлы могут присутствовать по историческим причинам.

200июль 2026ctx77
textimagemithugging-face
deepseek-ai
deepseek-math-7b-instruct

DeepSeekMath-7B-Instruct — языковая модель семейства DeepSeekMath от DeepSeek, основанная на плотной архитектуре Llama и содержащая 6,5 млрд параметров. Версия Instruct предназначена для диалогового взаимодействия и генерации текста; название модели указывает на математическую направленность, однако предоставленная карточка не описывает конкретные математические возможности или результаты. Модель принимает текст и генерирует текст. Указанная длина контекста — 4096 токенов. Репозиторий содержит веса PyTorch; лицензия обозначена как other, поэтому условия использования следует сверить с полной лицензией разработчика.

5.9K163февр. 2024ctx4.1K
textotherhugging-face
Jackrong
gpt-oss-120b-Distill-Llama3.1-8B-v2

Jackrong/gpt-oss-120b-Distill-Llama3.1-8B-v2 — языковая модель, разработанная Soren на основе Llama 3.1 8B и дообученная для улучшения рассуждений. В README описаны дистилляция ответов более крупных моделей, supervised fine-tuning и последующее обучение с подкреплением GRPO. Модель насчитывает 7,5 млрд параметров, использует плотную архитектуру Llama и поддерживает контекст до 131 072 токенов. Модель предназначена прежде всего для диалогового решения математических задач и других запросов, требующих пошагового рассуждения. Она обучалась на смешанных китайских и английских данных и может выдавать подробный ход рассуждений в заданном формате. По описанию автора, среди сильных сторон — решение алгебраических текстовых задач; модель уступает ведущим специализированным системам рассуждения и не умеет вызывать внешние инструменты. Лицензия — Llama 3.1.

4415окт. 2025ctx131.1K
textllama3.1hugging-face
TIGER-Lab
MAmmoTH-Coder-34B

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

407сент. 2023ctx16.4K
textmithugging-face
jmeadows17
MathT5-large

MathT5-large — модель семейства T5 с 385,2 млн параметров, опубликованная пользователем jmeadows17 на Hugging Face. Она принимает текстовые математические запросы и генерирует вывод решения в виде уравнений, разделённых словом «and». Для запуска автор предлагает загрузить Python-модуль MathT5.py и вызвать inference; также опубликована облегчённая версия MathT5-base. Модель предназначена для генерации математических выводов по текстовым запросам. Это плотная encoder-decoder архитектура T5ForConditionalGeneration с контекстом 512 токенов и весами PyTorch. Лицензия — OpenRAIL. Карточка не раскрывает перечень поддерживаемых языков или подробные ограничения качества, поэтому применимость к конкретным темам математики и формулировкам следует проверять на примерах.

275июнь 2023ctx512
textopenrailhugging-face
kevinpro
MetaMathOctopus-13B

Карточка модели kevinpro/MetaMathOctopus-13B на Hugging Face совпадает с карточкой kevinpro/MetaMathOctopus-7B, поэтому описание составлено по ней. MetaMathOctopus-7B — генеративная языковая модель на базе архитектуры Llama, опубликованная пользователем kevinpro. По названию и приведённым в карточке бенчмаркам MSVAMP, MGSM и MNumGLUESub модель предназначена для решения математических задач, в том числе многоязычных. Модель содержит 6,6 млрд параметров, принимает текст и генерирует текст; длина контекста — 4096 токенов. В метаданных указаны языки как multilingual, но конкретные языки README не перечисляет. Репозиторий содержит веса в формате Safetensors, лицензия — Apache-2.0. Карточка приводит результаты сравнения с GPT-3.5-Turbo, MAmmoTH и WizardMath на математических наборах, однако доступный фрагмент не содержит результатов самой MetaMathOctopus-7B, поэтому по нему нельзя оценить её точность или сравнить качество с другими моделями. Модель можно рассматривать для экспериментального применения в генерации ответов и рассуждений по математическим задачам.

190февр. 2024ctx4.1K
textapache-2.0hugging-face
pH202411
MetaReason-SFT

MetaReason-SFT — дообученная мультимодальная модель на базе Qwen/Qwen3-VL-8B-Instruct, опубликованная под идентификатором pH202411/MetaReason-SFT. Она принимает изображения вместе с текстовыми запросами и формирует текстовые ответы; карточка указывает дообучение на наборах MathVRTrain_multimodal_train, ZKPG_multimodal_train и MathCanvasInstruct_multimodal_train. Модель предназначена для диалоговой работы с визуальными задачами, в частности математическими задачами по изображениям и материалами, созданными на MathCanvas. В метаданных указаны архитектура Qwen3-VL, плотная модель и формат весов safetensors. README сообщает значение loss 0,2481 на оценочном наборе, но не описывает протокол оценки или подробные ограничения. Лицензия обозначена как other, поэтому условия использования следует сверить с лицензией репозитория и базовой модели перед применением.

80авг. 2026ctx262.1K
textimageotherhugging-face
arianraje
mimo-7b-gdn-hybrid-1.6B-OPD

MiMo-7B GDN Hybrid — stage3-1.6B-OPD — это экспериментальный чекпойнт arianraje, полученный с помощью on-policy distillation (OPD) на основе MiMo-7B-RL-0530 и промежуточной модели семейства MiMo GDN. Архитектура сочетает слои внимания Qwen2 и Gated DeltaNet в пропорции 1:4; модель содержит 7 млрд параметров и принимает текст, выдавая текст. Окно контекста — 65 536 токенов. Модель предназначена для математических рассуждений и решения задач, в частности для оценки ответов на AIME и MATH-500. В README приведены результаты на этих тестах, но отмечено, что выборка AIME мала и её показатели служат лишь индикатором тенденций. Модель может подойти для экспериментов с длинным контекстом и диалоговыми сценариями. Для загрузки требуется регистрация пользовательской архитектуры mimo_gdn из репозитория обучения, Transformers 4.57.x и flash-linear-attention 0.5.x. Модель распространяется по лицензии MIT.

731сент. 2026ctx65.5K
textmithugging-face
kevinpro
MistralMathOctopus-7B

Карточка модели kevinpro/MistralMathOctopus-7B на Hugging Face совпадает с карточкой kevinpro/MetaMathOctopus-7B, поэтому описание составлено по ней. MetaMathOctopus-7B — генеративная языковая модель на базе архитектуры Llama, опубликованная пользователем kevinpro. По названию и приведённым в карточке бенчмаркам MSVAMP, MGSM и MNumGLUESub модель предназначена для решения математических задач, в том числе многоязычных. Модель содержит 6,6 млрд параметров, принимает текст и генерирует текст; длина контекста — 4096 токенов. В метаданных указаны языки как multilingual, но конкретные языки README не перечисляет. Репозиторий содержит веса в формате Safetensors, лицензия — Apache-2.0. Карточка приводит результаты сравнения с GPT-3.5-Turbo, MAmmoTH и WizardMath на математических наборах, однако доступный фрагмент не содержит результатов самой MetaMathOctopus-7B, поэтому по нему нельзя оценить её точность или сравнить качество с другими моделями. Модель можно рассматривать для экспериментального применения в генерации ответов и рассуждений по математическим задачам.

200март 2024ctx32.8K
textapache-2.0hugging-face
budget-internalization-iclr2027
nemotron3-nano-4b-2k-grpo-topdane-s300

Это экспериментальный чекпойнт Nemotron-3-Nano-4B, дообученный командой budget-internalization-iclr2027 на базе nvidia/NVIDIA-Nemotron-3-Nano-4B-BF16 методом GRPO. Он предназначен для генерации ответов с пошаговым рассуждением при решении математических задач; при обучении использовался лимит генерации 2 048 токенов. Чекпойнт соответствует шагу обучения 300 и выпущен в рамках анонимной заявки на ICLR 2027. Модель построена на архитектуре Nemotron H и представлена в формате safetensors. Метаданные указывают 6,4 млрд параметров и нативный контекст 262 144 токена, однако обучающие ответы ограничивались бюджетом в 2 048 новых токенов. Модель рассчитана на текстовый диалог; для запуска в README приведён пример использования vLLM с trust-remote-code. Основной сценарий — решение математических задач с ответом в формате \boxed{}. Данных о точности на бенчмарках и подробных ограничениях нет. Лицензия указана как other, поэтому конкретные условия использования следует уточнить в материалах репозитория.

2750сент. 2026ctx262.1K
textotherhugging-face
N8Programs
NextTerm-47M

NextTerm-47M — компактная языковая модель от N8Programs для продолжения целочисленных последовательностей. Это плотный трансформер архитектуры Qwen3 с 47,2 млн параметров, обученный на 1,9 млрд токенов расширенных данных из On-Line Encyclopedia of Integer Sequences (OEIS). Модель принимает последовательность целых чисел, записанных через запятую, и генерирует следующие члены в том же формате. Максимальная длина контекста — 2048 токенов; обучение проводилось на последовательностях длиной до 1024. Модель предназначена для предсказания следующих элементов арифметических, полиномиальных и OEIS-подобных последовательностей. В карточке приведены результаты сравнительных оценок, в которых она превосходит более крупные универсальные модели на ряде задач продолжения последовательностей; это специализированная модель, а не универсальный чат-бот. Токенизатор разбивает цифры по отдельности, поэтому длинные числа расходуют больше контекста. Числа с ведущими нулями не входили в обучение, а обобщение на последовательности длиннее обучающих не проверено тщательно. Модель распространяется под лицензией CC BY-SA 4.0.

2231нояб. 2025ctx2K
textcc-by-sa-4.0hugging-face
OpenMed
OpenMed-NER-OrganismDetect-SuperMedical-125M

OpenMed-NER-OrganismDetect-SuperMedical-125M — модель OpenMed для распознавания упоминаний видов организмов в тексте. Это дообученная модель RoBERTa для классификации токенов; она помечает названия видов тегами B-SPECIES и I-SPECIES. По карточке, модель обучена на корпусе SPECIES800 и принимает токенизированный биомедицинский текст, выдавая BIO-разметку. Параметры: 151,8 млн; максимальный контекст — 514 токенов. Указан английский язык. Модель предназначена для извлечения названий организмов из биомедицинских статей, научной литературы и клинических текстов, а также для анализа упоминаний видов и таксономической разметки. В README приведены F1 0,77, точность 0,75 и полнота 0,79 на SPECIES800. Лицензия — Apache-2.0. Результаты из карточки не подтверждают заявленную пригодность для извлечения лекарств или выявления взаимодействий препаратов; модель распознаёт сущности видов.

93K0июль 2025ctx514
textapache-2.0hugging-face
OpenMed
OpenMed-NER-SpeciesDetect-BioMed-109M

OpenMed разработала OpenMed-NER-SpeciesDetect-BioMed-109M — модель для распознавания названий видов и организмов в биомедицинских текстах. Это дообученная модель семейства BERT с архитектурой BertForTokenClassification, содержащая 136,7 млн параметров. Она принимает токенизированный текст и возвращает BIO-разметку сущностей типов B-SPECIES и I-SPECIES. Контекст модели — до 512 токенов. Модель предназначена для извлечения упоминаний видов из научной литературы и других биомедицинских документов, в том числе для таксономического анализа и поиска организмов в корпусах текстов. В README указана обучающая выборка LINNAEUS и приведены показатели на этом датасете, включая F1 0,73 в одном разделе и 0,9539 в сравнительной таблице; эти результаты расходятся, поэтому их нельзя считать однозначной оценкой качества. Карточка также перечисляет сценарии вроде клинического майнинга, мониторинга нежелательных явлений и построения биомедицинских графов знаний, но целевая разметка модели ограничена сущностями видов. Модель рассчитана на англоязычный текст. Репозиторий содержит веса Safetensors и совместим с Transformers. Лицензия — Apache-2.0. Применимость к другим языкам и устойчивость за пределами данных LINNAEUS в карточке не подтверждены; длина контекста ограничена 512 токенами.

91K0июль 2025ctx512
textapache-2.0hugging-face
OpenMed
OpenMed-ZeroShot-NER-Organism-Base-220M

OpenMed-ZeroShot-NER-Organism-Base-220M — модель OpenMed для извлечения упоминаний видов организмов из научных и биомедицинских текстов. Она основана на архитектуре GLiNER и дообучена на SPECIES800 — корпусе из 800 аннотирoванных научных аннотаций. Модель поддерживает zero-shot распознавание: типы сущностей задаются при запросе, хотя в карточке отдельно указан тип SPECIES. Модель принимает текст и возвращает найденные сущности с метками. В SPECIES800 представлены научные и общеупотребительные названия видов; заявленная F1 на тестовом наборе — 0,77. Основные сценарии — разметка биологической литературы, таксономический поиск и биокурация. Лицензия Apache-2.0. Показатель F1 относится к SPECIES800 и сам по себе не гарантирует такую же точность на других корпусах; широкие заявления карточки о распознавании любых сущностей и клинических задачах не подтверждены приведёнными метриками.

19K1сент. 2025
textapache-2.0hugging-face
menik1126
ovd-math-1-data-full-step300-historical

menik1126/ovd-math-1-data-full-step300-historical — чекпойнт из коллекции OVD: исторический вариант эксперимента «1-data full», шаг 300. Репозиторий содержит веса для инференса и токенизатор; модель дообучена на базе Qwen/Qwen2.5-Math-1.5B и использует архитектуру Qwen2ForCausalLM с 1,5 млрд параметров. Модель предназначена для генерации текста, в том числе решений математических задач. Контекст — до 4096 токенов. Базовая Qwen2.5-Math-1.5B рассчитана на математические задачи на английском и китайском языках; README не уточняет языки и качество именно этого экспериментального чекпойнта. Данных о лицензии в предоставленных источниках нет.

2330сент. 2026ctx4.1K
texthugging-face
menik1126
ovd-math-1-data-full-step600-historical

Карточка модели menik1126/ovd-math-1-data-full-step600-historical на Hugging Face совпадает с карточкой menik1126/OVD-Math-1-data-FR-Step600-Historical, поэтому описание составлено по ней. menik1126/OVD-Math-1-data-FR-Step600-Historical — чекпойнт исторического эксперимента OVD, опубликованный вместе с весами для инференса и токенизатором. Это дообученная модель Qwen2.5-Math-1.5B с плотной архитектурой Qwen2 и 1,5 млрд параметров; репозиторий помечен как conversational и поддерживает генерацию текста. Модель предназначена для генерации ответов и решений математических задач. Контекст составляет 4096 токенов; указана библиотека Transformers и формат весов safetensors. README обозначает модель как исторический эксперимент с шагом 600 и вариантом «1-data full», поэтому результаты могут отражать промежуточную стадию обучения. Базовая модель описана как англо-китайская математическая модель; отдельные сведения о языках этого чекпойнта и условиях лицензии в предоставленных данных отсутствуют.

2240сент. 2026ctx4.1K
texthugging-face
menik1126
ovd-math-1-data-hes-step600-historical

Карточка модели menik1126/ovd-math-1-data-hes-step600-historical на Hugging Face совпадает с карточкой menik1126/OVD-Math-1-data-HES-Step600-Historical, поэтому описание составлено по ней. menik1126/OVD-Math-1-data-HES-Step600-Historical — чекпойнт из коллекции OVD, разработанный для исторического эксперимента «1-data hes»; репозиторий содержит веса для инференса и токенизатор. Это дообученная модель Qwen2.5-Math-1.5B с архитектурой Qwen2ForCausalLM и 1,5 млрд параметров. Она предназначена для генерации текста, в том числе решений математических задач; базовая модель рассчитана на английский и китайский языки. Контекст составляет 4096 токенов. README не сообщает лицензию, поэтому условия использования по имеющимся данным определить нельзя.

2000сент. 2026ctx4.1K
texthugging-face
menik1126
OVD-Math-1-data-HES-Step600-Historical

menik1126/OVD-Math-1-data-HES-Step600-Historical — чекпойнт из коллекции OVD, разработанный для исторического эксперимента «1-data hes»; репозиторий содержит веса для инференса и токенизатор. Это дообученная модель Qwen2.5-Math-1.5B с архитектурой Qwen2ForCausalLM и 1,5 млрд параметров. Она предназначена для генерации текста, в том числе решений математических задач; базовая модель рассчитана на английский и китайский языки. Контекст составляет 4096 токенов. README не сообщает лицензию, поэтому условия использования по имеющимся данным определить нельзя.

2280сент. 2026ctx4.1K
texthugging-face
PRIME-RL
P1-30B-A3B

P1-30B-A3B — языковая модель серии P1, разработанная для решения задач по физике и подготовки к физическим олимпиадам. Она построена на Qwen3-30B-A3B-Thinking-2507 и дообучена в несколько этапов с подкреплением на отобранных данных физических соревнований. Архитектура — Qwen3 MoE с генерацией текста; в репозитории доступны веса safetensors. Метаданные указывают 2,6 млрд параметров и контекст до 262 144 токенов. Модель предназначена для пошагового рассуждения над сложными задачами по физике. В карточке также заявлены результаты на математических, STEM- и кодовых бенчмарках: например, серебряный уровень на IPhO 2025 и улучшение относительно базовой модели на ряде тестов. Это результаты, приведённые авторами, и они не гарантируют аналогичную точность на произвольных задачах. Модель поддерживает английский и заявлена как многоязычная; конкретные языки, кроме английского, карточка не перечисляет. Лицензия — Apache-2.0.

18910окт. 2025ctx262.1K
textapache-2.0hugging-face
lm-provers
QED-Nano

QED-Nano — компактная языковая модель на 3,7 млрд параметров для построения математических доказательств, разработанная командой авторов из CMU, ETH Zurich, Numina и Hugging Face. Это плотный декодер Transformer семейства Qwen3, дообученный методом supervised fine-tuning и reinforcement learning на задачах математических олимпиад. В README указана базовая модель Qwen/Qwen3-4B-Thinking-2507, а метаданные связывают этот чекпойнт с lm-provers/QED-Nano-SFT; обучение проходило на FineProofs-RL из 5 227 задач.

30389февр. 2026ctx262.1K
textapache-2.0hugging-face
Qwen
Qwen2-Math-1.5B-Instruct

Qwen2-Math-1.5B-Instruct — специализированная языковая модель для математики, разработанная командой Qwen как часть семейства Qwen2. Это диалоговая инструкция-ориентированная модель с плотной архитектурой Qwen2ForCausalLM и 1,5 млрд параметров; она принимает текст и генерирует текстовые ответы. Модель рассчитана на решение арифметических и математических задач, включая задачи, требующие многошаговых рассуждений. В карточке отмечена поддержка английского языка; на момент публикации китайская версия ещё готовилась. Контекст модели составляет 4096 токенов. Модель подходит для диалога с пользователем и для получения решений математических задач в формате инструкций. Репозиторий содержит веса safetensors, лицензия — Apache-2.0. Карточка отмечает, что для работы с Transformers требуется версия не ниже 4.40.0. Количество параметров и контекст ограничивают сложность задач и объём текста, который можно обработать за один запрос.

49123авг. 2024ctx4.1K
textapache-2.0hugging-face
Linyuana
qwen3-0.6b-grpo-math-reasoning

Linyuana разработала эту плотную языковую модель на архитектуре Qwen3 для генерации текста и решения математических задач. Модель содержит 507,9 млн параметров и получена дообучением Qwen/Qwen3-0.6B-Base: сначала выполнена настройка SFT для холодного старта, затем обучение методом GRPO с проверяемым правиловым вознаграждением на наборах GSM8K и MATH. Она принимает текстовые вопросы и генерирует текстовые рассуждения с итоговым ответом внутри тега <answer>. Контекстное окно составляет 32 768 токенов. В описанной оценке модель показала pass@1 67,7% на GSM8K и 48,8% на MATH; эти результаты относятся к указанному протоколу тестирования и не гарантируют аналогичное качество на других задачах. Модель подходит для экспериментов с математическим рассуждением и решения арифметических и олимпиадных задач. Авторы отмечают ограничения точности по сравнению с более крупными моделями, низкую долю строго корректного закрытия тега ответа и отсутствие оценки на других бенчмарках. Лицензия — Apache-2.0.

220авг. 2026ctx32.8K
textapache-2.0hugging-face
jepetolee
Qwen3-4B-AMQ3-Math-SFT

Qwen3-4B AMQ3 Math Short-CoT SFT — языковая модель, разработанная jepetolee и дообученная методом supervised fine-tuning на математических решениях с короткой цепочкой рассуждений. Она предназначена для пошагового решения математических задач на английском языке и выдачи итогового ответа в формате \boxed{}; в обучающей выборке отфильтрованы вопросы с выбором ответа. Модель основана на плотной архитектуре Qwen3ForCausalLM, содержит 3,7 млрд параметров и поддерживает контекст до 32 768 токенов. Для запуска автор рекомендует официальный шаблон чата Qwen3 и температуру не выше 0,75. При более высокой температуре чаще ухудшается формат ответов, а на сложных запросах без ограничения длины рассуждения генерация может оборваться без итогового ответа. README также описывает процессоры логитов для разделения бюджета на рассуждение и ответ и остановки повторов. Модель обучена на данных, дистиллированных от Qwen3-235B-A22B, поэтому может наследовать её стиль и ограничения. Лицензия указана как other; конкретные условия следует сверить с лицензией репозитория.

330июль 2026ctx32.8K
textotherhugging-face
microsoft
rho-math-7b-interpreter-v0.1

Карточка модели microsoft/rho-math-7b-interpreter-v0.1 на Hugging Face совпадает с карточкой microsoft/rho-math-1b-v0.1, поэтому описание составлено по ней. Rho-Math-1B-v0.1 — базовая языковая модель Microsoft для математических рассуждений и генерации ответов. Она построена на архитектуре Llama с плотной моделью класса LlamaForCausalLM и содержит 1 млрд параметров. Модель предварительно обучена методом Selective Language Modeling (SLM), который сосредоточивает обучение на чистых и полезных токенах. В README приведены результаты few-shot оценки на GSM8K и MATH для семейства Rho-Math; отдельный показатель именно для этой версии составляет 15,6% на MATH. Модель предназначена для генерации текста при решении математических задач, в том числе с пошаговым рассуждением и примерами в запросе. Она работает с текстом на английском языке и имеет контекст длиной 2048 токенов. Репозиторий содержит веса в формате safetensors. Лицензия — MIT.

18238апр. 2024ctx32.8K
textmithugging-face
juwon1105
RLCR-llama32-3B-bigmathdigits5000

RLCR-llama32-3B-bigmathdigits5000 — дообученная модель Meta Llama 3.2 3B Instruct, созданная с применением RLCR (Reinforcement Learning with Calibration Rewards) на наборе Big-Math-digits. Она предназначена для генерации ответов и математических рассуждений с выраженной оценкой уверенности: обучение добавляет награду на основе Brier score за калибровку словесно выраженной уверенности наряду с наградой за правильность. Модель имеет плотную архитектуру LlamaForCausalLM, около 3,2 млрд параметров, принимает текст и выдаёт текст. Контекст составляет до 131 072 токенов; базовая модель мультиязычная, но описание обучения сосредоточено на математических задачах. В README приведены результаты на отложенной выборке: точность 0,287, ECE 0,185 и PCE 0,171; LoRA применялась к q_proj и v_proj с рангом 16, alpha 32 и dropout 0,05. Репозиторий содержит веса safetensors, библиотека — Transformers. Лицензия указана как other, поэтому условия использования следует сверять с карточкой модели и лицензией базовой модели.

410авг. 2026ctx131.1K
textotherhugging-face
hunter-lab
sentence-level-ignorance-classifier

Модель разработана Nathan Gelfand и Darya Shlyk при финансировании Larry Hunter. Это дообученный BioMedBERT с линейной классификационной головой: двоичный классификатор определяет, выражает ли предложение пробел в знаниях или незнание по заданной теме. Модель предназначена для анализа биомедицинских статей и поиска нерешённых вопросов и исследовательских направлений. Используется архитектура BERT для классификации последовательностей; размер модели — 136,7 млн параметров, контекст — до 512 токенов. Модель рассчитана на английский язык и распространяется по лицензии MIT. Классификатор обучен на 937 вручную размеченных предложениях из публикаций PubMed о моногенных эпилепсиях. При обучении были заморожены большинство слоёв базовой модели, чтобы снизить переобучение на небольшом наборе данных. Поэтому качество может быть выше на формулировках из этой области, а результаты зависят от использованных правил разметки; перед применением к другим темам модель следует оценить на соответствующих данных.

180авг. 2026ctx512
textmithugging-face
shreyansh12183
Shreyansh-STEM-1.5B-Base

Shreyansh-STEM-1.5B-Base — базовая языковая модель с открытыми весами, созданная для задач STEM. Она построена на плотной авторегрессионной архитектуре OLMo-2 и содержит около 1,3 млрд параметров по метаданным. Модель предназначена для дообучения под специализированные задачи, а не для диалогового использования без дополнительной настройки. Заявленные области применения включают физику, математику, органическую химию, вычислительную биологию, информатику, а также логику аппаратуры и код на Verilog/VHDL. Модель генерирует текст и может служить основой для SFT, адаптации предметной области или дистилляции; заявленный контекст — 4096 токенов. Веса опубликованы в формате SafeTensors, лицензия — Apache 2.0. Чекпойнт не настроен на выполнение инструкций и не выровнен с помощью RLHF, поэтому для чата и ответов на вопросы потребуются подходящие промпты или последующее дообучение. Качество по отдельным STEM-задачам в предоставленных материалах не оценено.

2630сент. 2026ctx4.1K
textapache-2.0hugging-face

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

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

0 моделей