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

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

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

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

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

4 120 моделей
Загрузки
Лайки
Дата выхода
2 161–2 190 из 4 120
AmberYifan
capsd-qwen3-numina-Qwen3-4B-Base-math_cap_b8000_s0

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

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

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

500авг. 2026ctx32.8K
textotherhugging-face
zbeeb
Cedar-GRPO-Qwen2.5-Math-1.5B

Cedar-GRPO-Qwen2.5-Math-1.5B — полноразмерный чекпойнт Qwen/Qwen2.5-Math-1.5B после 1000 шагов дообучения методом GRPO. Его разработал zbeeb как часть коллекции Cedar Math; обучение проводилось на наборе из 17 005 математических задач Cedar GRPO DAPO Math. Модель представляет собой плотную авторегрессионную архитектуру Qwen2 и содержит 1,5 млрд параметров. Модель предназначена для генерации решений математических задач в диалоговом формате. Контекст составляет 4096 токенов; при обучении использовался предел до 3072 токенов на завершение. Обучение оптимизировало математическую эквивалентность итогового ответа. Карточка сообщает об оценивании на математических бенчмарках, но приведённые результаты являются самоотчётом разработчика. Весы сохранены в Safetensors без потерь в исходной плавающей точности чекпойнта; для инференса модель можно загружать в BF16. Поддерживаются английский и китайский языки. Модель распространяется по лицензии Apache-2.0.

2710сент. 2026ctx4.1K
textapache-2.0hugging-face
hkust-nlp
dart-math-llama3-8b-prop2diff

DART-Math-Llama3-8B-Prop2Diff — дообученная HKUST-NLP языковая модель для решения математических задач и пошаговых рассуждений. Она основана на Meta-Llama-3-8B и обучена методом instruction tuning на синтетических данных DART-Math-Hard, сформированных из наборов MATH и GSM8K с помощью отбора ответов с учётом сложности задач. Модель использует плотную архитектуру LlamaForCausalLM, содержит 7,5 млрд параметров и принимает текстовые инструкции на английском языке. Модель предназначена для генерации решений по математике: от задач уровня школьной алгебры до сложных задач из математических бенчмарков. В README указаны сравнительные результаты семейства DART-Math на нескольких математических тестах, однако конкретные оценки именно этой версии не приведены. Контекстная длина по метаданным — 8192 токена. Репозиторий распространяет веса в формате safetensors; лицензия — llama3, унаследованная от Meta Llama 3.

401июнь 2024ctx8.2K
textllama3hugging-face
OpenMOSS-Team
DiRL-8B-Instruct

DiRL-8B-Instruct — языковая модель с диффузионной архитектурой SDAR на 7,6 млрд параметров, разработанная командой OpenMOSS-Team для математических рассуждений. Она дообучена на основе JetLM/SDAR-8B-Chat в два этапа: SFT и обучение с подкреплением (RL). Модель предназначена для решения математических задач и ответов в диалоговом формате; карточка сообщает о результатах на тестах MATH500, GSM8K, AIME и OlympiadBench. Модель принимает текст и генерирует текст, поддерживает английский и китайский языки, использует библиотеку Transformers и имеет контекстное окно 32 768 токенов. В README заявлены высокие результаты среди моделей масштаба 8B, однако приведённая таблица неполная, поэтому эти сравнения нельзя независимо оценить по карточке. Модель распространяется по лицензии Apache-2.0.

9214нояб. 2025ctx32.8K
textapache-2.0hugging-face
suryadv
IncorrectTraceSFT-Qwen2.5-7B-MATH-random-mask-25

IncorrectTraceSFT · MATH random mask 25 — модель Qwen2.5-7B, полностью дообученная авторами эксперимента «How Should Incorrect Traces Be Used in Supervised Fine-Tuning?». Это вариант random_mask_25 в эксперименте по маскированию математических решений. Модель содержит 7,1 млрд параметров, использует плотную архитектуру Qwen2ForCausalLM и распространяется в формате safetensors; базовая модель — Qwen/Qwen2.5-7B. Модель предназначена для генерации текста и исследования математических рассуждений, в частности влияния отбора обучающих данных на supervised fine-tuning. Она принимает текстовые запросы и генерирует текстовые ответы; карточка указывает английский язык и контекст до 131 072 токенов. Чекпойнт получен после 125 обновлений оптимизатора, поэтому результаты следует оценивать в рамках описанного авторами эксперимента; наличие правильных ответов в данных не означает, что промежуточные шаги рассуждений были проверены. Лицензия — Apache-2.0.

