数学家的Deep Blue时刻?OpenAI用不到2000美元破解了十个十年未解难题 OpenAI用内部模型Astra以极低成本解决了十个长期悬而未决的数学问题,引发数学界对AI角色的集体反思。 Simon Willison · 2026年8月2日