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

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

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

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

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

4 120 моделей
Загрузки
Лайки
Дата выхода
2 341–2 370 из 4 120
BrainWave-ML
SmolLM2-1.7b-maths-orpo

BrainWave-ML/SmolLM2-1.7b-maths-orpo — англоязычная текстовая генеративная модель BrainWave-ML, дообученная на HuggingFaceTB/SmolLM2-1.7B-Instruct. Это плотная Llama-архитектура с 1,7 млрд параметров, предназначенная для диалоговой генерации текста и математических задач; в названии указано обучение ORPO. Модель принимает текст и формирует текстовые ответы, поддерживает контекст до 32 000 токенов. Модель основана на инструкционной SmolLM2 и обучена с использованием Unsloth и TRL. Репозиторий распространяется по лицензии Apache-2.0. Карточка не приводит результаты оценки математических способностей или подробности датасета и обучения, поэтому качество решения задач может зависеть от формулировки запроса.

282нояб. 2024ctx32K
textapache-2.0hugging-face
open-athena
Snowball-67B-A2B-Math-RL-E6-Step20-Repaired

Snowball-67B-A2B-Math-RL-E6-Step20-Repaired — исследовательский чекпойнт из эксперимента Snowball 67B-A2B по обучению с подкреплением для математических задач. Это точный артефакт, использованный для опубликованной строки результатов; состояние маршрутизатора исправлено на основе SFT. Архитектура — Grug MoE с причинной языковой моделью, веса сохранены в safetensors; в метаданных указаны 1 млрд параметров и контекст до 65 536 токенов. Чекпойнт предназначен для генерации решений математических задач и воспроизведения эксперимента. В README приведены результаты на AIME24, MATH-500 и OlympiadBench: 26,00, 76,80 и 22,67 соответственно. Автор предупреждает, что близкие по названию старые экспорты могут терять работоспособность при инференсе, а полезность этой версии зависит от сохранения исправления смещения маршрутизатора или целостности замороженного маршрутизатора. Лицензия обозначена как other; дополнительных условий в доступных данных нет.

1580сент. 2026ctx65.5K
textotherhugging-face
Xwin-LM
Xwin-Math-70B-V1.0

Xwin-Math-70B-V1.0 — языковая модель команды Xwin-LM для решения математических задач. Это модель с архитектурой LLaMA-2, дообученная методом supervised fine-tuning на математических примерах; в метаданных указано 68,7 млрд параметров, контекст — 4096 токенов, формат весов — PyTorch. Модель принимает текстовые задачи и генерирует текстовые решения.

21210нояб. 2023ctx4.1K
textllama2hugging-face
StarpowerTechnology
arXiv-WVY-43M

arXiv-WVY-43M — экспериментальная базовая языковая модель от Starpower Technology, обученная с нуля на заголовках и аннотациях статей arXiv. Она предназначена для экспериментов с компактными языковыми моделями, предварительным обучением и генерацией научного текста. В README указано 43,5 млн параметров, тогда как метаданные Hugging Face указывают 19,8 млн; архитектура описана как компактная DeepSeek-V3-style с причинным языковым моделированием, MoE-слоями, восемью маршрутизируемыми экспертами с Top-2 routing и одним общим экспертом. Контекст по метаданным — 4096 токенов; веса представлены в формате PyTorch. Обучение велось примерно на 726 млн токенов научных текстов, что даёт модели опыт работы с академической и технической лексикой, включая тематику физики и технологий. Это базовая модель без настройки для диалогов или следования инструкциям; формальных результатов бенчмарков в карточке нет. Лицензия — MIT.

1195авг. 2026ctx4.1K
textmithugging-face
mehuldamani
big-math-digits-v2-correctness

mehuldamani/big-math-digits-v2-correctness — дообученная модель Qwen2.5-7B, созданная с использованием TRL. Это плотная авторегрессионная языковая модель на 7,1 млрд параметров для генерации текста; карточка показывает запуск через Transformers в режиме диалога. Название указывает на настройку для решения математических задач с упором на правильность, однако README не описывает обучающие данные, методику оценки или подтверждённое качество на математических тестах. Модель принимает текст и генерирует текст. Заявленная базовая модель поддерживает контекст до 131 072 токенов; репозиторий содержит веса в формате safetensors. Лицензия в предоставленных данных не указана, поэтому условия использования определить нельзя.

