I vote canard.

1) French for duck which keeps the with the language history.

2) it’s a loan word into English for unfounded rumor. Which is kind of fun.

3) the second English definition: “small winglike projection attached to an aircraft forward of the main wing to provide extra stability or control” What does a theorem prover do if not provide extra stability or control to our own understanding? (This one’s a bit of a stretch.)