@ariadne "You can solve the problems of AI by writing tests"

"But who will write the tests?"

"AI"

"Then the problem is not solved"

"Okay, but you can reduce the problems with the AI tests by writing clear documentation"

"But who will write the documentation?"

"AI"

"Then the problem is not reduced"

"Okay but all of these problems can be solved by simply writing proofs"

"But who will write the proofs?"

"Recent research by Anthropic shows AI is actually excellent at writing proofs—"