AI has proved several times they can prove some complex math things that humans have been trying for decades so solve. They have not failed and have clearly done complex things humans cannot. Since humans have not done it before you cannot call it on the beaten path.