qfiard

It is fundamentally more complicated. Possible moves can be evaluated against one another in games. We have no idea how to make progress on many math conjectures, e.g. Goldbach or Riemann's. An AI would need to find connections with different fields in mathematics that no human has found before, and this is far beyond what chess or Go AIs are doing.

Synthetic kerosene was the hint. You can make carbon neutral kerosene in the same way as biofuel, it doesn't add greenhouse gases to the atmosphere since the carbon it contains was captured from the atmosphere. Not a perfect solution as it doesn't solve the impact of contrails and there is the problem of how to generate so much biofuel, but it is a valid way to decarbonize flying.