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

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

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

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

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

4 120 моделей
Загрузки
Лайки
Дата выхода
2 401–2 430 из 4 120
HuggingFaceTB
finemath-ablation-infiwebmath

HuggingFaceTB/finemath-ablation-infiwebmath — экспериментальная модель команды HuggingFaceTB, полученная продолжением предобучения базовой Meta Llama 3.2 3B на 60 млрд токенов англоязычного математического корпуса InfiMM-WebMath-40B. Это плотная авторегрессионная модель семейства Llama с 3,21 млрд параметров, контекстом 4096 токенов и форматом Safetensors; для обучения использовалась точность bfloat16. Модель предназначена для продолжения текста на английском языке с упором на математику и сравнения с другими моделями, обученными в тех же условиях. Она не проходила настройку на инструкции, поэтому не рассчитана на роль диалогового помощника без дополнительной адаптации. Лицензия — Apache-2.0. Обучение преимущественно на англоязычных математических данных может ограничивать качество на других языках; поведение также зависит от качества и разнообразия корпуса, в котором могут присутствовать смещения и вредоносное содержимое.

360дек. 2024ctx4.1K
textapache-2.0hugging-face
InternRobotics
G2VLM-2B-MoT

InternRobotics G2VLM-2B-MoT — мультимодальная модель для понимания изображений и пространственных задач, объединяющая геометрическое восприятие для 3D-реконструкции с семантическим восприятием для мультимодального понимания и пространственных рассуждений. Для ответов на пространственные вопросы модель может предсказывать 3D-геометрию и чередовать её анализ с рассуждением на естественном языке. Модель дообучена на Qwen/Qwen2-VL-2B и использует плотную архитектуру Qwen2-VL с общим мультимодальным self-attention в блоках трансформера. В репозитории указаны 1,5 млрд параметров, контекст 32 768 токенов и веса в формате safetensors. Модель предназначена для запросов по изображениям, пространственного понимания и 3D-реконструкции; метаданные также отмечают поддержку чата и изображений. Карточка не описывает конкретные ограничения качества или сценарии отказа. Лицензия — Apache-2.0.

718нояб. 2025ctx32.8K
textimageapache-2.0hugging-face
LumiOpen
Llama-Poro-2-8B-Long-Math-Reasoning-SFT-Preview

Poro 2 8B Math Reasoning SFT Preview — специализированная языковая модель, разработанная AMD Silo AI, группой TurkuNLP Университета Турку и HPLT при обучении на суперкомпьютере LUMI. Модель на архитектуре Llama 3.1 с плотной причинно-языковой сетью примерно на 8 млрд параметров прошла контекстное расширение LongRoPE до 131 тыс. токенов и дообучение с учителем на математических рассуждениях. Модель предназначена для решения математических задач, пошаговых объяснений и обучения математике, в том числе для задач уровня AIME. Она формирует рассуждения на английском и финском, выбирая язык по языку запроса. В карточке приведены результаты на математических тестах для обоих языков, но это предварительный выпуск, а не гарантия правильности ответов. Модель не оптимизирована для обычного диалога, программирования, творческого письма или других областей; ответы могут содержать ошибки или неприемлемый контент. Для важных выводов нужна проверка человеком. Лицензия репозитория — Llama 3.1.

2920март 2026ctx131.1K
textllama3.1hugging-face
adalaw
MAmmoTH-7B-Mistral-MFT

adalaw/MAmmoTH-7B-Mistral-MFT — языковая модель на архитектуре Mistral с 7,1 млрд параметров, дообученная методом Masked Thought Fine-Tuning (MFT), вариантом supervised fine-tuning. Она предназначена для генерации текста при решении математических задач. В README приведены результаты на GSM8K и MATH, полученные с помощью скриптов Hybrid decoding из проекта MAmmoTH; в этих тестах модель набрала 77,10 и 41,2 соответственно. Модель опубликована в формате safetensors, максимальная длина контекста — 32 768 токенов. Лицензия в предоставленных данных не указана.

130май 2024ctx32.8K
texthugging-face
modrill
math-think-q4b-20260908

