Formal-Verification
Your AI Passed the Math Test by Proving a Different Theorem