It's hard for an ordinary person to understand the complexity of these tasks. I'm no mathematician, and I don't see a difference between e.g., results 3 and 10. So I had GPT-5.6 Sol Pro and Fable 5 Max classify these using @EpochAIResearch OpenMath's rubric: — "Solid Result": A