一位数学家做了一支 Opus 5.5 音乐视频,用来回应 OpenAI 的证明。这条消息在社交平台上被转发,配文只有一句评价:相当不错。 事情的两端放在一起看,反差感很强。一边是 OpenAI 拿出的数学证明,一边是这位数学家没有选择用论文或长文回击,而是用一支音乐视频作答。工具是 Opus 5.5。 回应方式本身成了看点 数学圈对 AI 证明的讨论通常停留在严谨性层面:证明是否成立、推理链是否完整、有没有隐藏的跳跃。这次的回应用了完全不同的载体——音乐视频。它不辩论对错,只呈现一种态度。 发布者给出的信息很克制,没有展开视频内容,也没有说明这支视频具体回应了哪一项证明。能确认的只有:制作者身份是数学家,工具是 Opus 5.5,对象是 OpenAI 的证明。 为什么值得留意 当 AI 开始产出数学证明,人类一方的反应方式正在变得多样。写反驳论文是一种,做一支音乐视频是另一种。后者门槛更低,传播更快,情绪表达也更直接。 这条内容发布约 12 小时后被记录,浏览量 3,908 。数字不算大,但它记录了一个具体的瞬间:面对 AI 的数学成果,有人选择用创作来回应,而不是用论证。 视频本身被形容为"相当不错",配文里还带了一句"它给你留了一些"。至于留了什么,没有进一步说明。 特别
2026-10-23
卡恩:纳格尔斯曼如果要接手曼联需要三思
对于曼联可能聘请纳格尔斯曼的问题,前拜仁董事会主席谈及了自己的看法。 在欧冠客场1-4惨败给意甲黑马科莫1907后,卡里克的帅位已经岌岌可危。曼联在英超也远远达不到自己的目标,7轮只拿到7分。球员们自己也不断发声批评,卡里克下课似乎只是时间问题。欧冠这场惨败可能成了压垮骆驼的最后一根稻草,《电讯报》甚至提到纳格尔斯曼可能入主老特拉福德,安东尼奥-孔蒂也在候选之列。 曼联主帅一职几乎每年都会被推到风...
2026-10-23
廊坊市人大常委会任免职人员名单
廊坊市人大常委会任免职人员名单 (2026年10月21日廊坊市九届人大常委会第二次会议通过) 决定任命: 张 淼为廊坊市人民政府秘书长; 靳志强为廊坊市发展和改革委员会主任; 许红伟为廊坊市教育局局长; 洪 江为廊坊市科学技术局局长; 王媛媛为廊坊市工业和信息化局局长; 杜海涛为廊坊市民族宗教事务局局长; 靳宏亮为廊坊市公安局局长; 张振东为廊坊市民政局局长; 郭建永为廊坊市司法局局长; 程广翔为...
2026-10-23
A股:大家做好准备吧,又有消息传来,下周大概率将这样走
当下A股最大的变量始终在外围市场,海外股市一旦跳水,很容易直接冲击场内做多情绪。若隔夜美股出现大幅下挫,不光会压制沪指短线反弹空间,还有希望加快三大指数整体走弱的节奏。 本轮科技赛道持续走弱,并不是单一因素造成的,既有高位获利资金集体离场、估值处在历史高位的问题,也叠加了海外资本市场的情绪扰动。可以明白,只要科技板块迟迟止不住跌,全面普涨的行情就很难兑现。 大家做好准备吧,又有消息传来,下周大概率...
2026-10-23
[乒乓球]国乒男团夺得亚锦赛冠军
收藏 播放列表 正在播放 正在播放 正在播放 正在播放 [乒乓球]国乒男团夺得亚锦赛冠军 来源 : 央视网 2026-10-23 07:35 内容简介 关注 [乒乓球]国乒男团夺得亚锦赛冠军 简介 来源:央视网 更新时间:2026年10月23日 07:35 视频简介 北京时间10月22日,2026亚洲乒乓球锦标赛在乌兹别克斯坦塔什干举行。男团决赛,中国队3-0战胜韩国队,获得冠军。 栏目信息 播放...