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

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

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

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

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

4 120 моделей
Загрузки
Лайки
Дата выхода
3 061–3 090 из 4 120
thellert
accphysbert_cased

AccPhysBERT — англоязычная модель эмбеддингов для поиска и анализа публикаций по физике ускорителей, разработанная Торстеном Хеллертом, Жоао Монтенегро, Марко Вентурини и Андреа Полластро. Модель создана на основе PhysBERT cased и дообучена методом supervised contrastive learning SimCSE. Архитектура — BERT, около 136,7 млн параметров; модель формирует плотные векторные представления текста и поддерживает контекст до 512 токенов. Модель предназначена для семантического поиска по заголовкам, аннотациям, заявкам и полным текстам, классификации цитирований, сопоставления рецензентов и кластеризации научной литературы. Она обучалась на публикациях INSPIRE HEP по физике ускорителей, парах цитирований и синтетических парах запрос–источник. Для специализированных тестов по физике ускорителей авторы сообщают о результатах выше BERT, SciBERT и универсальных моделей эмбеддингов. Модель опубликована под лицензией CC BY 4.0. Она рассчитана на англоязычные научные тексты по физике ускорителей; результаты вне этой предметной области и для других языков могут быть хуже. Ограничение контекста составляет 512 токенов.

1230окт. 2024ctx512
textembeddingcc-by-4.0hugging-face
nvidia
AceMath-72B-RM

AceMath-72B-RM — разработанная NVIDIA модель вознаграждения для оценки решений математических задач. Она принимает текст с условием и решением и возвращает скалярную оценку, пригодную для сравнения вариантов ответа и выбора наиболее предпочтительного решения. Модель основана на AceMath-72B-Instruct, улучшенной на базе Qwen, и обучена на данных AceMath-RM-Training-Data с использованием функции потерь Bradley–Terry. Архитектура — плотная Qwen2 с классификационной головой; размер — 71,5 млрд параметров, контекст — 4096 токенов. Модель предназначена для ранжирования и отбора математических решений, в том числе в схемах генерации нескольких кандидатов. В карточке приведены результаты оценки на математических бенчмарках, однако они не гарантируют качество на иных задачах или распределениях данных. Поддерживаемый язык карточки — английский. Лицензия CC BY-NC 4.0 разрешает использование с указанием авторства, но запрещает коммерческое использование.

29610янв. 2025ctx4.1K
textcc-by-nc-4.0hugging-face
GanjinZero
coder_eng_pp

CODER++ — англоязычная модель семейства BERT для получения векторных представлений биомедицинских терминов и их автоматической кластеризации. Работа описана Сиханом Зенгом, Чжэн Юанем и Шэном Ю в статье «Automatic Biomedical Term Clustering by Learning Fine-grained Term Representations» (2022). Репозиторий содержит модель на 135,5 млн параметров в форматах PyTorch и Safetensors; заявленная длина контекста — 512 токенов. Модель предназначена для извлечения признаков из текста и построения тонких представлений биомедицинских терминов, которые можно использовать для группировки терминов по смыслу. Карточка не описывает дополнительные сценарии или способ обучения модели. Лицензия — Apache-2.0.

2534март 2022ctx512
textembeddingapache-2.0hugging-face
AdaptLLM
medicine-LLM

AdaptLLM/medicine-LLM — специализированная языковая модель для биомедицины, разработанная авторами исследования AdaptLLM и основанная на LLaMA-1-7B. Модель содержит 6,6 млрд параметров и создана методом продолженного предобучения на предметных корпусах, преобразованных в тексты для чтения и понимания. Такой подход предназначен для обогащения модели биомедицинскими знаниями и сохранения способности отвечать на запросы по подсказке. Модель подходит для генерации текста и ответов на вопросы по биомедицинской тематике, а также для исследовательских оценок и задач извлечения знаний. Карточка рекомендует использовать чат-версию для более качественного диалога. Модель принимает и генерирует текст; в метаданных указан английский язык. README сообщает о конкурентных результатах относительно значительно более крупных доменных моделей, но конкретные показатели для этого репозитория не приведены. Модель распространяется в форматах PyTorch и safetensors; лицензия в предоставленных данных не указана.

