OpenAI称推翻指数时间假设｜10月28日 AI 与世界早报
OpenAI 公布 AI 参与的三项数学与物理成果，称证伪指数时间假设；以色列大选出口民调显示两大阵营均未过半；赫尔松停火范围扩大至全州。
HN 上的 AI 讨论 AI
OpenAI 称证伪指数时间假设
OpenAI 宣布与学术界合作取得三项新成果：一是局部光滑化与挂谷猜想，二是计算复杂性理论中的指数时间假设（ETH）不成立，三是量子色动力学的存在性。其中 ETH 一项给出了一个确定性算法，能在次指数时间、多项式空间内精确计数任意 k-CNF 公式的可满足赋值，自然语言证明和 Lean 形式化代码已在 GitHub 公开；物理部分则由合作团队自行撰写，暂不公开 AI 产出的原始材料。OpenAI 还称其模型在 9 月给出了杨–米尔斯存在性的自然语言证明。两条相关帖子合计逾千赞。评论区有人惊叹这是罕见的复杂性理论突破，ETH 是数百篇论文的硬度前提；也有人提醒论文自己说明结果并不意味着一般 NP 问题都有次指数算法，离 P=NP 还很远；还有人关心这类证明靠人工核验要花多少年，以及 OpenAI 只捐 500 万美元支持学界是否相称。 [1][2][3]
DeepMind 发布世界模型 Genie 4
Google DeepMind 发布实时世界模型 Genie 4：用户可用键盘在生成的环境中移动，并用文字随时改变天气、镜头，或往场景里添加人物和物体；模型能模拟碰撞、空气动力等物理效果，还能同时生成环境音、音乐和对话。目前为面向受信测试者的研究预览，之后将向 Google AI Ultra 订阅用户和 Gemini API 早期合作方开放，官方承认长时间运行时画面会出现漂移。评论区有人认为世界模型会变成云端串流的游戏引擎，成为新一代防盗版手段；不少人逐帧挑错，指出镜头转回时城堡一角凭空消失、雕像砸西瓜的物理不对；也有人觉得操控响应反而不如 Genie 3，并好奇算力成本和能否导出 3D 资产。 [4][5]
斯坦福教授著作被用来训练 Claude
《斯坦福日报》报道，十余位斯坦福教授的著作被 Anthropic 从 LibGen 等影子图书馆下载用于训练，其中作家托拜厄斯·沃尔夫有十部作品在列。Anthropic 此前以 15 亿美元和解作者集体诉讼，覆盖近 50 万部作品，每部约 3000 美元；沃尔夫等人选择退出和解另行起诉，要求每部作品最高 15 万美元赔偿。评论区不少人指出标题有误导：法院认定用书训练属于合理使用，Anthropic 惹上麻烦是因为从盗版站下载而不是购书；有人拿亚伦·斯沃茨的遭遇对比，质疑大公司与个人所受待遇不同；也有人认为知识本应自由流通，对作者把未经许可的使用比作奴隶劳动不以为然。 [8][9]
世界发生的大事 World
赫尔松停火范围扩大至全州
为向被俄军占领的乌克兰城市奥列什基运送食品和药品而达成的停火，已扩大到整个赫尔松州。这次停火由美国第一夫人梅拉尼娅·特朗普与教宗良十四世协助促成，俄乌双方都表示停火得到遵守。按计划，停火后先运入人道物资，周五组织愿意离开的居民撤离；乌方官员称停火将持续到 11 月 1 日深夜，是 2022 年以来最大规模的降级。奥列什基仍有约 1700 至 2000 名居民，自卡霍夫卡大坝被毁后长期断水断电断气。 [12]
芬兰、挪威领导人与普京罕见通话
芬兰总统斯图布与挪威首相斯特勒在赫尔辛基与普京通话约 90 分钟，就乌克兰和谈直接传话，这是欧洲领导人与普京少见的直接接触。两人强调是以俄罗斯邻国身份行事，并不代表欧洲，通话事先与乌克兰和美国协调。斯特勒称双方观点分歧很大；克里姆林宫称普京重申只有充分考虑俄方利益才能实现持久和平。三方同意保持直接沟通。瑞典首相则表示欧洲应团结一致，而不是各自行动。美乌俄三方会谈暂定 11 月初在阿布扎比举行。 [13]
巴西败选候选人弗拉维奥护照被注销
在巴西总统决选中输给卢拉、至今拒绝认输的弗拉维奥·博索纳罗，未按最高法院命令在 24 小时内上交护照，巴西警方随即注销了他的护照。最高法院要求上交护照，是因为他涉嫌洗钱，本人否认指控。他的律师称完全不知道他身在何处，警方正核查边境口岸。最高法院同日还下令调查其竞选活动是否接受境外资金。 [14]
31 国警告苏丹饥荒风险加剧
美国与欧盟成员国、英国、加拿大等共 31 个西方国家发表联合声明，警告苏丹粮食安全“急剧恶化”，敦促内战双方解除对人道援助的阻碍。声明估计约 1950 万人、即四成人口面临严重急性粮食不安全，其中 500 万人处于紧急级别；若不立即行动，严重急性营养不良儿童可能超过 82.5 万。2023 年 4 月爆发的内战已致 1400 万人流离失所，厄尔尼诺带来的干旱又加重了危机，而今年的人道需求计划截至 9 月只获得四成资金。 [15]
参考来源
- [1] Hacker News news.ycombinator.com ↩ AI 01
- [2] Hacker News news.ycombinator.com ↩ AI 01
- [3] OpenAI openai.com ↩ AI 01
- [4] Hacker News news.ycombinator.com ↩ AI 02
- [5] Google DeepMind deepmind.google ↩ AI 02
- [6] Hacker News news.ycombinator.com ↩ AI 03
- [7] 原文博客 oioannou.com ↩ AI 03
- [8] Hacker News news.ycombinator.com ↩ AI 04
- [9] 斯坦福日报 stanforddaily.com ↩ AI 04
- [10] SBS 新闻 sbs.com.au ↩ World 01
- [11] 以色列今日报 israelhayom.com ↩ World 01
- [12] BBC bbc.co.uk ↩ World 02
- [13] BBC bbc.co.uk ↩ World 03
- [14] BBC bbc.co.uk ↩ World 04
- [15] BBC bbc.co.uk ↩ World 05