Пять свежих работ показывают, как ИИ и смежные методы ускоряют науку не только через новые модели, но и через более быстрый анализ биомедицинских данных, поиск материалов, управление самосборкой, формализацию геометрии и совместное математическое доказательство.
В AI-науке сегодня сразу несколько сильных работ: медицинская система AMIE приблизилась к уровню врачей в видеоконсультациях, клинические модели показали опасную самоуверенность при нехватке данных, а материалы и математика получили новые примеры того, как AI помогает искать структуры, свойства и даже проверяемые доказательства.
