aluminium is obtained industrially by the electrolysis of aluminium oxide heated to high temperatures.

the positive electrodes used in electrolysis of aluminium oxide are made of carbon

these electrodes slowly disappear over time as they are converted to a gas

suggest the identity of this gas