INSAIT и ETH Цюрих представят най-мащабното проучване на математически доказателства, генерирани от изкуствен интелект