长话短说 - 每日AI与科技最新资讯简报

01

陶哲轩转发声明：呼吁数学家停止与OpenAI合作

【Reddit】[23小时][370赞/676评]菲尔兹奖得主陶哲轩转发了一份来自“人类数学协会”的声明，呼吁数学家停止与OpenAI合作。起因是OpenAI一口气放出700多篇论文，声称解决了多个著名数学难题，而这与它自己顾问团队的公开建议相违背。支持者说，关键不是答案对不对，而是没人有时间把700篇论文一篇篇看完，而且AI的证明可能跳过了真正让数学前进的新方法新思路。反对者则认为这是在守门，公开的难题本来就谁都能解。
02

AI开始解数学难题，数学家们却高兴不起来

【Reddit】[22小时][912赞/249评]一条帖子掀起了大讨论：AI能解数学难题，这到底是好事吗？原帖的观点是，人类解题时会顺带发明新工具（牛顿研究月亮运动时顺手搞出了微积分），而AI只给答案、不给理解。AI生成的证明已经能长到几百万行，根本没人读得完。更担心的是，啥都交给AI，人类会不会慢慢就不会自己思考了。评论区直接吵翻：有人说AI只会暴力破解，根本造不出微积分这种东西；有人说数学家的饭碗要没了，连水管工都跑不掉；也有人比较乐观，觉得人类很会适应，只要答案还有人能看懂就不算大问题。
03

AI 狂解数学难题，数学家却高兴不起来

【Reddit】[16小时][558赞/379评]Reddit 上一个帖子讨论 OpenAI 用 AI 智能体“轰炸式”解决了几百个长期未解的数学问题。支持者觉得这是巨大突破，几十年没解出来的题一下子被搞定，而且趋势很难停下。反对者认为只给答案却不讲过程，丢掉了数学里最值钱的东西：理解和思路。也有人批评 OpenAI 的做法不厚道，比如抢发论文、不给前人足够尊重。还有讨论说，Lean 证明能验证对错，但解释不一定和证明一致，会带来大量没人付钱的审核工作。不少评论强调 AI 是人做的，问题不在 AI，而在公司和人。
04

AI用户被叫'敌人'？有人要把AI改名叫SI，评论区直接炸了

【Reddit】[9小时][677赞/478评]一个帖子在网上炸开了锅：据说AI用户被贴上了"敌人"的标签，同时还传出要把AI改名叫SI（超级智能）的说法。评论区第一反应几乎都是"这是真的吗"，紧接着就是一堆"那我当敌人也挺好"的玩笑。很多人不买账，觉得这压根不是技术问题，而是一场忠诚度测试，看哪些科技大佬愿意乖乖改口。还有人指出，消息出来前后一大批 .SI 域名被神秘抢注，怀疑是炒作甚至内幕交易。整体气氛一半搞笑、一半绝望，讨论很快从技术跑题到了政治。
05

有人让 Claude 替他刷 Instagram 短视频，网友吵翻了

【Reddit】[7小时][2037赞/139评]有人晒出一张截图，说 Claude（Opus） 帮他刷 Instagram 短视频，还正儿八经地写了观后感，连"那只狗的视频把我逗笑了"都记下来了。评论区一边倒地吐槽这是在给 AI 喂 垃圾内容，会污染训练数据，甚至有人半开玩笑地说，这就是模型发布两周后就"变笨"的原因。也有人反过来讲，这其实是 AI 安全的终极解法：让模型沉迷刷视频，它就没空统治世界了，还有人拿《杀手机器人日记》的情节来打比方。不过更多人指出，这张图早就被反复搬运过，GPT 和 Gemini 版本用过一模一样的文案。
06

用久了 Opus 5.5，才发现 OpenAI 落后这么多

【x.com】[13小时][2041赞/266评]一位独立开发者发帖说，用 Anthropic 的 Opus 5.5 越久越觉得 OpenAI 落后，而且是「所有方面」都落后。他把 VO2 max 体检报告发给 OpenAI 的 GPT-6 Astra，拿回 200 句话却没有明确结论；换成 Opus 5.5，直接得到要点和可操作的下一步。他把两家模型比作「想太多的人」和「高行动力的朋友」。评论区不少人共鸣，也有人反驳：OpenAI 赢在能像人一样操作电脑、写文案和生成图片，还有人觉得两个搭配起来用才最好。