AI Science
Дайджест ИИ в науке за 10 июня 2026: LEAP для строгих математических доказательств
Новая подборка по ИИ в науке: от резкого прогресса в автоматическом построении строгих доказательств до ускорения моделирования материалов, проектирования лекарств и более трезвой оценки многослойных биологических данных.