AI is threatening to take over multiple jobs currently fueled by human labor. It appears that the world of mathematics is no exception – a few recent advances in AI’s math capabilities seem to indicate that mathematicians might go the way of human calculators and find themselves fully replaced by proof-writing algorithms. Let’s take a look.