2620сент. 2026ctx131.1K
textapache-2.0hugging-face
Trelis
Llama-3.2-1B-Instruct-MATH

Trelis/Llama-3.2-1B-Instruct-MATH — языковая модель Trelis для генерации текста и ответов в формате чата, дообученная на математических данных на основе Trelis/Llama-3.2-1B-Instruct-MATH-synthetic. Это плотная авторегрессионная модель семейства Llama с архитектурой LlamaForCausalLM и примерно 1,2 млрд параметров; она принимает текст и выдаёт текст. Карточка указывает окно контекста до 131072 токенов и английский язык. При обучении использовались Unsloth и Hugging Face TRL. Модель предназначена для генерации ответов на математические запросы и других сценариев генерации текста, поддерживаемых базовой инструктивной моделью. Метаданные также отмечают интерфейс для вызова инструментов, но README не описывает его поведение или качество. Модель распространяется в формате safetensors по лицензии Apache-2.0.

350окт. 2024ctx131.1K
textapache-2.0hugging-face
Elliott
LUFFY-Qwen-Math-7B-Zero-On-Policy

LUFFY-Qwen-Math-7B-Zero-On-Policy — языковая модель Elliott, дообученная на базе Qwen/Qwen2.5-Math-7B методом обучения с подкреплением. Это on-policy базовый вариант проекта LUFFY, использующий подмножество OpenR1-Math-220k; подход LUFFY сочетает генерацию собственных решений с внешними цепочками математических рассуждений при обучении. Модель предназначена для генерации пошаговых решений математических задач, включая задачи олимпиадного и конкурсного уровня. Она основана на плотной архитектуре Qwen2, содержит 7,1 млрд параметров и поддерживает контекст до 16 384 токенов. В карточке приведены результаты оценки на AIME 2024/2025, AMC, MATH-500, Minerva и Olympiad; README заявляет преимущество над другими методами zero-RL, но приведённая таблица неполна. Модель принимает текст и генерирует текст. Базовая модель ориентирована на английский и китайский языки; отдельные сведения о языковом охвате дообученной версии не приведены. Репозиторий распространяет веса в формате safetensors по лицензии MIT.

320апр. 2025ctx16.4K
textmithugging-face
tbs17
MathBERT

MathBERT — англоязычная модель семейства BERT, разработанная для работы с математическими текстами. Она содержит 136,7 млн параметров и обучена на корпусе примерно из 100 млн токенов: от школьных учебных программ до университетских учебников и аннотаций математических статей. Модель без учёта регистра, использует архитектуру BertForMaskedLM и принимает последовательности длиной до 512 токенов. Модель предсказывает замаскированные слова и может применяться для извлечения признаков и последующего дообучения на задачах классификации последовательностей и токенов, а также ответов на вопросы по математическим текстам. Она предназначена прежде всего для математических текстов; для генерации математического текста в карточке рекомендуются авторегрессионные модели. Условия лицензирования в предоставленных данных не описаны.

1.3K27март 2022ctx512
texthugging-face
MathLLMs
MathCoder-CL-34B

Карточка модели MathLLMs/MathCoder-CL-34B на Hugging Face совпадает с карточкой MathLLMs/MathCoder-L-7B, поэтому описание составлено по ней. MathCoder-L-7B — языковая модель семейства Llama, разработанная командой MathLLMs для решения математических задач. Это версия на 7B-класса, дообученная на наборе MathCodeInstruct; в README базовой моделью указана Llama 2. Модель генерирует текстовые решения математических задач и предназначена для использования через библиотеку Transformers.

154сент. 2023ctx16.4K
textapache-2.0hugging-face
MathLLMs
MathCoder-CL-7B

Карточка модели MathLLMs/MathCoder-CL-7B на Hugging Face совпадает с карточкой MathLLMs/MathCoder-L-7B, поэтому описание составлено по ней. MathCoder-L-7B — языковая модель семейства Llama, разработанная командой MathLLMs для решения математических задач. Это версия на 7B-класса, дообученная на наборе MathCodeInstruct; в README базовой моделью указана Llama 2. Модель генерирует текстовые решения математических задач и предназначена для использования через библиотеку Transformers.