2190июнь 2025ctx131.1K
texthugging-face
QuantFactory
DeepScaleR-1.5B-Preview-GGUF

QuantFactory/DeepScaleR-1.5B-Preview-GGUF — квантизированная GGUF-версия модели DeepScaleR-1.5B-Preview, созданная QuantFactory с использованием llama.cpp. Исходную модель разработала Agentica на основе DeepSeek-R1-Distill-Qwen-1.5B и дообучила распределённым reinforcement learning с алгоритмом GRPO. Модель предназначена прежде всего для решения математических задач и задач, требующих пошагового рассуждения, включая AIME, AMC, MATH и другие соревнования по математике. Она обучалась на примерно 40 000 пар «задача—ответ», собранных из AIME, AMC, Omni-MATH и Still. Указан язык English; модальность — текстовая. Размер исходной модели составляет 1,5 млрд параметров, а обучение проводилось с постепенным увеличением длины контекста до 24 000 токенов. Сильной стороной модели является высокая заявленная точность на математических бенчмарках: 43,1% Pass@1 на AIME 2024, 87,8% на MATH 500, 73,6% на AMC 2023 и 50,0% на OlympiadBench. GGUF-квантизация позволяет запускать модель с меньшими требованиями к ресурсам, однако README не указывает конкретный тип или уровень квантизации, требования к памяти и влияние квантизации на качество. Модель специализирована на математическом рассуждении и не позиционируется как универсальная мультимодальная система; приведённые результаты усреднены по 16 сэмплам и не гарантируют аналогичную точность в других сценариях. Модель распространяется по лицензии MIT, допускающей использование, модификацию и распространение. Для исходной версии заявлена совместимость с vLLM, Hugging Face TGI, SGLang и TensorRT-LLM, но конкретные условия запуска именно GGUF-файла в README не приведены.

1.1K2февр. 2025
textmithugging-face
BoKelvin
GEMeX-VQA-Model-Simple

BoKelvin/GEMeX-VQA-Model-Simple — дообученная мультимодальная модель для ответов на вопросы о медицинских изображениях. Разработчик дообучил LLaVA-Med на датасете GEMeX-VQA; модель построена на базе microsoft/llava-med-7b-delta и использует архитектуру LlavaLlamaForCausalLM. Она содержит 6,6 млрд параметров и опубликована в формате PyTorch. Модель принимает изображение и текстовый вопрос и генерирует текстовый ответ. Её основная задача — визуальные вопросы и ответы в биомедицинском контексте; метаданные также указывают text-generation как поддерживаемую задачу. Репозиторий распространяется по лицензии Apache-2.0. Модель предназначена для исследований и прототипирования систем анализа медицинских изображений. Ответы модели не следует считать клиническим заключением: точность и применимость зависят от типа изображения и формулировки вопроса.

1381февр. 2025ctx2K
textapache-2.0hugging-face
manupande21
GPT2_PMC

manupande21/GPT2_PMC — модель генерации текста на архитектуре GPT-2, дообученная на примерно 8 000 парах вопросов и ответов, созданных по открытым научным статьям из PubMed Central. Она предназначена для генерации ответов на вопросы по материалам этих статей и других близких научных текстов. Модель использует формат safetensors, имеет контекстное окно 1 024 токена и распространяется по лицензии MIT. Обучение на научных вопросах и ответах может быть полезно для прототипов систем поиска и ответов по биомедицинским публикациям. Карточка не приводит оценок качества, подробностей о датасете или результатов проверки, поэтому надёжность ответов и пригодность для клинических решений не установлены.

181май 2024ctx1K
textmithugging-face
lgaalves
gpt-2-xl_camel-ai-physics

