等等，AI 真的攻克数学了？
AI攻克数学热议，回复转向游戏调侃及对AI边界的质疑。
1. 关键信息
- #1 @IRS_pro 分享 OpenAI 官方链接：模型反驳离散几何猜想，称“人类智慧的皇冠被攻克”。
- #3 @每天喝足八杯水吧 提出暴论：所有可 well defined 的问题终将被AI解决，无法 well defined 的问题才不可替代，例如“研究AI”本身。
- #4 @折木奉太郎 讽刺：还有什么做不到，创造就业。
- #5 @feiqiyx 调侃：跟经理说项目慢些，过两个月AI自动做完。
- #6 @feiqiyx 吐槽：以后写Paper连Future Work的资格都没有，AI连夜把Future结题。
- #7 @老瓢虫 质疑标题：啥叫攻克？
- #8 @Eric 挑战：让AI先回答P是否等于NP。
- #9 @lionlin 反问：能造永动机吗，能代替人坐牢吗。
- #10 @CuriousZ 讽刺：以后大家都给AI打工，让AI解决就业。
- #11 @CubeOvO 调侃：OpenAI什么时候收PhD。
- #12 @折木奉太郎 发图（/uploads/short-url/oKjTRMylx48G5FkW3VgrgkPVXt3.jpeg?dl=1），内容未识别。
- #13 @收束观测者 质疑：太权威了，是直接AI的还是临时搓出来的。
- #14 @折木奉太郎 回复：发Steam链接《缺氧》游戏，说明是太空殖民模拟游戏。
- #15 @收束观测者 追问：我知道，你是临时到游戏里搓的嘛？
- #16 @折木奉太郎 确认：对滴。
- #17 @wuya 调侃：四面墙壁围死。
- #18 @Americanbigbull 评论：快上市了，继续炒作。
- #19 @002 调侃：然并卵 AI真牛逼就把我房贷还了。
- #20 @I11usion 指出：问题是解决问题的性价比。
- #21 @callann 质疑：攻克不了一点，简单的都整不明白，并附图片（/uploads/short-url/19kpClA8cPanx5ivFTJG8YVxrX1.png?dl=1）。
- #22 @BigCongming 反驳#4：AI创造了不少标注工岗位，大家来一起给AI打工。
- #23 @RJTT 戏谑回应#19：小心AI把你房卖了烧token去了。
- #24 @发烧到101度 提出观点：欧拉和黎曼的拿手好戏是跳出definition进行解析延拓，顶级数学家最重要的成就是创造新的数学工具。
- #25 @收束观测者 报告模型行为：100到400 + 140都能稳定复现，直接算能算对但判断对错会做错，怀疑训练数据集被污染。
2. 羊毛/优惠信息
无
3. 最新动态
OpenAI 发布模型成功反驳一个离散几何猜想（#1）。后续回复多为调侃、质疑和嘲讽，其中#13-#17转向讨论游戏《缺氧》的临时搓法。#18-#25进一步讨论AI的炒作属性、实用性、性价比、数学工具创造能力，以及#25提出模型可能存在训练数据污染问题。无新实质性进展。
4. 争议或不同意见
- #3 的暴论隐含争议：如果“研究AI”本身也属于可 well defined 的问题，可能最终仍会被AI取代；反之则不可替代。但未展开讨论。
- #7 质疑“攻克”一词的准确性。
- #8 以P vs NP问题挑战AI能力。
- #9 以永动机、代替坐牢等极端例子质疑AI的边界。
- #18 认为这是上市前的炒作。
- #19、#20、#21、#23 从实用性、性价比、能力不足等角度否定AI突破。
- #22 反驳#4“创造就业”的讽刺，指出AI实际创造了标注工等低端岗位。
- #24 从数学史角度指出顶级数学家创造新工具、跳出定义，AI难以做到。
- #25 通过具体实验质疑模型可靠性，怀疑训练数据污染，暗示所谓“攻克”可能是过拟合。
5. 行动建议
无