实时 AI 消息
OpenAI 公布模型在 Kakeya 猜想等科学问题上的结果
OpenAI 在其官网发文,介绍与学术社区合作推进科学理解的进展,并公布了模型在 Kakeya 猜想、指数时间假设和量子色动力学问题上得到的结果。文章还说明了研究者可以如何核验这些结果,并在其基础上继续推进工作。
OpenAI 于 10 月 26 日在其官网发布文章,介绍与学术社区合作推进科学理解的进展。文章的落点不是某项产品功能,而是模型在几个经典科学问题上产出了什么。
文中公布的结果集中在三个方向:Kakeya 猜想、指数时间假设(Exponential Time Hypothesis)和量子色动力学(quantum chromodynamics)。这三个题目分属不同领域——前者属于调和分析与几何测度论,第二个是计算复杂性理论中的核心假设,第三个则是描述强相互作用的物理理论。
比结果本身更值得留意的是文章给出的核验路径。OpenAI 说明了研究者可以如何检查这些输出、如何在上面继续做工作,把可验证性放在了叙述的前面。
这一安排对应着科研使用大模型时最实际的疑问:模型给出的论证看上去流畅,但哪一步可以被信任?如果输出能被拆解成可检查的中间步骤,它就更接近一份可供同行审阅的草稿,而不是一段无法追责的文字。
从机构角度看,这也是把模型能力放进真实学术协作的一次尝试:与其只在基准测试上比拼分数,不如让领域内研究者直接检查模型在难题上的产出。
需要保持克制的是结论的分量。目前公开的是机构层面的说明,这些结果的价值最终取决于外部研究者能否复现、以及是否能在此基础上得到新的进展。
后续值得关注两点:学术界对这几项结果的独立检验,以及这类合作中贡献如何界定——模型输出、提示设计与人工作者的判断,各自应当获得怎样的位置。
为什么重要
如果这些结果经得起独立复现,模型在科研中的角色将从提供灵感转向提供可检验的中间结果,这会改变学术合作的分工方式。
附近消息
全部10/26 22:00
阿里巴巴 Wan 3.0 视频模型解析:一个入口能做什么,开发者又该如何调用
TechStory 刊文拆解了阿里巴巴 Wan 3.0 这款“全能型”视频模型的能力与开发者调用方式。报道把重点放在统一入口与接入路径上,也折射出视频模型竞争正从单点演示转向可交付的生产工具。
10/26 23:01
Starling称AI Agent把反洗钱警报调查从30分钟压缩到17秒
据AML Intelligence报道,英国数字银行Starling表示,其AI Agent已将反洗钱警报调查的处理时间从30分钟缩短到17秒。公开报道目前只给出时间对比,未披露所用模型、供应商、样本量以及人工复核环节是否保留。
10/26 21:56
Anthropic 的 IPO 叙事:高增长、巨额亏损与安全风险同时摊开
围绕 Anthropic IPO 的报道把三组信息放进同一个框架:收入高速增长、亏损规模巨大,以及 AI 安全风险。这不再只是融资故事,而是对前沿 AI 商业模式的一次公开体检。
10/26 21:45
CodeRabbit用GPT-6.1 Sol做安全代理,把代码审查延伸到跨仓库
OpenAI发布客户案例称,CodeRabbit已把GPT-6.1 Sol作为其安全代理的主力模型,用于在复杂代码库中排查安全风险。该代理可在隔离沙箱中验证漏洞利用,并为确认的问题起草修复用的拉取请求,最终仍由人工审核决定是否合并。