Модель lgaalves/gpt2-xl_camel-ai-physics разработана Luiz G A Alves и представляет собой авторегрессионную языковую модель на архитектуре GPT-2 XL с примерно 1,5 млрд параметров. Она дообучена в формате инструкций на датасете, созданном GPT-4 и посвящённом физике; модель принимает текст и генерирует продолжение на английском языке. Указанная длина контекста — 1024 токена. Модель предназначена для генерации текста и ответов на вопросы по физике, а также может служить основой для дальнейшего дообучения. В приведённых тестах её результаты немного ниже результатов базовой GPT-2 XL. Модель недостаточно тщательно проверена и может выдавать неверные сведения; обучающие данные включают неотфильтрованный интернет-контент и могут содержать предвзятости. Лицензия — MIT.

1600сент. 2023ctx1K
textmithugging-face
RationAI
LSP-DETR

LSP-DETR — компактная модель RationAI для сегментации отдельных ядер клеток на гистопатологических изображениях. Она построена на Swin Transformer v2 Tiny и использует декодер на основе DETR вместе с описанием формы ядер звёздчатыми выпуклыми многоугольниками, чтобы находить объекты и получать их контуры без сложной постобработки. Модель дообучена на полном наборе PanNuke без меток классов. Такая настройка ориентирована на высокий полнот и устойчивую локализацию ядер; её можно применять для анализа тканевых изображений и подготовки масок ядер. Для загрузки README приводит пример с Transformers и AutoImageProcessor; для пользовательского кода требуется trust_remote_code=True. Модель предназначена для изображений, а выдаёт экземплярные сегментации ядер. Лицензия репозитория — Apache-2.0. Поскольку чекпойнт обучен без классов, он не предназначен для классификации типов клеток; результаты также относятся к гистопатологическим изображениям и не заменяют клиническую оценку.

4.9K5апр. 2025
imageapache-2.0hugging-face
Elliott
LUFFY-Qwen-Math-7B-Zero

LUFFY-Qwen-Math-7B-Zero — чат-модель Elliott для генерации решений математических задач. Она основана на Qwen/Qwen2.5-Math-7B и дообучена методом reinforcement learning с использованием подхода LUFFY: обучение сочетает собственные генерации модели с готовыми трассами рассуждений, а policy shaping помогает учитывать важные действия с низкой вероятностью. В метаданных указаны архитектура Qwen2, 7,1 млрд параметров, контекст 16 384 токена и библиотека Transformers. Модель предназначена для пошагового решения конкурсных задач по математике и проверки математических рассуждений. В README сообщается об оценке на AIME, AMC, MATH-500, Minerva и олимпиадных тестах, а также о проверках обобщения на ARC-C, GPQA и MMLU-Pro. Базовая Qwen2.5-Math рассчитана на английский и китайский языки; отдельное подтверждение языкового охвата самой производной модели в карточке не приведено. Модель выпущена по лицензии MIT. Приведённые в карточке результаты относятся к указанным бенчмаркам и сами по себе не гарантируют точность в других задачах; ответы следует проверять, особенно при использовании вне математической области.

631апр. 2025ctx16.4K
textmithugging-face
modrill
math-nothink-q4b-20260908

modrill опубликовал снимок модели Math NoThink на базе Qwen3-4B-Base, дообученной для математических задач. Это плотная авторегрессионная языковая модель с 3,7 млрд параметров и контекстом до 32 768 токенов; репозиторий содержит объединённые веса и LoRA-адаптер. По README, модель предназначена как исходный эксперт для переноса task vector в эксперименте ICLR 2027, а не как чат-бот. В оценке Exact-240 она набрала 49 из 240 баллов против 22 у базовой модели. Модель принимает текст и генерирует текст; метаданные указывают поддержку чата, а README описывает её как специализированную на математических задачах. Карточка приводит пример загрузки через Transformers и лицензию Apache-2.0. Результат оценки относится к конкретному набору AIME 2024 и 2025 с четырьмя seed и не гарантирует аналогичного качества на других задачах.

460сент. 2026ctx32.8K
textapache-2.0hugging-face
vab46
nomic-embed-text-v1.5_Clinical-Trials_Matryoshka2

