Jsem velmi vděčný, že jsem získal podporu matematika od týmu Harmonic, která podporuje mé nezávislé formální metody a výzkum strojového učení!