Specification-Problem
Your AI Passed the Math Test by Proving a Different Theorem