I am very new AI stuff, so may be missing something. Is reinforcement learning not an amazing tool to find strange Bitcoin consenseus bugs and edge cases? I mean is consenseus written in the code not a super verifiable problem? If yes, its fairly trivial and quite low cost to implement something like this. So we should do it ASAP, as an adversary could do this with ease and attack Bitcoin.