3319сент. 2023ctx16.4K
textapache-2.0hugging-face
Haleshot
Mathmate-7B-DELLA-ORPO

Mathmate-7B-DELLA-ORPO — дообученная компанией Haleshot языковая модель для генерации текста и решения математических задач. Она основана на Haleshot/Mathmate-7B-DELLA и дополнительно настроена методом ORPO (Odds Ratio Preference Optimization) на наборе argilla/distilabel-math-preference-dpo с примерами решений, ранжированными по предпочтениям людей. Модель использует плотную архитектуру Llama с примерно 6,5 млрд параметров и контекстом до 4096 токенов. Она предназначена для математических рассуждений, пошаговых объяснений и выбора более предпочтительных решений. Репозиторий содержит веса в формате Safetensors; лицензия — Apache-2.0. Модель может ошибаться в вычислениях и рассуждениях, поэтому её ответы, особенно для сложных задач, следует проверять.

140сент. 2024ctx4.1K
textapache-2.0hugging-face
oumi-ai
MiniMath-R1-1.5B

MiniMath-R1-1.5B — компактная языковая модель Oumi AI для диалогового решения математических задач. Это версия Qwen2 с архитектурой для авторегрессионной генерации текста, дообученная методом supervised fine-tuning на наборе oumi-ai/MetaMathQA-R1 поверх DeepSeek-R1-Distill-Qwen-1.5B. Модель содержит 1,5 млрд параметров и поддерживает контекст до 131 072 токенов. Модель предназначена для математических вопросов и задач в формате диалога; карточка описывает её как англоязычную. По заявлению разработчика, она набрала 44,4% на MMLU-Pro-Math и улучшила базовую модель на 6 процентных пунктов. Эти результаты не гарантируют точность на других задачах. Модель ограничена возможностями небольших языковых моделей, и разработчик рекомендует не использовать её за пределами математики. Лицензия — Apache 2.0.

287февр. 2025ctx131.1K
textapache-2.0hugging-face
thainq107
ner-biomedical-maccrobat2018

thainq107/ner-biomedical-maccrobat2018 — модель DistilBERT для распознавания и разметки биомедицинских сущностей в тексте. Она дообучена на базе d4data/biomedical-ner-all на датасете, который в карточке не описан; архитектура использует токенную классификацию, а максимальная длина контекста составляет 512 токенов. Модель предназначена для извлечения медицинских сущностей из биомедицинских и клинических текстов. В README приведены результаты на оценочном наборе: loss 0,6342 и accuracy 0,7903; состав набора и подробности оценки не раскрыты. Репозиторий содержит веса в формате safetensors и распространяется по лицензии Apache-2.0.

220февр. 2025ctx512
textapache-2.0hugging-face
divelab
OPDLM-MATH-4B-Thinking

OPDLM-MATH-4B-Thinking — модель генерации текста для математических рассуждений, разработанная на основе Qwen/Qwen3-4B командой, связанной с проектом OPDLM. Это вариант On-Policy Distillation Language Model с блочно-диффузионной архитектурой: блоки размером 4 токена уточняются за 4 шага денойзинга. Модель дообучена для математики и поддерживает явный блок рассуждений при генерации. Модель принимает текст и выдаёт текст; её можно применять для решения математических задач и пошагового объяснения рассуждений. Архитектура — адаптация Qwen3-4B с примерно 3,7 млрд параметров. В README указано обучение на длинном контексте 8k, тогда как метаданные сообщают максимальную длину контекста 40 960 токенов. Для запуска требуется пользовательский код модели с trust_remote_code=True и специальные утилиты генерации OPDLM; стандартный model.generate несовместим с блочно-диффузионным способом генерации. Модель распространяется по лицензии Apache-2.0. Карточка ссылается на исследовательский отчёт об OPDLM; описанное назначение — практическое решение математических задач, поэтому модель классифицируется как production.

310июнь 2026ctx41K
textapache-2.0hugging-face
OpenMed
OpenMed-NER-OncologyDetect-ElectraMed-335M