modrill/math-think-q4b-20260908 — дообученная плотная языковая модель семейства Qwen3, созданная на базе Qwen/Qwen3-4B-Base для математических задач с пошаговым рассуждением. Модель предназначена для генерации решений и оценки качества на задачах математического конкурса AIME; в README указан результат 40 из 240 на наборе AIME 2024 и 2025 при сравнении с базовой моделью, набравшей 21 балл. Модель содержит 3,7 млрд параметров, использует архитектуру Qwen3ForCausalLM и принимает текст, выдавая текст. Контекстное окно — 32 768 токенов. Веса опубликованы в формате safetensors; README описывает дообучение на OpenR1 с LoRA, а также содержит слитые веса и отдельный адаптер. Поддерживается загрузка через Transformers. Лицензия — Apache-2.0.

480сент. 2026ctx32.8K
textapache-2.0hugging-face
modrill
math-think-q8b-20260908

modrill/math-think-q8b-20260908 — дообученная модель семейства Qwen3, разработанная modrill для математических рассуждений. Это публичный 2-эпоховый чекпойнт, полученный из Qwen/Qwen3-8B-Base с помощью LoRA; в репозитории есть объединённые веса и адаптер. Архитектура — плотная авторегрессионная Qwen3ForCausalLM с 7,6 млрд параметров и контекстом 32 768 токенов. Модель предназначена для генерации пошаговых решений математических задач, в частности задач уровня AIME. В описанной оценке на наборе Exact-240 она решила 53 задачи из 240; тот же базовый чекпойнт набрал 21. Модель выдаёт текст и работает в режиме рассуждений; карточка подчёркивает, что её следует оценивать по результату решения, а не использовать как универсального чат-бота. Для загрузки указаны Transformers и формат safetensors. Лицензия — Apache-2.0.

250сент. 2026ctx32.8K
textapache-2.0hugging-face
sudo-s
modeversion2_m7_e8

modeversion2_m7_e8 — модель классификации изображений, созданная дообучением ViT-Base с патчами 16×16 и входным разрешением 224 пикселя на наборе sudo-s/herbier_mesuem7. В карточке указаны 113,2 млн параметров и точность 0,9761 на оценочном наборе; метрика относится к этому набору и не гарантирует такое же качество на других изображениях. Модель подходит для классификации изображений гербарных музейных образцов. Использование ограничено задачей и данными дообучения; подробные сведения о классах и ограничениях в карточке не приведены. Лицензия — Apache-2.0.

110июль 2022
imageapache-2.0hugging-face
ypwang61
One-Shot-RLVR-Qwen2.5-Math-1.5B-pi1

Это дообученная модель Qwen2.5-Math-1.5B от ypwang61, представленная в работе «Reinforcement Learning for Reasoning in Large Language Models with One Training Example». Она предназначена для генерации текста и решений математических задач; дообучение выполнено методом RLVR на наборе One-Shot-RLVR-Datasets с одним обучающим примером. Модель имеет плотную архитектуру Qwen2, содержит 1,5 млрд параметров и использует Transformers и формат Safetensors. Максимальный нативный контекст — 4096 токенов. Базовая модель рассчитана на математику на английском и китайском языках; отдельные языковые характеристики производной модели в карточке не описаны. Модель распространяется по лицензии Apache-2.0. README не приводит результатов оценки качества или подробностей о границах применения, поэтому численные заявления о её точности сделать нельзя.

3430май 2025ctx4.1K
textapache-2.0hugging-face
SeanWang0027
opd_polaris_15K_qwen3-4b_from_qwen3-30b-a3b_topk16_bf16_epoch_1

SeanWang0027/opd_polaris_15K_qwen3-4b_from_qwen3-30b-a3b_topk16_bf16_epoch_1 — языковая модель Qwen3-4B, дообученная методом on-policy distillation. В обучении использовались распределения top-16 logprob модели Qwen3-30B-A3B-Thinking-2507 на состояниях, которые посещала сама модель-ученик; учитель оценивал токены и не генерировал ответы. Модель предназначена для генерации текста и рассуждений над соревновательными математическими задачами. Для обучения использовался набор SeanWang0027/polaris_hard: 15 368 задач, один эпох. Модель имеет архитектуру Qwen3ForCausalLM, около 3,7 млрд параметров и контекст до 40 960 токенов; веса доступны в формате safetensors для Transformers. Карточка указывает английский язык. Запуск обучения использовал bf16, поэтому результаты этого прогона нельзя напрямую сравнивать с результатами OPD в fp32. Модель распространяется по лицензии Apache-2.0.

