Новая подборка по AI в науке показывает сразу несколько направлений, где методы машинного интеллекта становятся полезным рабочим инструментом: от формальной математики и материалов для топлива до медицинской визуализации, раннего скрининга болезни Альцгеймера и тренировки клинических помощников. Общая линия простая: ИИ всё чаще пытаются встроить не в демонстрации, а в реальные научные и клинические процессы.
Mistral выпустила Leanstral 1.5 — открытую модель для формальной верификации и работы с доказательствами в Lean 4. На фоне обычных новостей о чат-ботах это более узкий, но важный сигнал: крупные поставщики моделей всё активнее идут в инструменты, где ценится не эффектность ответа, а проверяемость и точность.
В новой подборке научного ИИ — пять разных направлений, где ИИ помогает науке не только генерировать гипотезы, но и проверять их: от формальной математики и инфраструктуры для доказательств до дизайна лекарств, анализа одиночных клеток и трезвой проверки биологических интерпретаций.
