Новая подборка по AI в науке: Lean 4 с участием больших языковых моделей помог построить исследовательскую библиотеку по банаховым решеткам, SEE показал слабость мультимодальных моделей в доказательном научном рассуждении, подход к AI для материаловедения требует опоры на физику в поиске материалов, а SecondOpinion экономит вычисления в медицинской визуализации, включая более тяжелую проверку только для сложных случаев.
В новой подборке по науке с ИИ — агент для стратегии клинических испытаний, система для расшифровки ЯМР на уровне сильного выпускника, открытый набор рентгеновских спектров для батарей, платформа для самоуправляемых микроскопов и формальная проверка решателей ограничений в Lean. Коротко о том, где ИИ помогает не только считать, но и строить более надёжную научную работу.
Три свежие работы о науке с ИИ: OpenProver пытается сделать машинные доказательства надёжнее, новая статья по пористым оксидам показывает, как добавлять физические ограничения в поиск энергетических материалов, а MolecularCanvas предлагает более дисциплинированный подход к поиску малых молекул для лекарств.
Четыре свежие научные работы показывают, как ИИ всё глубже входит в реальные исследовательские процессы: от машинно-проверяемых доказательств по геометрии и новых клинически устойчивых моделей для рентгеновских снимков до прогноза рисков по обычным сканам тела и моделирования сложных фазовых переходов в материалах на масштабах, недоступных классическим расчётам.
Свежая подборка по AI Science: Albilich решает исследовательские математические задачи с опорой на символьную алгебру и поиск литературы, PlantBGC ускоряет поиск растительных биосинтетических кластеров, Chem World задаёт более строгую проверку моделей для химии, а новая работа по автономным лабораториям бьёт в главное узкое место — дорогую экспериментальную проверку.
В свежей научной подборке об ИИ для науки сразу четыре заметных направления: более надежный вывод для медицинских систем, попытка научить ИИ предлагать сильные математические гипотезы, более честная оценка кандидатов для разработки лекарств и генеративное проектирование пористых материалов под нужные свойства.
В научном AI сегодня заметен сдвиг от абстрактных тестов к более полезным результатам: StageGuard улучшает медицинскую разметку сна, новая работа по математике заявляет о прорыве с участием AI-агента, а две статьи на arXiv обещают ускорить поиск материалов и атомных структур без дорогой ручной разметки.
В научной подборке сегодня один, но очень сильный результат: авторы arXiv-работы утверждают, что система Aristotle впервые полностью автономно решила открытую задачу из списка Эрдёша, а затем оформила доказательство в Lean. Если вывод выдержит проверку, это будет важный шаг от олимпиадных и тестовых задач к настоящему математическому исследованию с машинной верификацией.
Сегодняшняя научная подборка про AI получилась особенно показательной: одна работа пытается перенести логику языковых моделей в молекулярный дизайн лекарств, другая показывает AI как соавтора математического доказательства, а третья строит более проверяемый и воспроизводимый контур для AI-исследователя в материаловедении.
