标签 > 刚刚，GPT-6 Astra取得哥德巴赫猜想重大突破！

GPT-6 Astra 在哥德巴赫猜想的刘维尔弱形式方向完成了无条件证明，是数论领域一次很有价值的阶段性成果，本次成果已经通过 Lean4 形式