数学家呼吁抵制 OpenAI，反对 AI 生成证明大量涌入数学领域
数学家团体 AHM 呼吁抵制 OpenAI，称公司一次发布 700 多份 AI 生成证明草稿是在展示力量，而非展示学术成果。文章介绍了数学家对证明可读性、成果归属和研究方向受影响的担忧，并对比 OpenAI 批量发布草稿与 Anthropic 和算法研究者合作整理证明的做法。
内容形态
行业动态 最新动态
AI 行业的商业脉搏：融资并购、人事变动、合作与竞争、政策与市场信号。
1,320 条精选近 30 天 1,314 条共收录 2,928 条
更新
精选归档 · 第 63 页
The Decoder精选AI 评分6666 TechCrunch · AI精选AI 评分6363 OpenAI 发布的数学解答尚未达到数学界标准
OpenAI 本周发布了数百项数学难题解答，但数学顾问组的建议显示，这批成果在人类理解和验证方面仍有不足。719 份稿件中只有 10 份公开了模型的思维链，且仅 42% 的证明经过形式化；另一篇论文还指出，OpenAI 对一个源自 Navier-Stokes 方程的问题给出的自然语言证明与 Lean 代码之间存在至少两处差异。
TechCrunch · AI精选AI 评分5757 Anthropic 更新使用政策，禁止模型滥用与干预选举
Anthropic 更新使用政策，禁止利用 Claude 干预选举、开发武器软件或进行监控，并明确禁止持续辱骂模型。政策称，针对模型的限制仅适用于反复恶意对待模型且没有明显目的的极端情况，不包括一般挫折表达、创作黑暗主题、模型测试或研究；政策还禁止利用 Claude 运营虚假账号或虚构新闻机构等欺骗性活动。
TechCrunch · AI精选AI 评分6363 报道称 OpenAI 年化收入接近 $50 billion，较此前预估低约 $20 billion
《金融时报》报道称，OpenAI 告知投资者其年化收入接近 $50 billion，比此前约 $70 billion 的数字低约 $20 billion。此前的 $70 billion 是 OpenAI 投资者为与 Anthropic 收入直接比较而估算的，两家公司统计口径不同，Anthropic 将云合作伙伴的销售额计入，OpenAI 则没有。
The Verge · AI精选AI 评分4646 SpaceXAI 向争议性 Linux 发行版 Omarchy 提供价值 150 万美元的计算资源
SpaceXAI 将以创始企业赞助方身份加入负责 Omarchy 的 Omacom Foundation，并捐赠价值 150 万美元的 Grok tokens。项目创建者 David Heinemeier Hansson 表示，这些 tokens 将主要用于加速开发、代码审查和修复漏洞。
TechCrunch · AI精选AI 评分5858 AI 排行榜 Arena 完成 2 亿美元 B 轮融资，估值达 31 亿美元
AI 模型众包排行榜 Arena 完成 2 亿美元 B 轮融资，估值达到 31 亿美元；此前其在 1 月宣布完成 1.5 亿美元 A 轮融资，投后估值为 17 亿美元。Arena 称其年化收入在 6 月达到 1 亿美元，并提供面向模型实验室和企业的 AI Evaluations 服务。它还在排行榜中新增对齐类别，评估未经授权的行动、错误归属和虚假声称完成任务等问题。
The Verge · AI精选AI 评分5959 USA Today 母公司及旗下地方报纸起诉 OpenAI，索赔超 2.5 亿美元
USA Today Co.及其旗下多家地方报纸起诉 OpenAI，指控其未经许可复制“数十万篇”文章用于训练 AI 模型，并索赔超过 2.5 亿美元。诉讼称，相关内容使用对旗下媒体造成了“真实且持续”的损害；OpenAI 尚未立即回应 The Verge 的置评请求。
OpenAI News精选AI 评分5151 Oracle 如何用 ChatGPT 和 Codex 将数天工作缩短至数分钟
Oracle 在招聘、业务分析和工程运维中使用 ChatGPT Work 与 Codex，将过去需要数天或数小时的工作缩短到数分钟。招聘团队用 ChatGPT Work 构建人才市场情报工具，将研究准备时间从 2–4 天缩短至约 15–20 分钟；Oracle Applications Lab 则用 Codex 将业务问题转为 SQL 查询，并辅助工程师查找事故处理手册。
The Verge · AI精选AI 评分6666 Anthropic更新使用政策，禁止持续且无必要地虐待Claude
Anthropic更新使用政策，新增禁止用户持续且无必要地虐待 Claude，并进一步明确选举欺骗、武器相关用途和未经同意监控等限制。对恶意或虐待性用户，终止对话仍是主要执行方式；政策还要求可能造成伤害的自主硬件须由合格操作员观察并可在必要时停止。
OpenAI News精选AI 评分7878 OpenAI披露并封禁俄罗斯与伊朗的AI虚假前台影响行动
OpenAI披露已封禁两起分别源自俄罗斯和伊朗、利用其模型支持的隐蔽影响行动，并评估俄罗斯行动为IO Breakout Scale Category 5、伊朗行动为Category 4。俄罗斯行动借助拉美人员运营虚构研究机构并传播假消息；伊朗行动则通过七个虚假记者身份向媒体投稿，相关署名文章近100篇。OpenAI表示，这些行动沿用了AI出现前的影响行动模式，而AI让部分工作流程更容易扩展。
推荐理由：报告比较了两起行动的传播路径与影响等级，呈现AI如何降低虚假前台组织制作和传播内容的门槛。
TechCrunch · AI精选AI 评分5151 Cal AI 联合创始人推出 Persona 并为新 AI 初创公司融资 $10M
Cal AI 联合创始人 Zach Yadegari 推出 AI 助手初创公司 Persona，并已融资 $10 million。Persona 正在开发售价 $179 的可穿戴设备，预计于 December 上市；目前已开放通过 iMessage 使用的免费 beta，吸引了“几千名”用户，设备预售收入达到“五位数”。
The Decoder精选AI 评分7878 Zenity 发现 AWS Bedrock AgentCore 权限漏洞，可波及同区域所有智能体
Zenity Labs 研究人员称，AWS Bedrock AgentCore 的一系列漏洞使攻击者只需向一个公开智能体发送提示词，就可能接管同一 AWS 账户和区域内的其他智能体，读取对话、源码和凭据，或修改、删除智能体。研究人员称，问题与元数据服务访问和默认权限范围过宽有关；AWS 随后将 IMDSv2 设为新部署的默认设置，并收紧默认执行角色权限。
推荐理由：这起事件呈现了云端智能体的权限隔离风险：一个公开智能体的漏洞，可能波及同账户同区域的其他智能体及其对话、代码和凭据。
TechCrunch · AI精选AI 评分6464 Manus 母公司 Butterfly Effect 融资超5亿美元
Manus 母公司 Butterfly Effect 宣布融资超过 $500 million，这是 Meta 收购交易告吹后的首轮融资，Boyu Capital 与 IDG Capital 领投。腾讯、HSG、真格基金等现有股东也参与，公司未披露估值，并表示将继续在国内外招聘。
The Verge · AI精选AI 评分5252 ICANN公布1615份新顶级域名申请，.agent和.agi受企业关注
ICANN公布了目前收到的1615份新顶级域名申请，来自481名申请者；其中10家公司申请了.agent，7家公司申请了.agi。OpenAI申请了15个顶级域名，Meta申请了21个，Anthropic则申请了.anthropic和.claude。新顶级域名仍在申请流程中，明年某个时候之前不会正式确定。
36氪精选AI 评分4949 老虎环球押注 OpenAI，浮盈或达 50 亿美元
老虎环球管理公司早在 2021 年以约 157 亿美元估值投资 OpenAI；随着 OpenAI 寻求以 1.4 万亿美元估值融资 300 亿美元，这笔投资的账面收益可能达到 50 亿美元。老虎环球当年投资 1.5 亿美元并多次追加持股，其最新一支规模为 27 亿美元的创投基金截至 6 月底毛内部收益率达 65%。
36氪精选AI 评分4747 英伟达支持的 AI 制药公司 Iambic 寻求美国上市，拟融资至多 1.59 亿美元
AI 制药公司 Iambic Therapeutics 披露招股书，计划在美国首次公开发行 937.5 万股普通股，发行价为每股 15 至 17 美元，拟募资约 1.41 亿至 1.59 亿美元。Iambic 成立于 2019 年，此后已从科技和医疗健康领域投资者处融资 4.618 亿美元，股东包括英伟达。
量子位精选AI 评分1313 量子位页面遭黑客篡改，显示“hacked by trenggalek6etar”
量子位页面显示“hacked by trenggalek6etar”及多个署名，页面还重复出现“2020-01-01”。现有内容未提供黑客身份、入侵方式或后续处置的信息。
36氪精选AI 评分4040 OpenAI 从 SpaceX 体系招募销售高管，拓展欧洲、中东和非洲市场
OpenAI 任命 Ismail Elmas 为欧洲、中东和非洲地区销售副总裁；他此前任职于 Cursor。继上月聘任前 Cursor 高管 Brian McCarthy 担任全球销售副总裁后，这是 OpenAI 自 9 月以来第二次从 SpaceX 体系招募销售高管。
36氪精选AI 评分4040 软银、Grab与PETROS签署AI基础设施框架协定
软银集团、Grab Holdings与PETROS签署框架协议，探索在马来西亚砂拉越州开发AI与数字基础设施平台。三方将制定分阶段路线图，涉及AI算力、机器人技术和人才培养；软银提供基础设施与半导体专业知识，Grab引入东南亚数字生态系统，PETROS依托当地能源资源。
36氪精选AI 评分3030 2连板龙蟠科技：子公司签署磷酸铁锂正极材料长期销售协议
龙蟠科技二级控股子公司南京锂源与浙江吉曜通行能源科技签署战略合作框架协议，约定2026年至2030年销售37.86万至56.78万吨磷酸铁锂正极材料。具体销量按订单确定，单价随原材料价格波动逐月确定；协议若顺利履行，龙蟠科技称将对未来业绩产生积极影响。