15848сент. 2023ctx2K
texthugging-face
OpenMed
OpenMed-NER-OrganismDetect-ModernClinical-395M

OpenMed/OpenMed-NER-OrganismDetect-ModernClinical-395M — дообученная модель OpenMed для распознавания упоминаний видов организмов в тексте. Она использует архитектуру ModernBERT для классификации токенов и выдаёт BIO-разметку сущностей типов B-SPECIES и I-SPECIES. Модель содержит 394,7 млн параметров, принимает текст и поддерживает контекст до 8192 токенов. Модель предназначена для извлечения названий видов из биомедицинских текстов, научных публикаций и клинических документов, включая научные и распространённые названия организмов. В README приведены результаты на SPECIES800: F1 0,79, точность 0,79 и полнота 0,78. Она может использоваться для поиска упоминаний организмов в литературе и формирования таксономических или биомедицинских наборов данных. Карточка указывает базовую архитектуру BioClinical-ModernBERT-large, но метаданные не содержат идентификатора репозитория базовой модели. Модель распространяется по лицензии Apache-2.0. Показатели README относятся к SPECIES800; качество на иных корпусах и языках может отличаться.

92K0июль 2025ctx8.2K
textapache-2.0hugging-face
OpenMed
OpenMed-NER-OrganismDetect-MultiMed-335M

OpenMed-NER-OrganismDetect-MultiMed-335M — модель OpenMed для распознавания упоминаний видов организмов в тексте. Это дообученный BERT-классификатор токенов с 433,9 млн параметров и контекстом до 512 токенов. Модель выделяет названия видов, включая научные и общеупотребительные, и присваивает токенам метки BIO: B-SPECIES и I-SPECIES. Она обучена на корпусе SPECIES800, содержащем аннотации упоминаний организмов в научных аннотациях. Модель предназначена для извлечения видов из биомедицинской литературы и других текстов, где требуется идентификация организмов и таксономическая обработка. В README приведены показатели на SPECIES800: F1 0,84, точность 0,84, полнота 0,85 и accuracy 0,97. Метаданные указывают английский язык. Лицензия — Apache-2.0. README также описывает более широкие сценарии вроде клинического анализа и мониторинга нежелательных явлений, однако заявленная задача модели ограничена распознаванием сущностей видов; показатели для этих сценариев отдельно не приведены.

93K0июль 2025ctx512
textapache-2.0hugging-face
OpenMed
OpenMed-NER-PharmaDetect-PubMed-109M

OpenMed разработала OpenMed-NER-PharmaDetect-PubMed-109M — модель на базе BiomedNLP-BiomedBERT для распознавания химических сущностей в биомедицинских текстах. Это дообученный BERT-классификатор токенов размером 136,7 млн параметров с контекстом до 512 токенов; он размечает названия химических соединений, лекарств и терапевтических веществ тегами BIO. Модель предназначена для извлечения химических сущностей из аннотаций PubMed, научных публикаций и медицинских записей. Её можно применять для поиска лекарств в текстах, анализа биомедицинской литературы и подготовки данных для фармаконадзора и исследований разработки лекарств. В README приведены показатели на BC5CDR-Chem: F1 0,96, точность 0,94 и полнота 0,97. Модель принимает токенизированный текст и выдаёт метки сущностей для токенов. Она обучена на англоязычном наборе BC5CDR-Chem, поэтому её назначение ограничено распознаванием химических сущностей в биомедицинском тексте; качество на иных доменах и языках не подтверждено. Лицензия — Apache-2.0.

95K0июль 2025ctx512
textapache-2.0hugging-face
OpenMed
OpenMed-NER-PharmaDetect-SuperMedical-125M