OpenMed-NER-OncologyDetect-ElectraMed-335M — специализированная модель OpenMed для распознавания и классификации биомедицинских сущностей, связанных с онкологией и генетикой рака. Это дообученный трансформер с архитектурой BERT для token classification, содержащий 433,9 млн параметров и принимающий текстовые последовательности длиной до 512 токенов. Модель обучена на корпусе BioNLP 2013 CG и формирует BIO-разметку сущностей, включая гены и продукты генов, рак, клетки, ткани, органы и химические вещества. Она рассчитана на извлечение сущностей из научной литературы, клинических текстов и медицинских документов на английском языке. Модель может использоваться для поиска онкологических сущностей в статьях и записях, анализа генетики опухолей и подготовки данных для биомедицинских баз знаний. В README приведены F1 0,77, точность 0,76 и полнота 0,78 на упомянутой оценке; качество следует проверять на целевых текстах и сценариях, поскольку показатели на корпусе не гарантируют клиническую надёжность. Максимальный контекст — 512 токенов, поэтому длинные документы требуется разбивать на фрагменты. Лицензия — Apache-2.0.

13K0июль 2025ctx512
textapache-2.0hugging-face
OpenMed
OpenMed-NER-SpeciesDetect-BioPatient-108M

OpenMed-NER-SpeciesDetect-BioPatient-108M — модель OpenMed для распознавания упоминаний видов и организмов в биомедицинских текстах. Это дообученный трансформер на архитектуре BERT с 135,5 млн параметров, предназначенный для токенной классификации. Модель выделяет сущности метками B-SPECIES и I-SPECIES; контекстное окно составляет 512 токенов. Модель обучена на корпусе LINNAEUS и рассчитана на извлечение названий видов из научной литературы, клинических записей и других биомедицинских документов. Её можно применять для поиска упоминаний организмов, анализа литературы и построения биомедицинских баз знаний. В карточке заявлены F1 0,94, точность 0,92 и полнота 0,95; описание не приводит подробностей о методике оценки на клинических данных. Модель принимает токенизированный текст и выдаёт BIO-разметку сущностей. Лицензия — Apache-2.0.

92K0июль 2025ctx512
textapache-2.0hugging-face
OpenMed
OpenMed-NER-SpeciesDetect-SuperClinical-434M

OpenMed-NER-SpeciesDetect-SuperClinical-434M — модель OpenMed для распознавания упоминаний видов и организмов в биомедицинском тексте. Это дообученный трансформер DeBERTa-v2 с архитектурой токенной классификации, примерно 533,8 млн параметров и контекстом до 512 токенов. Модель принимает токенизированный текст и размечает названия организмов тегами B-SPECIES и I-SPECIES. Модель предназначена для извлечения названий видов из клинических документов и научной литературы, а также для текстового анализа в биомедицинских исследованиях. В README указано, что обучение проводилось на корпусе LINNAEUS; приведены метрики F1 0,95, точность 0,94 и полнота 0,97. Заявленные показатели и производственная готовность относятся к описанию автора и не подтверждают качество на произвольных данных. Поддерживается английский язык. Лицензия — Apache-2.0.

91K0июль 2025ctx512
textapache-2.0hugging-face
OpenMed
OpenMed-NER-SpeciesDetect-TinyMed-66M

OpenMed разработала OpenMed-NER-SpeciesDetect-TinyMed-66M — модель распознавания видов и организмов в тексте, дообученную для биомедицинского NER на корпусе LINNAEUS. Она основана на DistilBERT и размечает упоминания видов BIO-тегами B-SPECIES и I-SPECIES; модель принимает токенизированный текст и возвращает классификацию токенов. Указанная длина контекста — 512 токенов. Модель предназначена для извлечения названий видов из биомедицинских публикаций и других текстов, а также для построения конвейеров поиска и анализа таксономических упоминаний. Карточка приводит F1 0,93, точность 0,92, полноту 0,93 и accuracy 0,99; это показатели, заявленные для оценки модели в карточке. README также перечисляет сценарии клинического анализа и поиска по научной литературе, но выходные метки модели относятся именно к видам и организмам. Модель распространяется в формате safetensors и совместима с Transformers. Лицензия — Apache-2.0. Ограничения: контекст ограничен 512 токенами; качество на конкретных текстах и за пределами домена, на котором проверялась модель, может отличаться от приведённых в карточке метрик.

93K0июль 2025ctx512
textapache-2.0hugging-face
OpenMed
OpenMed-NER-SpeciesDetect-TinyMed-82M

