返回 7*24 快讯
重要来源Blockbeats

AI逼近「超人级数学能力」,全球顶尖数学家担忧人类研究价值被削弱

BlockBeats 消息,8 月 19 日,近日约 40 名全球顶尖数学家在旧金山 OpenAI 办公室举行会议,讨论一个备受争议的问题:当人工智能在数学研究领域超越人类后,数学家未来还将扮演什么角色。 多伦多大学教授 Daniel Litt 在会议上提出极端设想,未来可能出现「高质量数学研究消失、人类数学专业能力逐渐丧失」的情况。他表示,虽然这一结果并非最可能发生,但数学界必须尽快适应 AI 带来的变化。 数学被认为是最早受到 AI 科研能力冲击的学科之一。近期,OpenAI 公布了 10 项由 AI 生成或辅助完成的数学与计算机科学成果,涉及多个通常需要多年训练才能掌握的研究领域。 OpenAI 数学家、菲尔兹奖得主 Jacob Tsimerman 表示,AI 很快可能在数学研究领域达到「稳定超越人类」的水平。他近期宣布将加入 OpenAI,参与 AI 安全相关工作。 近年来,AI 已开始产生部分具有突破性的数学成果。今年 5 月,OpenAI 一款尚未公开发布的模型提出了反驳「单位距离猜想」的例子,该成果被部分数学家认为达到了可发表水平。与此同时,Anthropic 旗下研究人员也利用 Claude 辅助完成高维数学问题研究。 不过,数学界对于 AI 取代人类研究者仍存在分歧。部分专家认为,AI 能够生成证明,但未必真正理解数学概念。哈佛大学数学家 Melanie Matchett Wood 指出,目前顶级 AI 模型仍难以准确解释证明中的关键难点。 西北大学数学教授 Bryna Kra 表示,数学不仅是得到答案,更重要的是理解结果。「一个没有被理解的证明,不会真正成为数学文献的一部分。」 与此同时,也有研究者认为 AI 可能成为数学家的工具,而非替代者。OpenAI 研究科学家 Sébastien Bubeck 表示,未来数学可能类似软件工程,AI 帮助大量研究者协作解决复杂问题;也可能类似物理学,通过 AI 模型推动更大规模的科学探索。 随着 AI 在科研领域持续突破,数学家正在面对一个新的时代命题:未来的数学研究,是人与 AI 共同创造,还是逐渐走向机器主导。
免责声明:以上内容仅为作者观点,不代表 711BTC 的任何立场,不构成与 711BTC 相关的任何投资建议。

相关推荐

08-09 11:04

OpenAI教用户给Claude Code换上GPT模型,误封后两边员工现场互损

据动察 Beating 监测,OpenAI 产品负责人 Tibo 此前公开教用户给 Claude Code「换脑」:保留 Claude Code 的 harness,把底层模型换成 GPT。 开发者 Alex Getman 照着配置后,Claude 账号很快被封。他公开求助 Tibo 和 Anthropic,询问这套用法到底是否违规。 Tibo 随即开始阴阳:「我很想帮你,可惜我不在 Anthropic 工作。」他还补了一句,因为把 Claude Code harness 配其他模型就封号,「确实挺奇怪」,并问还有没有其他人中招。 Claude Code 负责人 Boris Cherny 很快下场。他明确表示,Anthropic 不会因为 harness 搭配其他模型就封号,这次几乎肯定是其他风控误触发。账号随后恢复。 Boris 还顺手回敬 Tibo:「如果你想来 Anthropic,我们正在招人。」Tibo 则表示自己很喜欢现在的团队,而且接下来几周还有不少新产品要发,暂时哪也不去。 事情解决后,Tibo 又发帖庆祝,称 GPT-5.6 Sol 几乎哪里都能用,包括 Claude Code harness。为了庆祝这件事和自己「不跳槽」,他还直接重置了 ChatGPT Work 和 Codex 所有付费用户的使用额度。

08-19 11:25

Claude Code周额度提高50%又续了,Anthropic本想直接变永久

动察 Beating AI 快讯,Anthropic 再次延长 Claude Code 的加量活动。周使用额度继续提高 50%,原定今天结束,现在延长到 8 月 31 日。公司还表示,希望以后把这项提升直接变成永久调整。 这已经是这轮加量多次续期。Anthropic 今年 5 月最初把 Claude Code 周额度提高 50%,此后期限一路往后延。 不过永久加量还没定。Anthropic 称近期模型需求很强,未来几周算力仍可能吃紧。 Claude 的需求增长正在推动 Anthropic 持续签下新的算力和数据中心协议。

