陶哲轩质疑 OpenAI:719 篇 AI 数学证明,人类真的理解了吗?
OpenAI 公开 719 份 AI 数学证明,因符号错误撤回 3 份,并因披露不足引发争议。陶哲轩批评把“速通难题”当目标,称其为“证明消化不良”。
蔡崇信:五年后 AI 将像互联网一样,融入业务各环节
在意大利都灵 Wave by Vento 2026 上,阿里巴巴集团主席蔡崇信预判,五年后 AI 可能不再被单独讨论,而会像互联网一样融入业务各环节。他还以 2023 年为界,讲述阿里从规模扩张转向电商与全栈 AI 的阶段变化。
迈从 Ace 68 Air 2 键盘新增琥珀金/薄荷冰配色,289 元起开售
迈从 Ace 68 Air 2 磁轴键盘新增琥珀金、薄荷冰配色,极地磁轴 289 元、泰山磁轴 329 元全平台开售,侧面新增独立 RT 控制键,官方标称延迟低至 0.08ms。
《战地6》领衔10月Xbox Game Pass阵容,9款新作分三批入库
微软公布2026年10月第一波Xbox Game Pass阵容,9款新作将于8日至16日陆续入库,其中7款为首发加入,《战地6》定档10月13日;10月15日另有9款游戏离库,含《光与影:33号远征队》。
可灵筹备港股独立上市,快手股东面临更难的估值选择题
快手 AI 视频业务可灵已启动港股 IPO 筹备,募资规模或达 10 亿美元。可灵季度收入同比增长超 200%,而母公司增速仅 1.4%,分拆上市将两套股东的估值选择摆上台面。