OpenMed-NER-SpeciesDetect-TinyMed-82M — специализированная модель OpenMed для распознавания названий видов и организмов в тексте. Она дообучена для задачи классификации токенов на корпусе LINNAEUS и размечает упоминания видов тегами B-SPECIES и I-SPECIES, включая научные и общеупотребительные названия. Основа — distilroberta-base; архитектура RoBERTa, около 95,2 млн параметров, контекст до 514 токенов. Модель принимает токенизированный текст и выдаёт BIO-разметку сущностей. Модель предназначена для извлечения названий организмов из биомедицинских статей и других текстов, а также для биомедицинского текстового майнинга и построения баз знаний. В README приведены показатели на LINNAEUS: F1 0,88, точность 0,85 и полнота 0,92. Эти результаты относятся к указанному корпусу; качество на клинических документах и других доменах отдельно не подтверждено. Карточка указывает английский язык. Лицензия — Apache-2.0.

94K0июль 2025ctx514
textapache-2.0hugging-face
OpenMed
OpenMed-ZeroShot-NER-Species-Small-166M

OpenMed-ZeroShot-NER-Species-Small-166M — модель OpenMed для извлечения из текста упоминаний видов и организмов. Она построена на архитектуре GLiNER и дообучена на корпусе LINNAEUS, содержащем научные и общеупотребительные названия видов; в карточке также заявлена обработка сокращённых форм. Модель принимает биомедицинский текст и возвращает найденные сущности с метками, поддерживая zero-shot настройку типов сущностей. Модель предназначена для извлечения названий организмов из научной литературы и биомедицинских текстов, включая задачи индексирования литературы, метагеномных отчётов и анализа биоразнообразия. В README указана оценка F1 0,78 на тестовой выборке LINNAEUS, не использованной при обучении. Это специализированная модель распознавания видов, поэтому качество на других типах сущностей и в иных текстовых доменах не подтверждено приведёнными результатами. Распространяется по лицензии Apache-2.0.

35K0сент. 2025
textapache-2.0hugging-face
gmarti
ordinalicl-tabdpt-turbo

OrdinalICL for TabDPT-Turbo — модель Готье Марти для предсказания упорядоченных категорий по небольшим табличным наборам данных. Она добавляет интерфейс порядковой классификации к неизменённой основе TabDPT-Turbo: общий номинальный путь и три обученных модуля порядковой коррекции формируют вероятности для каждого уровня заданной шкалы. Основа содержит 63,5 млн параметров; релиз включает ансамбль из трёх модулей коррекции. Модель дообучена на синтетических таблицах, а её качество оценивалось также на 40 семействах реальных наборов данных. Модель предназначена для числовых табличных задач, где целевые категории имеют естественный порядок: например, рейтинги, стадии заболеваний и ответы на упорядоченные опросы. Вход — конечные числовые признаки и контекстные метки; требуется от 1 до 12 признаков и от 3 до 10 уникальных уровней, переданных в правильном порядке. Выход — распределение вероятностей по уровням шкалы. Поддерживается инференс на CPU, но CUDA работает быстрее. Лицензия — CC BY 4.0. В опубликованных экспериментах улучшение относительно сопоставимой номинальной адаптации было статистически различимым, но небольшим по абсолютной величине. Проверен контекст из 32 размеченных строк; поведение при других размерах контекста не охарактеризовано. Категориальные признаки и пропуски нужно обработать до инференса. Модель не валидирована для клинических, кадровых, кредитных и других значимых решений о людях.

90сент. 2026
textcc-by-4.0hugging-face
zbeeb
Qwen2.5-3B-GRPO-Staleness-8

Qwen2.5-3B-GRPO-Staleness-8 — языковая модель zbeeb на базе Qwen/Qwen2.5-3B, дообученная методом GRPO на 17 005 примерах математического датасета DAPO. Это плотная авторегрессионная архитектура Qwen2 с 3,1 млрд параметров; репозиторий содержит веса Safetensors для Transformers и конфигурацию генерации, останавливающую вывод по двум токенам завершения. Модель принимает текст и генерирует текст; метаданные указывают английский и китайский языки. Контекстная конфигурация — 32 768 токенов, однако обучение использовало общий контекст 4 096 токенов и до 3 072 токенов ответа. Модель предназначена прежде всего для генерации решений математических задач и ответов на них. При обучении использовалась детерминированная награда за математическую эквивалентность итогового ответа; README приводит результаты оценивания на наборах MATH500, AMC, AIME, Minerva и OlympiadBench, но подчёркивает, что это результаты обучения, а не новая проверка опубликованного экспорта. Параметр staleness cap 8 ограничивал возраст rollout-политики при обучении и не задаёт длину генерации. Расширение контекста до 8K не настроено и не проверено. Лицензия указана как other; конкретные условия следует уточнить в карточке модели.

