I wouldn’t say that Dans recent work in maths was necessarily that of an expert. More of a fan of Lean than anything and he did a breakthrough in a relatively short time period.
https://overreacted.io/how-i-vibed-a-proof-of-conways-conjec...
It seems to me it’s about enough money, knowledge, and effort to want to achieve a thing. Which is good, but can and is being weaponized in terrible ways against us.