AI Science
Обучение под поиск доказательств меняет подход AI к математике
В научной подборке недели — модели, которые учатся искать доказательства, классифицировать неупорядоченные белки, раньше оценивать ответ опухоли на лечение и ускорять поиск материалов. Общая тема: AI всё чаще встраивают в сам процесс исследования, а не используют только как предсказатель.