В новой подборке по AI Science — работа о поиске материалов с переходом металл–изолятор, агентная лаборатория для ускорения проверки гипотез, более проверяемые ИИ-системы для постановки научных вопросов, память-граф для длинных математических доказательств и новая оркестровка клинической поддержки в онкологии.
Пять новых работ по AI в науке рисуют трезвую картину: модели всё чаще входят в реальные научные контуры — от переработки лекарств до проверки статей и подготовки данных, — но самые ценные результаты пока приходят не от «магии модели», а от хороших бенчмарков, инфраструктуры и человеческой проверки. Особенно показательно, что на сложных диаграммах материалов современные мультимодальные системы всё ещё сильно уступают экспертному пониманию.
Сегодня в подборке: медицинская модель с опорой на доказательства, ИИ для диагностики редких болезней, два шага вперёд в поиске новых материалов и система, которая делает научные гипотезы более проверяемыми.
Свежая подборка по ИИ в науке сегодня особенно сильна в трёх направлениях: формальная математика, лабораторная автоматизация и материаловедение. Среди главных находок — система, которая помогает переводить настоящие исследовательские статьи в машинно проверяемые доказательства, а также новые подходы к поиску лекарственных взаимодействий, биологических протоколов и высокодавленных материалов.
В этой научной подборке — работа по многокритериальному генератору молекул для поиска лекарств и обзор того, как ИИ превращается в общую платформу для открытия новых полимерных материалов в энергетике, микроэлектронике, медицине и устойчивом производстве.
Три свежие работы из arXiv показывают важный сдвиг в разговоре об ИИ для науки: исследователи всё чаще проверяют не только то, что модели умеют предлагать, но и насколько их выводы действительно новы, нетривиальны и пригодны для реального научного процесса.
Среди свежих научных работ по ИИ особенно выделяется статья о совместном поиске нового квантового алгоритма человеком и ИИ: система помогала не решать готовую задачу, а прокладывать путь от гипотезы к доказуемому результату. В том же выпуске — перевод биологических протоколов в команды для роботизированной лаборатории, ускорение поиска твёрдых электролитов для батарей и новый конвейер генетической диагностики врождённых нарушений.
Свежая подборка по ИИ в науке показывает сразу несколько сильных направлений: от новых вычислительных приёмов для квантовой химии и поиска сверхпроводников до более надёжного открытия материалов, автоматической сборки баз данных по метаматериалам, формально проверяемых математических доказательств и более честной оценки ИИ-агентов для доклинической фармакологии.
В сегодняшней научной подборке сразу несколько сильных направлений: новый бенчмарк ShallowBench показал, где ИИ-модели для поиска лекарств пока слабы, система с языковой моделью предложила новые уравнения тёмной энергии, DeepRHP приблизил проектирование полимеров с белкоподобными свойствами, а MedRLM предлагает более проверяемый подход к клиническому рассуждению на длинных и разнородных медицинских данных.
