"we don't know anything about his math generation process" My man just look at the notebooks. He did not use formal proofs but he was very organized and most of his equations had quite a logical buildup from equations that he wrote before. And even the ones that came out of nowhere are obviously worthy discoveries.