180авг. 2026ctx41K
textapache-2.0hugging-face
menik1126
ovd-math-1-data-hes-step800-historical

Карточка модели menik1126/ovd-math-1-data-hes-step800-historical на Hugging Face совпадает с карточкой menik1126/OVD-Math-1-data-HES-Step800-Historical, поэтому описание составлено по ней. OVD-Math-1-data-HES-Step800-Historical — сохранённый чекпойнт эксперимента 1-data из коллекции OVD, опубликованный как веса для инференса и токенизатор. Это дообученная версия Qwen/Qwen2.5-Math-1.5B: плотная причинная языковая модель архитектуры Qwen2 с 1,5 млрд параметров, предназначенная для генерации текста. Метаданные указывают контекст до 4096 токенов и библиотеку Transformers; базовая модель рассчитана на решения математических задач на английском и китайском языках. README называет чекпойнт историческим экспериментом и не описывает отдельные возможности или результаты именно этого шага обучения. Его можно применять для генерации ответов и математических решений, однако качество на конкретных задачах по карточке оценить нельзя. Лицензия в предоставленных данных не указана.

2140сент. 2026ctx4.1K
texthugging-face
xiaoyuchen1
Qwen3-1.7B-OPD-fwdKL-from-Qwen3-8B-GRPO

Qwen3-1.7B-OPD-fwdKL-from-Qwen3-8B-GRPO — это экспериментальное дообучение модели Qwen3-1.7B, выполненное автором карточки методом on-policy distillation от Qwen3-8B-GRPO-MATH. Модель обучалась на 7 496 задачах из набора MATH с прямой KL-дистилляцией по 128 наиболее вероятным токенам учителя; учащаяся модель генерировала собственные ответы, по которым получала сигнал обучения. Это контрольный вариант исследования без дополнительного взвешивания сигнала учителя.

230авг. 2026ctx41K
textapache-2.0hugging-face
SeongryongJung
Qwen3-4B-Biology-SDPO-TR

SeongryongJung/Qwen3-4B-Biology-SDPO-TR — исследовательский чекпойнт языковой модели Qwen3-4B, дообученный методом SDPO-TR на биологических задачах. В репозитории сохранены лучший чекпойнт по валидационному показателю mean@16 на шаге 30 и финальный чекпойнт на шаге 100; размер обучающего батча составлял 32. Модель предназначена для генерации текста и ответов на вопросы по биологии. В README приведены результаты валидации mean@16: 52,88% для лучшего чекпойнта и 40,75% для финального. Архитектура — плотная авторегрессионная Qwen3ForCausalLM с 3,7 млрд параметров и контекстом до 40 960 токенов. Карточка не уточняет языковой состав биологических данных. Для загрузки указана библиотека Transformers; лицензия — Apache-2.0.

100июль 2026ctx41K
textapache-2.0hugging-face
hyun1905
qwen3-4b-instruct-2507-soundness-judge-sft