Это англоязычная текстовая модель Sentence Transformer, дообученная vab46 на базе nomic-ai/nomic-embed-text-v1.5 на парах «запрос — положительный фрагмент» из набора Clinical_trials_anchor-positive-pairs_EmbeddingModel-data2. Модель кодирует предложения и абзацы в плотные векторы размерностью 768 и предназначена для сравнения смысловой близости, семантического поиска и извлечения информации из текстов клинических исследований. Архитектура включает NomicBertModel с усреднением токенных представлений; сходство оценивается косинусной метрикой. Обучающий набор содержит 7 869 примеров. Поддерживаются вложения разной размерности от 64 до 768 для сценариев Matryoshka. Метаданные указывают контекст 2 048 токенов; в README заявлен максимум 8 192 токена, поэтому фактическую поддерживаемую длину следует сверять с используемой конфигурацией. Модель рассчитана на английские тексты клинических исследований и может использоваться для поиска подходящих фрагментов по медицинскому вопросу, сопоставления описаний и кластеризации. README приводит оценку поиска и сравнение с базовой моделью на обучающих данных, но не описывает независимую проверку на других наборах. Лицензия — Apache-2.0.

360авг. 2026ctx2K
textembeddingapache-2.0hugging-face
vab46
nomic-embed-text-v1.5_Clinical-Trials_Matryoshka_final

nomic-embed-text-v1.5 Clinical-Trials Matryoshka — текстовая модель Sentence Transformers, дообученная на парах Clinical_trials_anchor-positive-pairs_EmbeddingModel-data_final на основе nomic-ai/nomic-embed-text-v1.5. Она преобразует предложения и абзацы на английском языке в плотные векторы размерности 768; сходство между ними оценивается косинусной мерой. Модель на базе NomicBert предназначена для семантического поиска и сопоставления текстов, включая поиск по материалам клинических исследований, а также для кластеризации, классификации и поиска перефразировок. В карточке указана максимальная длина последовательности 8192 токена, тогда как метаданные каталога указывают нативный контекст 2048 токенов. Лицензия — Apache-2.0. Это специализированное дообучение для клинических исследований; качество на других тематиках карточка не описывает.

1061авг. 2026ctx2K
textembeddingapache-2.0hugging-face
menik1126
OVD-Math-1-data-FR-Step600-Historical

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

2520сент. 2026ctx4.1K
texthugging-face
PJiNH
QFFT-repro-LIMO-SFT-7B

PJiNH/QFFT-repro-LIMO-SFT-7B — независимая репродукция базовой модели SFT из работы QFFT: Question-Free Fine-Tuning for Adaptive Reasoning (Liu et al., 2025). Это плотная авторегрессионная языковая модель семейства Qwen2, полученная полным дообучением Qwen/Qwen2.5-7B-Instruct на 817 вопросах и ответах из GAIR/LIMO. Модель использует Transformers и веса Safetensors; размер составляет 7,1 млрд параметров, контекст — до 32 768 токенов. Модель предназначена для диалоговой генерации текста с пошаговыми рассуждениями и финальным ответом в формате \boxed{}. В README приведены результаты воспроизведения на GSM8K, MATH500 и AIME25; это математические задачи, а результаты отдельных бенчмарков не гарантируют аналогичное качество в других сценариях. Репродукция отличается от исходной настройки статьи по формату входа и ряду деталей обучения, поэтому это не чекпойнт авторов QFFT. Указана лицензия Apache-2.0; базовая модель также распространяется по Apache-2.0.

1474сент. 2026ctx32.8K
textapache-2.0hugging-face
microsoft
rho-math-1b-v0.1

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

23116апр. 2024ctx2K
textmithugging-face
cambridgeltl
SapBERT-from-PubMedBERT-fulltext-mean-token

SapBERT-PubMedBERT — англоязычная биомедицинская модель семейства BERT, представленная авторами SapBERT и дообученная на базе microsoft/BiomedNLP-PubMedBERT-base-uncased-abstract-fulltext с использованием UMLS 2020AA. Модель содержит 136,7 млн параметров, принимает текстовые последовательности длиной до 512 токенов и предназначена для извлечения векторных представлений; для представления последовательности рекомендуется усреднять выходы по токенам. Модель подходит для получения эмбеддингов названий медицинских сущностей и их сравнения по смыслу, в том числе для задач сопоставления терминов с концептами UMLS. В README отмечено, что этот чекпойнт обучен только на английском языке. Репозиторий предоставляет веса в форматах PyTorch, Flax и safetensors. Условия лицензирования в предоставленных данных не указаны.

