I forwarded this to nostr:nprofile1q9zhwumn8ghj76ekv3cxx6t0vaurgenpvfhxjurtw5m8wmrrv568y6nkxdnxv6ngwcmxwcm4dejxx7rk0phrvur0v4cny6rrdcekjepwdahxjmmw9uq3camnwvaz7tmwdaehgu3dxgh85etzv4jx2efwvdkx7aty9uqzq4nhlfdkk89k6klw0pws3z5sfnggpqj490m4mulyxqkw5q26t5lp4t2k9c who has immersed himself in mathematical proofs quite a bit over the last couple years. I've heard him highlight the need for mathematical rigor on more than one occasion.

Also, there is a community of very smart people who might find this idea interesting. I told nostr:nprofile1q9zhwumn8ghj76ekv3cxx6t0vaurgenpvfhxjurtw5m8wmrrv568y6nkxdnxv6ngwcmxwcm4dejxx7rk0phrvur0v4cny6rrdcekjepwdahxjmmw9uq3camnwvaz7tmwdaehgu3dxgh85etzv4jx2efwvdkx7aty9uqzq4nhlfdkk89k6klw0pws3z5sfnggpqj490m4mulyxqkw5q26t5lp4t2k9c he should pitch his work to that community too.

Personal takeaways from these concepts you've presented:

Both FA and FO are skill dependent. Higher skill means more quality and quantity of FA is possible.

Higher skill should also result in lower rates of FO.

It also seems related to the dynamics of entering a "flow state". That seems to be reliant upon skill level, level of challenge presented, etc.