GPT-5.6 被声称解决了 Erdos 问题 #793,展示了 AI 在数学问题求解上的进展 · AIWatch