In the spirit of my recent “Math 2.0” talk on new ways to use AI assistance to enhance the human understanding of mathematics ...
The first bug its tests caught was the AI's own.