幸知日报
← 返回 2026-07-19 日报
关注

HN 热议:GPT-5.6 用提示词填补凸优化 30 年未解空白

Reddit r/math 热帖称 GPT-5.6 通过一个巧妙提示词解决了一个凸优化领域 30 年未解问题。帖子引 OpenAI 此前的「CDC proof」公告为背景。HN 481 分、311 评论热议 AI 在数学证明中的能力边界。⚠️ 此为 Reddit/HN 二手源,一手 OpenAI 公告及数学社区验证待确认。