Это дообученная плотная языковая модель Qwen3 с 3,7 млрд параметров, созданная на базе Qwen/Qwen3-4B-Instruct-2507. Она работает как оценщик достоверности тезисов в рецензиях на научные статьи: на вход получает статью и один пункт рецензии, а на выходе классифицирует фактический статус существенных предпосылок по трём оценкам — есть явно ложная предпосылка, ложных предпосылок нет, но часть остаётся нерешённой, или все предпосылки верны. Модель предназначена для использования в исследовательских RL-экспериментах по формированию обратной связи для рецензий. Сервис оценивания использует логиты трёх токенов оценки после JSON-префикса {"score":. Архитектура — Qwen3ForCausalLM; контекст составляет до 262 144 токенов. Модель принимает текст и выдаёт текстовые оценки. Оценки модели не следует считать проверенными фактическими или научными суждениями. Лицензия — Apache-2.0.

2910авг. 2026ctx262.1K
textapache-2.0hugging-face
theostos
qwen-3.5-babel-2b-sft-agent

theostos выпустил текстовую модель theostos/qwen-3.5-babel-2b-sft-agent — дообученную методом supervised fine-tuning версию Qwen3.5-2B для формальной математики и доказательств. Модель построена на плотной архитектуре Qwen3_5ForCausalLM, содержит 1,7 млрд параметров и рассчитана на контекст до 262 144 токенов. Она использует штатный шаблон чата Qwen и формат вызова инструмента submit_tactic для передачи тактик доказательства. Модель предназначена для генерации полных тактических доказательств на Lean и Rocq. Она обучена на 904 примерах в течение пяти эпох; автор не заявляет результатов бенчмарков. Это текстовая модель без энкодера изображений. В репозитории находятся полные объединённые веса safetensors, токенизатор, шаблон чата и конфигурация генерации; для запуска указана совместимость с Transformers 5.5.0. Лицензия — Apache-2.0.

3610сент. 2026ctx262.1K
textapache-2.0hugging-face
SeongryongJung
Qwen3-8B-Biology-SRPO-TR

SeongryongJung/Qwen3-8B-Biology-SRPO-TR — дообученная версия Qwen3-8B, обученная методом SRPO-TR на биологической задаче с размером батча 32. В репозитории находятся лучший контрольный чекпойнт на шаге 30, выбранный по валидационной метрике mean@16, и финальный чекпойнт на шаге 100. Модель предназначена для генерации текста и решения задач по биологии. В описании приведён результат валидации mean@16: 55,00% для лучшего чекпойнта и 54,12% для финального. Модель имеет 7,6 млрд параметров, архитектуру Qwen3ForCausalLM, принимает текст и поддерживает контекст до 40 960 токенов. Она загружается через Transformers; веса представлены в формате Safetensors. Модель основана на Qwen/Qwen3-8B и распространяется по лицензии Apache-2.0. Результат приведён для указанного биологического набора данных; README не раскрывает его состав и не приводит сравнительных оценок на других задачах, поэтому качество за пределами описанного эксперимента не установлено.

100июль 2026ctx41K
textapache-2.0hugging-face
Snarcy
RedDino-small

RedDino-small — компактная модель семейства RedDino для анализа изображений эритроцитов, разработанная для задач вычислительной гематологии. Это self-supervised Vision Transformer ViT-small с размером патча 14, обученный по адаптированной схеме DINOv2 на 1,25 млн изображений эритроцитов из 18 наборов данных. Модель принимает изображения и выдаёт векторные признаки размерности 384. Модель предназначена для извлечения признаков, которые можно использовать в последующих задачах классификации формы и морфологических подтипов эритроцитов, а также для анализа, устойчивого к различиям между партиями и источниками изображений. Обучение на фрагментах мазков крови и специализированные аугментации рассчитаны на улучшение обобщения между источниками данных. Репозиторий распространяется по лицензии CC BY 4.0.

1471февр. 2025
imageembeddingcc-by-4.0hugging-face
birder-project
rope_vit_reg8_b14_nps_avg_capi-dino-bio

Модель birder-project/rope_vit_reg8_b14_nps_avg_capi-dino-bio — визуальный энкодер на основе Vision Transformer RoPE ViT B/14 с восемью register-токенами и усреднённым pooling. Её разработал проект Birder и предварительно обучил методом CAPI-DINO на разнообразных изображениях живой природы; модель насчитывает 85,7 млн параметров и принимает изображения размером 224 × 224 пикселя. Модель предназначена для извлечения признаков и эмбеддингов изображений, а также для использования в качестве основы для последующих задач компьютерного зрения: классификации, обнаружения объектов и сегментации. Она обучалась примерно на 31 млн изображений, включая данные iNaturalist, BIOSCAN, TreeOfLife, IP102 и iWildCam, а также закрытый набор Birder. Для обнаружения объектов энкодер может возвращать карту признаков размером 16 × 16 с 768 каналами. Это общий экстрактор признаков, не дообученный для конкретной задачи классификации. Модель распространяется по лицензии Apache-2.0; качество на конкретных целевых наборах данных зависит от последующего обучения или настройки.

101авг. 2026
imageembeddingapache-2.0hugging-face
UMCU
SapBERT-UMLS-2020AB-all-lang-from-XLMR-ST_bf16

UMCU/SapBERT-UMLS-2020AB-all-lang-from-XLMR-ST_bf16 — модель Sentence Transformers, дообученная на базе cambridgeltl/SapBERT-UMLS-2020AB-all-lang-from-XLMR. Она преобразует предложения и абзацы в плотные векторы размерности 768 для сравнения семантической близости по косинусному сходству, семантического поиска, поиска перефразировок, классификации текста и кластеризации. Модель использует архитектуру XLM-RoBERTa с пулингом CLS-токена. Метаданные указывают 305,2 млн параметров и контекст до 514 токенов; конфигурация Sentence Transformers в README задаёт максимальную длину последовательности 25 токенов. Поддерживаются английский, китайский, немецкий, испанский, корейский, японский, тайский, финский, русский и турецкий языки. Предназначена для получения текстовых эмбеддингов, а не для генерации текста. Многоязычная биомедицинская база SapBERT ориентирована на семантическое сопоставление терминов и названий сущностей, что полезно для поиска и сравнения медицинских формулировок. В README и метаданных лицензия не приведена.

1430июль 2025ctx514
textembeddinghugging-face
magic-leap-community
superpoint

SuperPoint — свёрточная модель компьютерного зрения, описанная Дэниелом ДеТоном, Томашем Малишевичем и Эндрю Рабиновичем. Она совместно обнаруживает ключевые точки на изображении и вычисляет дескриптор для каждой точки за один проход. Модель обучалась с самоконтролем и использует полностью свёрточную архитектуру. SuperPoint предназначена для извлечения устойчивых особенностей, полезных при сопоставлении изображений и решении задач многовидовой геометрии. Её можно применять для оценки гомографии, поиска соответствий между изображениями и как экстрактор признаков для других задач компьютерного зрения. В статье описан подход Homographic Adaptation для повышения повторяемости точек при гомографических преобразованиях и адаптации между доменами. Модель принимает изображения и выдаёт координаты ключевых точек с дескрипторами. В карточке указана лицензия other; конкретные условия использования в доступных данных не раскрыты.

18K28март 2024
textotherhugging-face
stevenbucaille
superpoint

SuperPoint — полностью свёрточная модель компьютерного зрения для обнаружения характерных точек на изображениях и вычисления дескриптора для каждой точки. Модель основана на работе Дэниела ДеТоуна, Томаша Малишевича и Эндрю Рабиновича «SuperPoint: Self-Supervised Interest Point Detection and Description»; карточка описывает обучение с самоконтролем. Модель обрабатывает изображение за один проход и предназначена для извлечения признаков, пригодных для сопоставления изображений и оценки гомографии. Она выявляет точки, повторяемые при гомографических преобразованиях. Репозиторий использует PyTorch и формат safetensors; лицензия в предоставленных данных не указана.

2432сент. 2023
texthugging-face
1aurent
vit_small_patch14_224.dinobloom

1aurent/vit_small_patch14_224.dinobloom — визуальный backbone для извлечения признаков изображений, связанный с проектом DinoBloom команды Marr Lab. Модель предназначена для получения эмбеддингов клеток крови и их использования в задачах анализа изображений в гематологии. Это ViT-Small с 22 млн параметров: изображения размером 224 × 224 обрабатываются патчами 14 × 14. Репозиторий содержит веса в формате safetensors; лицензия — Apache 2.0. В карточке описан сценарий извлечения эмбеддингов, но не приведены сведения о точности на конкретных наборах данных или о дополнительных задачах.

1.8K1май 2024
textembeddingapache-2.0hugging-face
aacudad
AnomalyThink-Qwen2.5-VL-7B-SFT

AnomalyThink-Qwen2.5-VL-7B-SFT — мультимодальная модель для объяснимого обнаружения аномалий на промышленных изображениях, созданная как исследовательский артефакт магистерской работы TU Delft. Это базовая SFT-версия семейства AnomalyThink: Qwen2.5-VL-7B дообучена на 6 000 размеченных трасс рассуждений, созданных Gemini 2.5 Flash на изображениях Real-IAD; этапов RL и самодистилляции в обучении этой версии нет. На вход модель получает изображение изделия и запрос, а на выходе формирует структурированное объяснение, описание дефекта и бинарное решение о наличии аномалии. В README приведены сбалансированные точности 80,16% на DS-MVTec и 64,78% на VisA при оценке на соответствующих поднаборах MMAD. Модель распространяется под лицензией Apache-2.0. Модель может уверенно сообщать о дефекте на исправном изделии, что приводит к ложным срабатываниям. Результаты на открытых наборах DS-MVTec и VisA следует интерпретировать с учётом возможного попадания этих изображений в предобучение VLM.

300июнь 2026ctx131.1K
textimageapache-2.0hugging-face
imageomics
bioclip-hc-hyperbolic

BioCLIP-HC-Hyperbolic — модель компьютерного зрения и языка для распознавания организмов по изображениям с учётом таксономической иерархии. Её разработала команда Zhiyuan Tao и соавторов; модель дообучена на TreeOfLife-10M на основе BioCLIP ViT-B/16 и использует двухкодерную архитектуру CLIP с представлениями в гиперболическом пространстве. Модель предназначена для zero-shot классификации изображений по таксономическим названиям на разных уровнях — от царства до вида, а также для классификации с небольшим числом размеченных примеров и получения визуальных представлений для биологических задач. Обучение с контрастивным сравнением внутри одного таксономического уровня и балансировкой групп направлено на более согласованные предсказания от общих категорий к конкретным видам. В README сообщается о результатах на iNat21, Rare Species и CrypticBio, включая улучшение средней точности более чем на 13% относительно RCME. Модель подходит для мониторинга биоразнообразия, распознавания редких видов и тонкой классификации организмов. Обучающие данные могут быть неравномерно распределены по таксонам, поэтому качество ниже для редких, недостаточно представленных, неоднозначных или незнакомых организмов; ошибки на высоких уровнях таксономии могут влиять на последующие предсказания. Результаты следует использовать как вспомогательные, а не как окончательное биологическое определение. Лицензия — MIT.

1371май 2026ctx77
textimagemithugging-face
AdaptLLM
biomed-gemma-3-4b-it

biomed-gemma-3-4b-it — мультимодальная модель для биомедицинских диалогов и ответов на вопросы по изображениям, разработанная командой AdaptLLM на основе Gemma 3 4B IT в рамках работы об адаптации мультимодальных языковых моделей к предметным областям. Модель дообучена на наборе biomed-visual-instructions и использует архитектуру Gemma 3 с 4 млрд параметров; принимает текст и изображения и формирует текстовые ответы. В метаданных указаны поддержка английского языка и библиотека Transformers. Модель подходит для визуальных вопросов и ответов в биомедицине, включая анализ изображений в диалоговом формате. Для корректной работы изображение следует размещать в начале инструкции. Модель распространяется по лицензии Gemma; её ответы не заменяют профессиональную медицинскую оценку.

1.2K1июль 2025
textimagegemmahugging-face
Mardiyyah
CeLLaTe-tapt-pubmedbert-tokenizer-adapted-baseline

CeLLaTe-tapt-pubmedbert-tokenizer-adapted-baseline — англоязычная модель на базе BERT, дообученная Mardiyyah на наборе Mardiyyah/TAPT_CeLLaTe2.0. Она предназначена для предсказания замаскированных слов в биомедицинских текстах. Модель содержит 138,2 млн параметров, принимает последовательности длиной до 512 токенов и доступна в формате safetensors для библиотеки Transformers. На оценочном наборе указаны loss 1,1076, accuracy 0,7643 и perplexity 3,0272. Базовая BiomedBERT обучалась на биомедицинских публикациях; README не приводит дополнительных сведений о составе обучающих данных, сценариях применения или ограничениях. Лицензия модели — Apache-2.0.

290июль 2026ctx512
textapache-2.0hugging-face
utrechtuniversity
chimp-vocalization-cnn10-sanctuary

CNN10 — свёрточная нейросеть, разработанная Утрехтским университетом для обнаружения вокализаций шимпанзе в биоакустических записях. Модель классифицирует аудиофрагменты длительностью 0,5 секунды как вокализацию шимпанзе или фон. Для входа используются мел-спектрограммы с PCEN-нормализацией, нормализацией по файлу и дельта-признаками; записи перед обработкой приводятся к частоте 48 кГц и фильтруются в диапазоне 100–2000 Гц. Чекпойнт обучен только на реальных записях из заповедника Мефу в Камеруне, без синтетических данных. На тестовых записях из Замбии показал F1 0,7250 и 0,6667 для двух рекордеров; карточка отмечает снижение полноты при переносе в другую акустическую среду. Модель предназначена прежде всего для записей, близких к условиям обучения, и для сравнения с вариантом, обученным с синтетической аугментацией. Это PyTorch-модель в формате safetensors, не интегрированная с Transformers. Лицензия — Apache-2.0.

40июль 2026
audioapache-2.0hugging-face
AdarshSingh7647
Eklav-8B-Math

Eklav-8B-Math — диалоговая языковая модель для математических рассуждений, разработанная автором репозитория на основе Qwen/Qwen3-8B. Модель дообучена методом Eklav: во время обучения она получает частичный след рассуждений учителя и учится самостоятельно продолжать решение и выдавать ответ, а не воспроизводить весь след целиком. По описанию, базовая модель и обучающие данные совпадают с вариантом стандартной дистилляции полных цепочек рассуждений, отличается цель обучения. Модель содержит 7,6 млрд параметров, использует плотную архитектуру Qwen3 и формат safetensors; заявленный контекст — до 40 960 токенов. Основной сценарий — генерация пошаговых решений математических задач в диалоговом формате. В README приведены результаты pass@1 на математических бенчмарках; автор сообщает о среднем преимуществе 0,6 процентного пункта над стандартной дистилляцией на шести математических тестах, при этом результаты получены в одном запуске на каждый тест. Модель принимает текст и генерирует текст. README не сообщает лицензию, поэтому условия использования по доступным данным определить нельзя.

2.0K0авг. 2026ctx41K
texthugging-face
Nickyang
FastCuRL-1.5B-Preview

FastCuRL-1.5B-Preview — экспериментальная модель рассуждений, разработанная авторами проекта FastCuRL. Она создана дообучением DeepSeek-R1-Distill-Qwen-1.5B методом обучения с подкреплением по учебной программе с итеративным увеличением длины рассуждений. Модель предназначена для генерации текста с пошаговыми рассуждениями, прежде всего для решения математических задач. Модель использует плотную архитектуру Qwen2 и содержит 1,5 млрд параметров. Она принимает текст и рассчитана на контекст до 131 072 токенов. Для обучения использовали 40 315 пар задач и ответов из AIME, AMC, Omni-MATH и других наборов; в README приведены результаты на нескольких математических тестах. Репозиторий содержит веса Safetensors, модель работает с Transformers и распространяется по лицензии MIT.

558март 2025ctx131.1K
textmithugging-face
benjamin
Gemma2-2B-Distilled-Math

Gemma2-2B-Distilled-Math — компактная языковая модель на архитектуре Gemma 2, разработанная автором репозитория Benjamin и предназначенная для решения математических задач. Модель дистиллирована из OpenMath2-Llama3.1-8B на наборе OpenMathInstruct-2; метаданные указывают базовую модель google/gemma-2-2b-it. В репозитории размещены веса Safetensors для Transformers. Модель принимает текстовые запросы и генерирует текстовые ответы. В карточке приведены результаты GSM8K zero-shot 65,1 и MATH zero-shot 52,1, превосходящие указанные там результаты исходной Gemma2-2B-IT. Параметры модели составляют 2,7 млрд, заявленная длина контекста — 8192 токена. Лицензия в предоставленных данных не указана, поэтому условия использования определить нельзя.

1230март 2025ctx8.2K
texthugging-face
pucpr
gpt2-bio-pt

GPT2-BioPT — небольшая авторегрессионная языковая модель семейства GPT-2 для генерации текста на португальском языке в биомедицинской тематике. Её разработчики из PUCPR дообучили GPT-2 на базе GPorTuguese-2 с использованием 110 МБ биомедицинской литературы: около 16,2 млн токенов и 729,7 тыс. предложений. Архитектура — GPT-2 с причинным языковым моделированием; максимальный контекст составляет 1024 токена. Модель предназначена для продолжения и генерации португалоязычных биомедицинских текстов по заданному промпту, например для черновиков или вспомогательного создания тематического текста. Карточка демонстрирует запуск через Transformers pipeline с задачей text-generation. Модель обучена на ограниченном корпусе биомедицинской литературы и может воспроизводить его ошибки и смещения; её ответы не следует считать проверенными медицинскими рекомендациями. Лицензия в предоставленных данных не указана.

339март 2022ctx1K
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 моделей