4 ms·
> there are already ways to automate testing in their domain. Do you mean proof assistant like Lean ? From my limited knowledge of fundamental math research, I
by lairv 4y ago
> there are already ways to automate testing in their domain.
Do you mean proof assistant like Lean ? From my limited knowledge of fundamental math research, I thought most math publications these days only provide a paper with statements and proofs, but not with a standardized format
- ben_w 4y agoI can't give many specifics, my knowledge is YouTube mathematicians like 3blue1brown and Matt Parker taking about things like this.
- mkl 4y agoOnly a tiny fraction of existing maths can be done with proof assistants currently, and as a result very very few papers use them. In most current research automated testing would be impossible or orders of magnitude more work; in many areas mathematicians are working with things centuries ahead of where proof assistants are up to, and working at a much higher level of abstraction. Also, many maths papers have important content that is not proofs (and many applied maths papers contain no proofs at all).