OpenMed разработала эту дообученную модель на базе RoBERTa для распознавания химических сущностей в биомедицинском тексте. Она обучена на наборе BC5CDR-Chem и присваивает токенам метки B-CHEM и I-CHEM, чтобы выделять названия химических соединений, лекарств и терапевтических веществ. Модель рассчитана на обработку научных публикаций, клинических записей и других медицинских документов, в том числе для извлечения препаратов и поиска упоминаний химических веществ при фармаконадзоре и анализе литературы. Архитектура — RoBERTa для классификации токенов; в метаданных указано 151,8 млн параметров и контекст до 514 токенов. README приводит F1 0,96 на BC5CDR-Chem, но не описывает независимую проверку этих результатов. Модель предназначена для англоязычных биомедицинских текстов и не выполняет сама по себе анализ взаимодействий лекарств или диагностику. Лицензия — Apache-2.0.

116K5июль 2025ctx514
textapache-2.0hugging-face
HudeKing
PixVL-baseline-bestcap-purereseg

PixVL-baseline-bestcap-purereseg — экспорт модели PixVL для сегментации изображений. Репозиторий содержит полный экспорт в формате Hugging Face; модель построена на основе Qwen3-VL-4B-SAMTok с архитектурой Qwen3-VL для условной генерации. Модель предназначена для сегментации изображений. Она выпущена для исследовательского использования и наследует лицензию и ограничения применения базовой модели; метаданные указывают лицензию MIT.

100авг. 2026ctx262.1K
imagemithugging-face
Qwen
Qwen2.5-Math-RM-72B

Qwen2.5-Math-RM-72B — плотная reward-модель семейства Qwen2, разработанная командой Qwen для оценки качества математических рассуждений и промежуточных шагов. Она дообучена на базе Qwen/Qwen2.5-Math-72B-Instruct, содержит 71,5 млрд параметров и принимает текстовые данные; модель рассчитана на английский и китайский языки, поддерживает режимы Chain-of-Thought и рассуждения с использованием инструментов. Длина контекста составляет 4096 токенов. Модель предназначена прежде всего для обучения и отбора ответов: её оценки применяют при rejection sampling, в обучении с подкреплением и для выбора лучшего варианта из нескольких сгенерированных решений. В сценарии Best-of-N reward-модель помогает ранжировать ответы и выбирать наиболее качественный, в том числе для математических задач. Для запуска README рекомендует Transformers версии не ниже 4.40.0. Лицензия указана как other, поэтому конкретные условия использования следует проверять в карточке модели. Модель оценивает ответы и выдаёт сигнал вознаграждения; сама по себе она не заменяет генеративную модель, создающую решения.

55K86сент. 2024ctx4.1K
textotherhugging-face
SeongryongJung
Qwen3-8B-Physics-SRPO-TR

SeongryongJung/Qwen3-8B-Physics-SRPO-TR — дообученная версия языковой модели Qwen3-8B, обученная методом SRPO-TR на задачах по физике с размером обучающего пакета 32. Репозиторий содержит итоговый чекпойнт global_step_100, выбранный по валидационному показателю mean@16; для него указано значение 69,84%. Модель основана на плотной архитектуре Qwen3ForCausalLM, содержит 7,6 млрд параметров и рассчитана на контекст до 40 960 токенов. Модель предназначена для генерации текста и решения задач по физике, в частности для применения в сценариях, где требуется проверить несколько вариантов ответа и оценить их среднее качество. Её можно загружать через Transformers как AutoModelForCausalLM. Базовая Qwen3-8B — многоязычная диалоговая модель, однако README не уточняет, какие языки и виды физических задач проверялись в этом обучении. Модель распространяется по лицензии Apache-2.0. Результат 69,84% относится к указанной в карточке валидационной метрике mean@16 и сам по себе не гарантирует такое же качество на других наборах задач; подробности датасета и протокола оценки в README не приведены.

