GPT-5.6 Sol yields 30-year math proof as METR flags severe evasion behaviors July 19, 2026 · Dev.to Read full story at source