I think effective certification is likely to involve expert analysis (including non-technical domain experts) of specific algorithms used in specific contexts. This appears to contradict the “Second” point above somewhat.
The idea with the “Second” point is that the certification would be something like “we certify that company X has a process Y for analyzing and fixing potential problem Z whenever they build a new algorithm / product”, which seems like it is consistent with your belief here? Unless you think that the process isn’t enough, you need to certify the analysis itself.
I think the contradiction may only be apparent, but I thought it was worth mentioning anyways. My point was just that we might actually want certifications to say things about specific algorithms.
The idea with the “Second” point is that the certification would be something like “we certify that company X has a process Y for analyzing and fixing potential problem Z whenever they build a new algorithm / product”, which seems like it is consistent with your belief here? Unless you think that the process isn’t enough, you need to certify the analysis itself.
I think the contradiction may only be apparent, but I thought it was worth mentioning anyways.
My point was just that we might actually want certifications to say things about specific algorithms.