90июль 2026ctx41K
textapache-2.0hugging-face
kyujinpy
Sakura-SOLRCA-Math-Instruct-DPO-v1

Sakura-SOLRCA-Math-Instruct-DPO-v1 — разговорная языковая модель Kyujin Han (kyujinpy), основанная на архитектуре Llama с плотной авторегрессионной моделью объёмом 10,6 млрд параметров. Она дообучена методом DPO на наборах Intel/orca_dpo_pairs и argilla/distilabel-math-preference-dpo; карточка также упоминает объединённую версию kyujinpy/orca_math_dpo. Модель предназначена для генерации ответов в диалоге, в том числе на математические вопросы и задачи на рассуждение. В README приведены результаты тестов, включая GSM8K, ARC и MMLU. Модель принимает текст и генерирует текст; заявленная длина контекста — 4096 токенов, основной язык карточки — английский. Модель распространяется в формате safetensors по лицензии CC BY-NC-SA 4.0, которая требует указания авторства и ограничивает коммерческое использование. Результаты бенчмарков не гарантируют точности ответов в реальных задачах; README не описывает специальные меры для проверки математических ответов.

880дек. 2023ctx4.1K
textcc-by-nc-sa-4.0hugging-face
Ricky06662
Seg-Zero-7B

Seg-Zero-7B — модель сегментации изображений, основанная на работе Seg-Zero: Reasoning-Chain Guided Segmentation via Cognitive Reinforcement. Она объединяет модель рассуждений, которая интерпретирует запрос пользователя и формирует позиционные подсказки, с моделью сегментации, создающей пиксельные маски. Обучение с подкреплением методом GRPO проводилось без явных данных с цепочками рассуждений; авторы заявляют о переносе на новые сценарии и формировании рассуждений во время вывода. Модель предназначена для сегментации объектов на изображении по текстовому запросу. В метаданных указаны архитектура Qwen2.5-VL, 7,1 млрд параметров, контекст до 128 000 токенов и библиотека Transformers. Репозиторий содержит веса в формате safetensors. Карточка не приводит подробных сведений о лицензии: указано значение «other», поэтому условия использования следует сверить отдельно.

6854март 2025ctx128K
imageotherhugging-face
RzZ
SenseNova-Vision-7B-MoT

SenseNova-Vision-7B-MoT — мультимодальная модель компьютерного зрения от разработчиков SenseNova-Vision. Она представляет задачи восприятия как генерацию текста, изображений или их сочетания по текстовым инструкциям и визуальному вводу. Единый интерфейс охватывает структурированное понимание сцен, сегментацию, плотную геометрию и геометрию нескольких видов; модель работает без отдельных специализированных голов для каждой задачи. Модель предназначена для распознавания текста на изображениях, локализации объектов и областей по запросу, определения ключевых точек и параметров камеры, предсказания глубины и нормалей, построения карт точек и масок сегментации. Результаты могут представляться структурированным текстом, изображениями-картами или сочетанием текста и изображений. Для работы рекомендуется официальный код инференса SenseNova-Vision. Веса опубликованы в формате safetensors. Модель ориентирована на компьютерное зрение и поддерживает англоязычные инструкции. Результаты на плотной геометрии и позах камеры нужно проверять, а текстовые и графические выходы требуют соответствующего задаче разбора. Качество чувствительно к формулировке запроса, схеме вывода и визуальным подсказкам; на узкоспециализированных задачах специализированные модели могут быть точнее. Лицензия CC BY-NC 4.0 разрешает использование с указанием авторства, но некоммерческое.

4210авг. 2026ctx131.1K
textcc-by-nc-4.0hugging-face
JamesX421
ttrl-opt

