Посты с тегом #дайджест ИИ в науке

MaxProof показала результат выше порога золотой медали на IMO 2025 и USAMO 2026

Три заметные работы на стыке ИИ и науки: система MaxProof для длинных математических доказательств, AgentPLM для проектирования белков с внешними инструментами и клиническая система с цифровым двойником для выбора лечения. Коротко разбираем, что именно сделали авторы и почему это важно.