Четыре свежие работы показывают, как ИИ всё плотнее входит в науку: от большого теста для полимеров и физически ограниченной модели спекания керамики до аккуратной проверки микроскопии стали и отбора полезных математических теорем.
В свежей группе работ по ИИ для науки выделяется BrainVLM: модель объединяет МРТ, демографические данные и тексты радиологов для диагностики 12 типов опухолей мозга. Рядом — формальные доказательства в математике, оценка ИИ-репетиторов и новые инструменты для медицинских обзоров и физики.
Четыре наблюдения о влиянии ИИ: математике всё труднее проверять машинные идеи, агентам нужны понятные интерфейсы управления, рынок труда надо смотреть по ролям, а общества ИИ-агентов требуют не только технических тестов, но и социальной оптики.
Две новости Nature показывают, где ИИ в науке упирается в проверку: OpenAI говорит о прорыве в задаче Навье — Стокса, а консорциум фармкомпаний обучил белковую модель на закрытых структурах и получил заметный прирост качества.
OpenAI опубликовала решение одной из задач тысячелетия о существовании и гладкости решений уравнений Навье — Стокса, утверждая, что доказательство получено внутренней системой ИИ и формализовано в Lean. Теперь ключевой вопрос — выдержит ли работа проверку математического сообщества.
Новый материал Nature утверждает, что AI всё заметнее входит не только в прикладные лабораторные задачи, но и в самые теоретические дисциплины — математику и теоретическую физику. Речь не о замене человеческой интуиции, а о новом способе исследовать гипотезы, сужать пространство поиска и точнее формулировать вопросы, с которых начинается настоящее открытие.
Пять свежих научных работ показывают, куда реально движется ИИ в науке: от проверки биомедицинских утверждений по литературе и агентной патологии до новых математических результатов, жёстких тестов для научных агентов и трезвой оценки того, насколько слабы нынешние системы в полноценной вычислительной биологии.
Новый выпуск AI Science: три свежие работы о том, как ИИ помогает формализовать сложную математику, проектировать кристаллические структуры и строить приватные медицинские модели прямо на смартфонах.
Сразу пять свежих научных работ показывают, как ИИ всё глубже входит в реальную науку: от новой математики и анализа МРТ до восстановления клинических временных линий, поиска связей между РНК и белками и более дешёвого химического анализа по инфракрасным спектрам. Ниже — что именно сделали исследователи и почему это важно.
