Vedátor Samuel Kováčik sa pozrel na to, ako pri overovaní dôkazov v matematike pomáha umelá inteligencia.