Agree! Not sure I believe that Buckmaster/Alpöge were guiding the AI. This is just their way of saying that they had something in the process and deserve merit.

So you believe they're like "solve navier-stokes make me rich make no mistakes" despite being mathematicians of top ability? Occam's Razor for sure.