Почему в математике с физикой-то? Для математики давно уже есть всякие Lean, для физики нужно вообще иметь возможность взаимодействовать с реальным миром.