1.9K2март 2022ctx512
textembeddinghugging-face
P1n3
sdg-detector-grpo

P1n3/sdg-detector-grpo — полноразмерный объединённый чекпойнт детектора дефектов от разработчика P1n3 после второго этапа обучения GRPO. Это мультимодальная модель семейства Qwen3-VL с архитектурой Qwen3VLForConditionalGeneration, принимающая изображения и текст и формирующая текстовый ответ со структурированными наборами обнаруженных дефектов. Чекпойнт уже объединён с этапом SFT P1n3/sdg-detector-sft и загружается напрямую через Transformers. Модель предназначена для обнаружения дефектов на изображениях и структурированного описания результатов. При обучении использовалась составная награда, учитывающая DIoU, сходство описаний и точность определения важности дефектов. Репозиторий распространяется в формате safetensors по лицензии CC BY-NC 4.0, которая ограничивает коммерческое использование.

741июнь 2026ctx262.1K
textimagecc-by-nc-4.0hugging-face
aacudad
AnomalyThink-Qwen2.5-VL-7B-KCR

AnomalyThink-Qwen2.5-VL-7B-KCR — мультимодальная модель для объяснимого обнаружения промышленных дефектов, созданная автором репозитория на основе Qwen2.5-VL-7B-Instruct. Модель дообучена методом supervised fine-tuning на корпусе из 6 000 размеченных рассуждений KCR; визуальный энкодер заморожен. На изображении изделия она формирует структурированный разбор, определяет тип дефекта и выдаёт бинарный вердикт о наличии аномалии. Модель предназначена для исследований и анализа изображений промышленных изделий. В карточке приведены результаты сбалансированной точности 82,80% на DS-MVTec и 72,07% на VisA в рамках общей процедуры оценки; на обоих наборах она превзошла указанный в README чекпойнт IAD-R1. Поддерживает ввод изображения и текста и выдаёт текст. Использует архитектуру Qwen2.5-VL; базовая модель имеет 7,1 млрд параметров. Лицензия — Apache-2.0. Модель может уверенно ошибочно находить дефект на нормальном изделии. Результаты на DS-MVTec и VisA следует трактовать с учётом возможного присутствия общедоступных изображений в данных предварительного обучения визуально-языковых моделей.

361июнь 2026ctx131.1K
textimageapache-2.0hugging-face
matth
flowformer

Flowformer — модель на основе трансформера для автоматического выявления бластных клеток в данных проточной цитометрии при остром лимфобластном лейкозе (ALL). Её разработали Matthias Wödlinger и соавторы как официальную реализацию работы об автоматической идентификации клеточных популяций с помощью трансформеров. Модель принимает тензор PyTorch с данными клеток и маркеров; при обучении использовались маркеры TIME, FSC-A, FSC-W, SSC-A, CD20, CD10, CD45, CD34, CD19, CD38 и SY41. Если набор или порядок маркеров отличается, их нужно передать модели при вызове. Метаданные указывают задачу классификации табличных данных и формат PyTorch. Модель предназначена для анализа данных проточной цитометрии и выявления бластных клеток. Для загрузки используется Transformers с пользовательским кодом архитектуры. Лицензия CC-BY-NC-ND-4.0 запрещает коммерческое использование и распространение производных версий.

317май 2023
textcc-by-nc-nd-4.0hugging-face
AI-MO
Kimina-Prover-Preview-Distill-7B

Kimina-Prover-Preview-Distill-7B — языковая модель для автоматического доказательства теорем, разработанная командами Project Numina и Kimi. Она предназначена для решения задач в Lean 4, в том числе задач в стиле математических соревнований. Модель получена дистилляцией Kimina-Prover-Preview, обученной с помощью масштабного обучения с подкреплением. Модель построена на архитектуре Qwen2 и содержит 7,1 млрд параметров; она принимает текст и генерирует текст, включая код доказательств Lean 4. Контекст — до 16 384 токенов. В карточке указаны английский язык и поддержка чата. Модель демонстрировала сильные результаты на MiniF2F-test и PutnamBench при публикации, однако карточка не приводит подробных условий оценки. Лицензия — Apache-2.0.

