新智元报道 AI 再次让数学界地震! 这款 OpenAI 下一代最强模型 Astra,在 10 项长期悬而未决的问题上取得重大进展,其中一些成果可能足以让候选人入选菲尔茨奖。 OpenAI 表示,将功劳归于人类会歪曲事实,所以全部荣耀归于 AI: 每一个数学论证都是由内部版本的 Astra 生成的, 本文链接