2020сент. 2026ctx32.8K
textotherhugging-face
zbeeb
Qwen2.5-Math-1.5B-GRPO-Staleness-2

Qwen2.5-Math-1.5B-GRPO-Staleness-2 — полноразмерный чекпойнт модели Qwen/Qwen2.5-Math-1.5B, дообученный zbeeb методом GRPO на наборе из 17 005 математических задач. Модель построена на плотной архитектуре Qwen2 и содержит 1,5 млрд параметров; поддерживает диалоговую генерацию текста и рассчитана на контекст до 4096 токенов. Модель предназначена для генерации решений математических задач и ответов с конечным результатом, проверяемым на математическую эквивалентность. Обучение использовало групповой размер 8, отсечение PPO 0,2 и ограничение возраста данных для роллаутов в 2 шага. Веса сохранены в Safetensors; для вывода можно загрузить BF16. Карточка приводит самоотчётные результаты оценивания, но не содержит в предоставленном фрагменте самих числовых показателей. Базовая модель рассчитана на английский и китайский языки; обучение и оценивание чекпойнта также описаны для математических задач. Модель распространяется по лицензии Apache-2.0. Указанные результаты являются самоотчётными и зависят от настроек генерации и оценщика; модель может ошибаться в рассуждениях и ответах.

5720сент. 2026ctx4.1K
textapache-2.0hugging-face
bartowski
Qwen2.5-Math-1.5B-Instruct-GGUF

bartowski/Qwen2.5-Math-1.5B-Instruct-GGUF — набор GGUF-квантизаций модели Qwen2.5-Math-1.5B-Instruct, разработанной Qwen. Модель предназначена для генерации текста в диалоговом формате и решения математических задач; указанный язык — английский. Она ориентирована на локальный запуск через llama.cpp и совместима, в частности, с LM Studio. Модель содержит 1,5 млрд параметров и поставляется в вариантах от F16 до низкобитных квантизаций Q8_0, Q6, Q5, Q4, Q3 и IQ. Размер файлов составляет примерно от 0,78 до 3,09 ГБ. Доступны варианты, оптимизированные для ARM-инференса; отдельные форматы требуют поддержки SVE или i8mm. Квантизации созданы с использованием imatrix и llama.cpp, что позволяет выбирать баланс между качеством, объёмом памяти и скоростью локального запуска. Сильные стороны модели — компактный размер, специализированная математическая направленность и широкий выбор вариантов квантизации для устройств с разными ресурсами. Ограничения включают меньшую мощность по сравнению с более крупными моделями, заявленную поддержку только английского языка и возможное снижение качества в низкобитных вариантах. Для работы требуется соблюдать формат промпта Qwen и использовать совместимое ПО. Базовая модель распространяется по лицензии Apache-2.0.

26K3сент. 2024
textapache-2.0hugging-face
Thinking-Space
Qwen3-1.7B-Base-OPD

Thinking-Space выпустила Qwen3-1.7B-Base-OPD — плотную авторегрессионную языковую модель семейства Qwen3 на 1,7 млрд параметров, полученную дистилляцией по схеме on-policy distillation. Модель инициализирована весами Qwen/Qwen3-1.7B-Base и обучена переносить математические рассуждения модели-учителя Qwen3-4B-Base-GRPO на наборе DAPO-Math-17k. Модель предназначена для генерации текста при решении математических задач и построении рассуждений. Она принимает текст и выдаёт текст, поддерживает контекст до 32 768 токенов и имеет карточные языковые метки английского и китайского. Компактный размер позволяет использовать её как более лёгкую альтернативу учителю, однако специализация на математике не гарантирует точность ответов и не означает универсального качества для других задач. Репозиторий содержит веса в формате safetensors; лицензия указана как other, поэтому перед использованием следует проверить её условия на странице модели.

940июнь 2026ctx32.8K
textotherhugging-face
lecunyin
Qwen3-1.7B-OPD-Math