ttrl-opt — чекпойнт Qwen3-4B-Instruct-2507, дообученный для задач исследования операций. Модель разработана для построения структурированных рассуждений, формулировок задач линейного программирования и ориентированного на решатели кода Python по описаниям задач на естественном языке. Это плотная авторегрессионная языковая модель семейства Qwen3 с 3,7 млрд параметров, представленная в формате safetensors и рассчитанная на контекст до 262 144 токенов. Чекпойнт получен на шаге обучения 125 с применением GRPO и голосования большинства в стиле TTRL; при обучении использовались девятишаговые решения для оптимизации с ориентацией на Gurobi и сигналы вознаграждения от решателя. Модель предназначена для исследований рассуждений в математической оптимизации и исследовании операций. В карточке нет результатов отдельной оценки качества; формулировки, коэффициенты, ограничения, код решателя и заявленные решения могут быть ошибочными или невыполнимыми, поэтому их следует проверять решателем и независимо. Лицензия в предоставленных данных не указана.

460сент. 2026ctx262.1K
texthugging-face
HITSZ-TMG
Xing4.0-29B-A4B-OR-SFT

Xing4.0-29B-A4B-OR-SFT — языковая модель, разработанная как полнопараметрическая supervised fine-tune базовой Xing4.0-29B-A4B от China Telecom AI Technology Co., Ltd. Она предназначена для задач исследования операций: по описанию задачи на естественном языке выделяет переменные, целевую функцию и ограничения, записывает математическую постановку и генерирует исполняемый код на Python для Gurobi или Pyomo. Модель основана на архитектуре Xing4.0 и имеет 6,5 млрд параметров по метаданным; базовая модель использует Mixture-of-Experts с 29 млрд общих и примерно 4 млрд активных параметров на токен. Заявлены контекст до 262 144 токенов, поддержка английского и китайского языков и формат весов safetensors. Для загрузки требуется Transformers с trust_remote_code=True. Модель подходит для подготовки черновиков математических моделей и кода оптимизационных решателей. Формулировки могут содержать пропущенные ограничения или неверно заданные переменные и целевые функции, а сгенерированный код может не запускаться или обращаться к файлам. Результаты следует проверять по исходной задаче; для Gurobi нужна лицензированная установка, а для Pyomo — настроенный решатель. Лицензия — Apache-2.0.

3652сент. 2026ctx262.1K
textapache-2.0hugging-face
Xtra-Computing
XtraGPT-14B

XtraGPT-14B — дообученная языковая модель семейства XtraGPT от Xtra-Computing для совместной с авторами редакции академических статей. Она основана на microsoft/phi-4, имеет 14,1 млрд параметров и контекст до 16 384 токенов; в карточке указаны архитектура Phi3ForCausalLM и библиотека Transformers. Модель обучена на 140 000 парах инструкций и редакторских правок, созданных на основе статей конференции ICLR, и следует критериям академического письма для шести разделов статьи. Модель предназначена для контекстно-согласованной доработки текста по заданным автором критериям и для итеративного рабочего процесса, в котором автор сохраняет контроль над содержанием. Метаданные перечисляют английский, китайский, французский, испанский, португальский, немецкий, итальянский, русский, японский, корейский, вьетнамский, тайский и арабский языки, но README не уточняет, на каких языках проводилось обучение и насколько хорошо модель редактирует тексты на каждом из них. Лицензия обозначена как other; конкретные условия использования в предоставленных данных не раскрыты.

605март 2025ctx16.4K
textotherhugging-face
Xtra-Computing
XtraGPT-7B

XtraGPT-7B — языковая модель для совместной с человеком редакции академических статей. Разработчики дообучили Qwen/Qwen2.5-7B-Instruct на 140 тысячах пар инструкций и редакторских правок, созданных на основе статей конференции ICLR. Это плотная авторегрессионная модель с 7,1 млрд параметров и контекстом до 32 768 токенов; она работает через библиотеку Transformers и поддерживает диалоговый формат. Модель учитывает контекст статьи и выполняет правки по критериям академического письма для разных разделов, включая аннотацию и введение. Она предназначена для итеративной работы, в которой автор задаёт критерии и сохраняет контроль над содержанием. В README не уточнены поддерживаемые форматы запросов и ограничения качества. Лицензия указана как other, поэтому конкретные условия использования следует сверить с лицензией репозитория.

