As i see, maths is more about proof, and rediscovery new theorems, than to write "arbitrary, unproven proof". It's more like 100% unit test coverage of your codebase (harder than writing the code).