Michael Ehlers is betting $40M that an AI outfit has figured out how to beat the blockbuster IL-2 challenge