根据史料记载，匈牙利人在1613年首先将黑火药用于开采矿石。