Comment by john_strinlai

>then claiming that since no one has found any serious bugs, their software is secure.

which specific openai statements does this part of your analogy map to?

in the "sharing ai progress in mathematics" blog, openai simply says "results", and never once claims that all of them are unquestionably true. instead, they state they want to evaluate the results. their github states that the results are "different stages of verification" and also says "Some of the unformalized results could have issues"

that is the opposite of "claiming [...] their software is secure", to use your analogy.