449февр. 2025ctx32.8K
textotherhugging-face
rafmacalaba
gliner_datause_v0

GLiNER-модель rafmacalaba/gliner_datause_v0 — дообученная версия urchade/gliner_large-v2.1 для извлечения из экономических научных статей упоминаний наборов данных, обследований, переписей и реестров. Она размечает фрагменты текста тремя типами: NAMED_DATA для названий и аббревиатур конкретных источников, DESCRIPTIVE_DATA для описаний неназванных источников и VAGUE_DATA для общих упоминаний данных без идентифицируемого источника. Модель предназначена для поиска источников данных в корпусах исследовательских работ и структурирования таких упоминаний. В README приведены результаты проверки на отложенной выборке: при пороге 0,50 общая точность составила 0,6948, полнота — 0,5957; качество заметно различается между группами и типами меток, а для VAGUE_DATA показатели ниже, чем для именованных источников. Это специализированный экстрактор сущностей, поэтому результаты стоит проверять, особенно для расплывчатых упоминаний. Модель распространяется по лицензии Apache-2.0.

1920авг. 2026
textapache-2.0hugging-face
nobrand
KULLM-R

KULLM-R — языковая модель, разработанная Сын Юном Ли, Минхёком Кимом, Донжуном Кимом, Гюхо Шимом и Чанджуном Паком при поддержке NLP&AI Lab Корейского университета. Она дообучена на базе Qwen/Qwen3-8B с помощью обучения с подкреплением и предназначена для сложных задач рассуждения на корейском языке, особенно для решения математических задач. Модель генерирует ход решения и итоговый ответ, стремясь избегать лишних шагов и сохранять ясность объяснения. Модель содержит 7,6 млрд параметров, использует плотную архитектуру Qwen3 и поддерживает контекст до 40 960 токенов. Она принимает текст и генерирует текст; основные языки — корейский и английский, при этом ответы особенно ориентированы на корейский язык. В обучении использовался набор ko-limo из 817 примеров. Модель распространяется по лицензии Apache-2.0.quality and performance beyond the description in the model card are not established.

185авг. 2025ctx41K
textapache-2.0hugging-face
OpenMed
OpenMed-NER-OrganismDetect-SuperMedical-355M

OpenMed-NER-OrganismDetect-SuperMedical-355M — модель OpenMed для распознавания названий организмов и видов в тексте. Это дообученная модель архитектуры RoBERTa для токенной классификации: она присваивает токенам BIO-метки B-SPECIES и I-SPECIES и извлекает упоминания видов, включая научные и общепринятые названия. Модель предназначена для анализа биомедицинских текстов и научной литературы, а также для поиска упоминаний организмов в корпусах по биоразнообразию и таксономии. В README указаны обучение на SPECIES800 и результаты F1 0,77, precision 0,73, recall 0,83 и accuracy 0,96. Модель принимает токенизированный текст и возвращает метки сущностей; контекст составляет 514 токенов. Заявленные показатели относятся к SPECIES800, поэтому качество на других типах текстов может отличаться. Лицензия — Apache-2.0.

93K0июль 2025ctx514
textapache-2.0hugging-face
PRIME-RL
P1-VL-30B-A3B

P1-VL-30B-A3B — открытая мультимодальная модель семейства P1-VL, разработанная для решения задач по физике с визуальным анализом. Она построена на Qwen3-VL-30B-A3B-Thinking и дообучена в несколько этапов с подкреплением на отобранных данных физических соревнований. Вариант 30B-A3B предназначен для исследователей, которым нужно разбирать условия и схемы олимпиадных задач; модель также показывает результаты на математических и других STEM-бенчмарках. Модель принимает текст и изображения и генерирует текстовые ответы. В карточке приведены результаты на HiPhO, FrontierScience-Olympiad и математических тестах, включая AIME24 и AIME25. Указанная архитектура — Qwen3-VL-MoE для условной генерации; репозиторий содержит веса safetensors и рассчитан на Transformers. Лицензия Apache-2.0.

