标签: 数学证明 (1 篇)

OpenAI用内部模型Astra以极低成本解决了十个长期悬而未决的数学问题，引发数学界对AI角色的集体反思。