Формальная верификация
Aristotle расширили с математических доказательств на проверку программ и микросхем
Axiom заявила о полной формализации «огромной теоремы» с помощью ИИ