That statement seems far too strong, at least if you aren’t just talking about a very narrow subset of AI safety research (part of MIRI’s agenda). at a glance, that website gauges a skillset associated with one flavor of proof-based mathematics. For proof-based AI safety work, i think that the more important and general skill is: can you make meaningful formal conjectures and then prove them?
I admit I am confused about what exactly “proof based math” means. I assumed that in general all math is proof based, so this specifically refers to computer proofs. If not, then of course my advice does not apply.
That statement seems far too strong, at least if you aren’t just talking about a very narrow subset of AI safety research (part of MIRI’s agenda). at a glance, that website gauges a skillset associated with one flavor of proof-based mathematics. For proof-based AI safety work, i think that the more important and general skill is: can you make meaningful formal conjectures and then prove them?
I admit I am confused about what exactly “proof based math” means. I assumed that in general all math is proof based, so this specifically refers to computer proofs. If not, then of course my advice does not apply.