20036апр. 2025ctx16.4K
textapache-2.0hugging-face
mlx-community
map-anything-apache-fp16

mlx-community подготовила неофициальную конверсию MapAnything от Meta и CMU в формате MLX с весами float16 для Apple Silicon. Модель выполняет метрическую 3D-реконструкцию по одному или нескольким изображениям за один проход; можно дополнительно передать калибровку камер, карты глубины и позы. Для каждого вида она предсказывает карту 3D-точек, глубину, направления лучей, позу и внутренние параметры камеры, карту уверенности и маску неоднозначности. В модели около 1,13 млрд параметров float16 и 95 млн параметров float32; используются энкодер DINOv2 ViT-g/14 и 16-слойный трансформер для нескольких видов. Для запуска требуется версия mlx-vlm с поддержкой mapanything. README сообщает о близких к эталонной реализации точности и более быстром выполнении на Apple M5 Max, но отмечает большую чувствительность этих весов к float16 по сравнению с другой версией MapAnything. Веса распространяются по лицензии Apache 2.0.

941сент. 2026
textapache-2.0hugging-face
sudo-s
new_exper3

newexper3 — дообученная модель классификации изображений на базе Vision Transformer ViT-Base с патчами 16×16, разработанная пользователем sudo-s. Модель обучена на наборе данных sudo-s/herbier_mesuem1 и предназначена для классификации изображений; в карточке указана точность 0,9298 и значение функции потерь 0,3000 на оценочной выборке. Модель содержит 113,2 млн параметров и доступна в формате PyTorch. Лицензия — Apache-2.0. Сведения о классах изображений и ограничениях применения в карточке не приведены.

120июнь 2022
imageapache-2.0hugging-face
richardyoung
openbiollm

OpenBioLLM (Llama3-8B) GGUF — англоязычная модель генерации текста Ричарда Янга (DeepNeuro), представленная в формате GGUF для запуска через Ollama и llama.cpp. Это сборка модели aaditya/Llama3-OpenBioLLM-8B, предназначенной для ответов на вопросы и рассуждений в биомедицинской и биологических науках. Модель подходит для подготовки ответов на вопросы по биомедицине и наукам о жизни. Репозиторий содержит GGUF-вариант размером 7,95 ГБ и Modelfile для Ollama. Лицензия указана как other; более подробные условия в предоставленных данных отсутствуют.

1430окт. 2025
textotherhugging-face
OpenMed
OpenMed-NER-GenomicDetect-TinyMed-66M

OpenMed-NER-GenomicDetect-TinyMed-66M — дообученная OpenMed модель для распознавания биомедицинских сущностей в тексте. Она использует архитектуру DistilBERT на базе distilbert-base-uncased и решает задачу token-classification, присваивая токенам BIO-метки; карточка указывает контекст до 512 токенов и поддержку английского языка. Модель предназначена для извлечения упоминаний клеточных линий из биомедицинских текстов и научной литературы, включая поиск сущностей в корпусе GELLUS. README также описывает применение в клиническом анализе текстов и биомедицинских исследованиях, однако перечень выходных меток ограничен B-Cell-line-name и I-Cell-line-name, поэтому заявления о распознавании генов, вариантов и лекарств не подтверждаются этим перечнем. Указанные в карточке метрики относятся к оценке на GELLUS. Модель опубликована под лицензией Apache-2.0 и совместима с Transformers. Практическая область применения ограничена английскими биомедицинскими текстами и распознаванием указанного типа сущностей; фактическое качество зависит от сходства входных данных с обучающим корпусом.

91K0июль 2025ctx512
textapache-2.0hugging-face
menik1126
OVD-Math-1-data-RS-Step800-Historical

