I'll bet you $1,000*10^32 that AI never formalizes a novel FFT algorithm worth more than a dime.