AI does your hardest work, not your messiest
A frontier model just produced a novel math proof while similar tools still fumble routine operations. The dividing line is verifiability, not difficulty.