Comment Comment by andyjohnson0 Because developing software is almost always an economic activity, and proving maths conjectures almost always isn't. parent andyjohnson0 3 years ago