2344февр. 2026ctx262.1K
textimageapache-2.0hugging-face
HudeKing
PixVL-choosecache250k-dpo

PixVL-choosecache250k-dpo — исследовательский экспорт PixVL, опубликованный HudeKing. Это полная модель для Transformers в формате Safetensors; она основана на Qwen3-VL-4B-SAMTok и использует архитектуру Qwen3-VL для генерации по условию. Модель предназначена для сегментации изображений. В README указано, что веса выпущены для исследовательского использования и наследуют лицензию и ограничения исходной модели. В метаданных указана лицензия MIT. Карточка не описывает языки, размер контекста или конкретные ограничения качества.

100авг. 2026ctx262.1K
imagemithugging-face
HudeKing
PixVL-damgar-model-c-baseline-sft

PixVL-damgar-model-c-baseline-sft — опубликованный экспорт модели PixVL, подготовленный из обучающего экспорта damgar_chooseone_model_c_baseline_sft_8g_20260727. Модель разработана на основе Qwen3-VL-4B-SAMTok и предназначена для сегментации изображений; архитектура — Qwen3-VL для условной генерации, веса доступны в формате safetensors. Модель принимает изображения и текстовые инструкции и формирует результат сегментации. README указывает на исследовательское использование и наследование лицензии и ограничений исходной модели; метаданные репозитория указывают лицензию MIT. Языки и длина контекста в предоставленных сведениях не описаны.

100авг. 2026ctx262.1K
imagemithugging-face
internlm
Spark-VL-7B

SPARK-VL-7B — мультимодальная модель InternLM, созданная дообучением Qwen2.5-VL-7B-Instruct в рамках фреймворка SPARK. Она предназначена для видео- и визуальных задач с рассуждением, в частности для оценки и решения задач из мультимодальных математических наборов. Модель объединяет политику и оценивание в одном чекпойнте и обучалась совместно с помощью reinforcement fine-tuning; заявленные методы используют повторно результаты генерации и не требуют внешней модели вознаграждения или данных человеческих предпочтений. Модель содержит 7,1 млрд параметров, построена на плотной архитектуре Qwen2.5-VL и поддерживает контекст до 128 000 токенов. Для запуска доступны веса safetensors и Transformers; в README также рекомендован vLLM для ускорения инференса. Базовая модель рассчитана на анализ изображений и видео, однако основная задача этого чекпойнта в метаданных обозначена как video-text-to-text. Лицензия — MIT. README не приводит подробных количественных результатов и ограничений по качеству, поэтому её пригодность для конкретных сценариев следует оценивать отдельно.

7910сент. 2025ctx128K
textvideomithugging-face
fblgit
UNA-POLAR-10.7B-InstructMath-v2

fblgit выпустил UNA-POLAR-10.7B-InstructMath-v2 — разговорную языковую модель для генерации текста и математических ответов. Это плотная причинно-авторегрессионная модель семейства Llama объёмом 10,6 млрд параметров, созданная методом DPO на основе UNA-SOLAR-10.7B-Instruct-1.0 с использованием материалов датасета MathPile; обучение затрагивало механизмы внимания и MLP. Модель принимает текст и выдаёт текст, поддерживает английский язык и контекст длиной до 4096 токенов. Модель подходит для решения математических задач в диалоге и ответов на вопросы по учебным и справочным материалам. В README приведены результаты Open LLM Leaderboard: среднее значение 74,07, включая 70,73 на AI2 Reasoning Challenge и 88,20 на HellaSwag. Результаты не гарантируют точность на конкретных задачах; карточка не описывает отдельную оценку математических навыков или ограничения применения. Весы доступны в формате safetensors по лицензии CC BY-NC-ND 4.0, которая ограничивает коммерческое использование и распространение производных версий.