OVD-Math-1-data-RS-Step800-Historical — сохранённая контрольная точка исторического эксперимента из коллекции OVD; автор карточки обозначен как menik1126. Репозиторий содержит веса для инференса и токенизатор. Это дообученная версия Qwen/Qwen2.5-Math-1.5B: плотная авторегрессионная модель семейства Qwen2 с 1,5 млрд параметров, предназначенная для генерации текста и решений математических задач. В карточке базовой модели указана поддержка английского и китайского языков. Модель использует библиотеку Transformers и формат Safetensors, её контекст ограничен 4096 токенами. Метаданные отмечают интерфейс чата и вызова инструментов, однако README не описывает сценарии их применения в этом эксперименте. Суффикс Step800 указывает на сохранённый шаг эксперимента; карточка не приводит результатов оценки качества. Условия лицензирования в предоставленных данных не указаны.

2310сент. 2026ctx4.1K
texthugging-face
veritasium
qwen2.5-3b-math-sft-203

Qwen2.5-3B Math SFT 203 — чат-модель Veritasium на архитектуре Qwen2, полученная дообучением Qwen/Qwen2.5-3B-Instruct с помощью completion-only LoRA и supervised fine-tuning. Модель предназначена для генерации математических рассуждений и целочисленных ответов в формате текста; обучающий набор включал 203 проверенных примера с математическими решениями, каждый из которых завершался ответом в формате \boxed{answer}. Модель содержит 3,1 млрд параметров, использует плотную архитектуру Qwen2ForCausalLM и поддерживает контекст до 32 768 токенов. В метаданных указана библиотека Transformers и формат safetensors. Доступны сведения о математических данных обучения, но не о поддерживаемых естественных языках или результатах оценки качества, поэтому способность решать задачи за пределами описанного набора не установлена. Лицензия обозначена как other; конкретные условия использования следует сверить с карточкой модели.

670авг. 2026ctx32.8K
textotherhugging-face
conorfhayes
Qwen2.5-Math-7B-ES-MATH

Qwen2.5-Math-7B-ES-MATH — языковая модель, разработанная на основе Qwen/Qwen2.5-Math-7B и дообученная методом Evolution Strategies для математических рассуждений. Это плотная авторегрессионная модель семейства Qwen2 с 7,1 млрд параметров, предназначенная для генерации текстовых решений математических задач и проверки подходов с многократной генерацией ответов на этапе вывода. Обучение проводилось в режиме RL-Zero на задачах уровней 3–5 набора MATH с бинарной наградой за правильность итогового ответа. Модель обучалась на английских математических задачах; длина ответа при обучении ограничивалась 3000 токенами. Контекст модели составляет 4096 токенов. Для сохранения точности рекомендуется использовать формат запросов Qwen2.5-Math с инструкцией о рассуждении в системном сообщении. Модель ориентирована на исследовательские эксперименты с математическим решением задач и масштабированием вывода за счёт нескольких сэмплов. Её поведение для других языков, предметных областей и форматов запросов не охарактеризовано; обучение по итоговой правильности не гарантирует корректность промежуточных рассуждений. В README также отмечено отсутствие safety alignment и непригодность модели как готового ассистента для развёртывания. Лицензия — Apache-2.0.

322авг. 2026ctx4.1K
textapache-2.0hugging-face
mergekit-community
Qwen2-Math-2B-Instruct

mergekit-community/Qwen2-Math-2B-Instruct — языковая модель для диалогового решения математических задач, созданная сообществом с помощью mergekit из Qwen/Qwen2-Math-1.5B-Instruct. Это плотная модель семейства Qwen2 с архитектурой Qwen2ForCausalLM и примерно 1,9 млрд параметров. Слияние выполнено методом passthrough: в итоговую модель включены диапазоны слоёв базовой модели с отдельными настройками для некоторых проекций. Модель предназначена для генерации текстовых ответов в диалоге, прежде всего при решении арифметических и математических задач на английском языке. Она принимает текст и выдаёт текст; максимальный native context составляет 4096 токенов. Репозиторий содержит веса в формате safetensors и рассчитан на библиотеку Transformers. Лицензия в предоставленных данных не указана.

180авг. 2024ctx4.1K
texthugging-face

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

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

0 моделей