Дуже вдячний за підтримку математика від команди Harmonic, який підтримує мої незалежні формальні методи/дослідження машинного навчання!