RecodeX 重构消息，OpenAI公告称，其下一代模型Astra在10项长期悬而未决的数学问题上取得重大进展，涵盖高维球体堆积与非sofic群，并附Lean形式化验证。随后多名数学家公开质疑：耶希瓦大学Steven Miller指控Astra的核心论证与其2016年论文重复，剑桥大学Fournier-Facio指其拼凑Kun与Thom的成果。OpenAI回应称将小幅更新论文并调整新闻稿表述，强调对结果正确性负责。