825янв. 2024ctx4.1K
textcc-by-nc-nd-4.0hugging-face
Xwin-LM
Xwin-Math-70B-V1.1

Xwin-Math-70B-V1.1 — языковая модель для решения математических задач, разработанная командой Xwin-LM и дообученная на основе LLaMA 2. Это плотная авторегрессионная модель семейства LLaMA с 68,7 млрд параметров, принимающая текст и генерирующая текстовые решения; длина контекста составляет 4096 токенов. Модель предназначена для пошагового решения школьных и более сложных математических задач, включая арифметику, алгебру и задачи в формате GSM8K и MATH. В README для версии 70B V1.1 указаны результаты pass@1 90,6% на GSM8K и 51,9% на MATH; фактические результаты могут отличаться в зависимости от условий оценки. Модель работает с формулировками на естественном языке, однако явный перечень поддерживаемых языков не приведён. Это дообученная модель, а не универсальный мультимодальный ассистент: она ориентирована на математику и может ошибаться в вычислениях или рассуждениях. Репозиторий содержит веса PyTorch; лицензия — Llama 2 License, условия которой следует соблюдать при использовании и распространении.

208май 2024ctx4.1K
textllama2hugging-face
nvidia
AceMath-7B-RM

AceMath-7B-RM — разработанная NVIDIA модель вознаграждения для оценки решений математических задач. Она принимает текст с задачей и предложенным решением, а последовательностный классификатор на базе Qwen2 выдаёт скалярную оценку. Модель содержит 7,1 млрд параметров и имеет контекст до 4096 токенов. Модель предназначена для ранжирования нескольких вариантов решения и выбора наиболее удачного, а также для оценки качества математических ответов при обучении или проверке систем рассуждения. Она обучена на данных AceMath-RM с функцией потерь Bradley–Terry и построена на базе AceMath-7B-Instruct. В карточке указана лицензия CC BY-NC 4.0, ограничивающая использование некоммерческими условиями.

4839янв. 2025ctx4.1K
textcc-by-nc-4.0hugging-face
Abhayn01
arka-advanced-slm-sft-v1

ARKA Advanced SLM — Mixed SFT v1 — это дообученная Абхаем Кумаром Рудрапaulом языковая модель для генерации ответов и диалогового помощника по академическим знаниям. В основе лежит Abhayn01/arka-advanced-slm-scitech-stream-500m-v1: GPT-2, декодерная причинная архитектура примерно на 124,4 млн параметров. Модель дообучена на 160 863 примерах с проверочной выборкой из 4 000 примеров; контекст составляет 1024 токена. Смесь обучения включает вопросы и ответы по естественным наукам и инженерии, SQuAD 2.0, OpenBookQA, ARC, SciQ и MMLU, а также сведения об ARKA и разработчике. Модель подходит для диалоговых ответов и вопросов по научным и учебным темам на английском языке. Карточка не указывает лицензию, поэтому условия использования следует проверять в репозитории и у источников обучающих данных; перед распространением преобразованных данных разработчик рекомендует проверить лицензии исходных наборов.

2380сент. 2026ctx1K
texthugging-face
Minbyul
biomistral-7b-wo-kqa_golden-iter-sft-step2

Minbyul разработала эту диалоговую модель на основе BioMistral-7B и дообучила её методом SFT на наборе HuggingFaceH4/deita-10k-v0-sft. Это плотная языковая модель архитектуры Mistral с 7,1 млрд параметров, рассчитанная на генерацию ответов на текстовые запросы. Её можно использовать в чат-сценариях, в том числе для вопросов по медицине и биологии. Модель поддерживает контекст до 32 768 токенов и распространяется в формате Safetensors по лицензии Apache-2.0. В README приведено значение loss 1,7672 на оценочном наборе, но подробности оценки, качества и ограничения не раскрыты.

110май 2024ctx32.8K
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 моделей