AI Science
Vero проверяет, могут ли ИИ-агенты писать код сразу с машинно проверяемыми доказательствами
Новый выпуск по ИИ в науке: Vero пытается соединить программирование с формальной проверкой, MatDiffract ускоряет анализ материалов, AstraZeneca описывает исследовательского помощника для биомедицины, а CellPrism делает виртуальные клетки понятнее для ученых.