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