Whenever this happens, it’s always just low hanging fruit people haven’t really taken a lot of thought to solve.

I have no doubt AI will soon be superhuman at mathematics proofs, but right now they are mostly just good for plugging the gaps in “proofs we don’t really have time for.”