AI 重塑数学版图?过去这一年,人工智能究竟攻克了哪些数学难题?

9 月 4 日凌晨，人工智能公司 OpenAI 正式推出新一代旗舰大模型 GPT-6 Astra，首席执行官布罗克曼在发布会尾声只留下了一句简短有力的话——「欢迎踏入 AGI 时代」。发布会当日，OpenAI 还同步公开了一项重磅成果：GPT-6 Astra 将困扰学界十二年之久的孪生素数问题最佳上界，由原来的 246 大幅压缩至 186，并附带了一份基于条件式的 Lean 形式化证明。从 246 到 240，人类足足摸索了 12 个春秋，从 240 到 186，AI 仅仅耗费了 3 个昼夜。在展开后续讨