Qwen3-1.7B-OPD-Math — компактная языковая модель на 1,7 млрд параметров, созданная на основе Qwen/Qwen3-1.7B методом on-policy-дистилляции. В качестве учителя использовалась Qwen3-4B-Instruct-2507; студент обучался в режиме без пошагового мышления на математических запросах из DAPO-Math-17k. Модель предназначена для генерации текста и диалоговых ответов с математическими рассуждениями. В карточке приведён результат 50,0% pass@8 на AIME 2024 при температуре 1,0 и top-p 0,7 после 10 шагов обучения; это результат конкретного эксперимента, а не гарантия качества на других задачах. Архитектура — плотная Qwen3ForCausalLM, контекст — до 40 960 токенов. Модель принимает и выдаёт текст; в метаданных для карточки указан английский язык. Распространяется в формате safetensors по лицензии Apache-2.0. Карточка отмечает чувствительность reverse-KL-дистилляции к совпадению поведения учителя и студента при завершении генерации: несовпадение может привести к коллапсу длины и проблемам с выдачей EOS.

161июнь 2026ctx41K
textapache-2.0hugging-face
seomh
Qwen3-4B-OpenThoughts3-Math-SFT-step500

Qwen3-4B OpenThoughts3 Math SFT — Step 500 — это промежуточный чекпойнт модели Qwen3-4B, опубликованный как экспорт Hugging Face. Его создал автор репозитория, дообучив Qwen/Qwen3-4B методом supervised fine-tuning на 103 760 примерах математических рассуждений из OpenThoughts3-1.2M. Модель предназначена для экспериментов с математическими рассуждениями, SFT и дистилляцией на собственных ответах; это плотная авторегрессионная языковая модель примерно на 3,7 млрд параметров с контекстом до 40 960 токенов. Во время обучения использовался формат, в котором рассуждение и итоговый ответ выводятся в видимом канале, а блок Qwen3 thinking оставляется пустым. Для воспроизведения такого поведения карточка рекомендует использовать поставляемый шаблон чата и отключать thinking, если это поддерживает среда инференса. Модель ориентирована на английский язык и математические задачи; она генерирует текст. Чекпойнт представляет экспериментальный шаг обучения, а не готовую для эксплуатации модель; оценка AIME для него ещё не добавлена. В обучающей выборке оставляли только полные ответы с завершённым блоком рассуждения и ответом в рамке, поэтому сложность и распределение задач отличаются от полного набора OpenThoughts3. Лицензия — Apache 2.0.

2420сент. 2026ctx41K
textapache-2.0hugging-face
budget-internalization-iclr2027
qwen3.5-4b-8k-grpo-overlong-penalty-awareshrimp-s300

Это экспериментальная дообученная модель Qwen3.5-4B из анонимной заявки на ICLR 2027. Её обучали методом GRPO с мягким штрафом DAPO за чрезмерно длинный ответ: штраф линейно возрастает на последних 512 токенах перед лимитом генерации. Модель предназначена прежде всего для математических рассуждений с бюджетом генерации 8 192 токена и форматом ответа в тегах \boxed{}. Модель основана на плотной мультимодальной архитектуре Qwen3.5 с 4 млрд параметров и поддерживает диалог и понимание изображений; в метаданных для неё указан тег image-text-to-text. Для запуска автор приводит пример с vLLM. Репозиторий содержит веса safetensors, лицензия — Apache-2.0. Чекпойнт соответствует шагу обучения 300; README не приводит результатов оценки качества, поэтому эффективность рассуждений и устойчивость соблюдения бюджета по этим сведениям оценить нельзя.

270сент. 2026ctx262.1K
textimageapache-2.0hugging-face
BayesRL
Qwen-C3PO-7B

BayesRL/Qwen-C3PO-7B — плотная авторегрессионная модель семейства Qwen2, разработанная BayesRL и обученная методом C3PO для обучения с проверяемыми наградами. Она основана на BayesRL/Qwen2.5Math-IVON-SFT-7B, использует подходы GRPO и IVON с вариационным исследованием пространства параметров и предназначена для генерации решений математических задач и подготовки чекпойнтов для дальнейшего RLVR. В README указана оценка на AIME 2024–2026, MATH-500, AMC 2023 и Minerva. Модель содержит 7,1 млрд параметров, принимает текст и поддерживает контекст длиной 4096 токенов. Карточка указывает английский язык. Веса доступны в формате safetensors для Transformers. Лицензия — Apache-2.0. Описание не приводит численных результатов оценки, поэтому сравнительное качество модели по этим тестам оценить по карточке нельзя.

320июнь 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 моделей