08-18 22:45

OpenAI员工换上Anthropic CEO同款头像,AI圈集体跟风

动察 Beating AI 快讯,OpenAI 员工 Andrew Ambrosino 把自己的 X 头像换成了 Anthropic CEO Dario Amodei 的同款造型:卷发、黑框眼镜、灰色开衫,连扶眼镜的姿势、灰色背景和构图都一起复制。 换完后他来了一句「接下来 6 周全力投入」,同事 Tibo 看到头像后说「看了两遍才反应过来」。 随后这套「Dario 模板」开始在 AI 圈扩散。有人直接整理出通用玩法:把自己的照片和 Dario 头像一起交给生图模型,保留自己的脸,再复制衣服、姿势、光线、背景和构图。评论区很快出现一排不同脸、同一套灰毛衣和扶眼镜姿势的「Dario」。 社区也开始拿 OpenAI 和 Anthropic 的竞争开玩笑。有人调侃,OpenAI 说要加强网络能力,原来是「在网上霸凌 Dario 的头像」。

08-17 22:02

Anthropic与OpenAI或限制企业API获取最强AI模型,引发竞争风险担忧

Odaily星球日报讯 Anthropic 和 OpenAI 持续开发面向特定行业的 AI 应用和功能,引发部分企业客户担忧——这些客户未来可能需要直接与自己的 AI 供应商展开竞争。设计软件公司 Canva 近期便面临类似困境。此前,多数企业客户一直认为,Anthropic 和 OpenAI 会始终通过 API 形式向外部企业提供其最先进的 AI 模型,使企业能够基于这些模型开发自身产品。 然而,随着两家公司越来越深入地推出行业定制化 AI 应用,部分客户开始担心,Anthropic 和 OpenAI 可能会优先将最强大的 AI 能力用于自有产品,而非通过 API 开放给企业客户。 这一变化可能影响企业对 AI 基础设施供应商的长期依赖模式。过去,企业通常将 OpenAI、Anthropic 等模型提供商视为底层技术供应商;但随着 AI 公司向应用层扩张,双方关系正在从合作伙伴逐渐转向潜在竞争者。 目前尚不清楚 Anthropic 和 OpenAI 是否会调整其 API 开放策略,但行业内对于“模型公司是否会与客户争夺应用市场”的讨论正在升温。若顶级模型能力逐渐向自有应用倾斜,企业可能需要重新评估 AI 供应链和技术战略。(The Information)

08-13 19:50

Lightspeed 拟为旗下二级基金募资 6 亿美元,加码投资 OpenAI 与 Anthropic

火星财经消息,Lightspeed Venture Partners 正在寻求通过二级交易筹集约 6 亿美元资金,以延长其对 OpenAI 及其他人工智能公司的投资敞口,并追加投资 AI 模型公司 Anthropic。据知情人士透露,Lightspeed 本次募资交易的内部代号为 “Project Mercury”,涉及 Lightspeed 旗下多只二级基金,包括 Select V 基金、Opportunity II 基金以及一个独立管理账户中的部分资产。Lightspeed 希望通过二级市场交易,为投资者提供流动性,同时继续保持对 AI 领域头部公司的长期持有。

08-13 19:45

Harbor Capital推出5只AI生态主题ETF,覆盖OpenAI、Anthropic等

Odaily星球日报讯 彭博 ETF 分析师 James Seyffart 表示,资产管理公司 Harbor Capital 今日推出 5 只主动管理型 ETF,分别聚焦人工智能领域不同公司的“生态系统”投资机会,这 5 只 ETF 分别为:ANTW:聚焦 Anthropic 生态公司;DEPW:聚焦 Google DeepMind 生态公司;MTAW:聚焦 Meta AI 生态公司;OAIW:聚焦 OpenAI 生态公司;XAIW:聚焦 xAI 生态公司。 Seyffart 表示,这些 ETF 将围绕 Anthropic、Google DeepMind、Meta、OpenAI 以及 xAI 等 AI 企业构建投资组合,通过投资与相关企业供应链、合作伙伴及生态体系相关的公司,捕捉 AI 产业扩张机会。