OpenAI宣布其开发的人工智能模型成功证伪了离散几何学领域的一个核心猜想。该模型通过自动化推理与证明过程,推翻了这一长期存在的数学假设,标志着AI在抽象数学研究与定理证明方面取得了实质性突破。这项成果不仅展示了大型语言模型在科学发现中的潜力,也为利用AI解决复杂科学问题提供了新的范例。
同一事件,精选展示《OpenAI模型证伪了离散几何中的一个核心猜想》OpenAI宣布其开发的人工智能模型成功证伪了离散几何学领域的一个核心猜想。该模型通过自动化推理与证明过程,推翻了这一长期存在的数学假设,标志着AI在抽象数学研究与定理证明方面取得了实质性突破。这项成果不仅展示了大型语言模型在科学发现中的潜力,也为利用AI解决复杂科学问题提供了新的范例。
同一事件,精选展示《OpenAI模型证伪了离散几何中的一个核心猜想》OpenAI开发的人工智能模型成功解决了数学界悬而未决逾80年的“单元距离问题”,并由此推翻了离散几何领域的一个核心猜想。这一突破被视作人工智能驱动数学研究的里程碑事件,标志着AI在基础科学理论探索中取得了实质性进展。该模型通过创新算法处理复杂的几何问题,展示了机器在自动化发现与验证数学猜想方面的巨大潜力。
关联讨论 13 条TechCrunch:AI(RSS)The Decoder:AI News(RSS)X:Greg Brockman (@gdb)X:Kim (@kimmonismus)X:OpenAI (@OpenAI)X:阿易 AI Notes (@AYi_AInotes)X:AI Safety Memes (@AISafetyMemes)X:Rohan Paul (@rohanpaul_ai)X:Noam Brown (@polynoamial)IT之家(RSS)X:Oran Ge (@oran_ge)X:Emad Mostaque (@EMostaque)X:Sam Altman (@sama)OpenAI正加速推进首次公开募股(IPO)进程,最早可能于今年九月启动。这一进展发生在埃隆·马斯克对OpenAI的结构、领导层及财务发起的诉讼败诉次日,标志着公司正重回上市准备轨道。目前具体估值与融资细节尚未披露,但此次IPO若成功,将成为近年来人工智能领域最受关注的资本市场事件之一。
软银对OpenAI的投资承诺已超600亿美元,引发内部对孙正义过度信任其创始人奥尔特曼的担忧。部分高管质疑将巨额资本集中于单一公司存在风险,且软银虽持股超10%却无董事会席位,缺乏决策影响力。同时,Anthropic等竞争对手的崛起加剧了对OpenAI领先地位的挑战。尽管软银表示对OpenAI抱有“高度信心”,并已从中获得账面收益,但其股价下跌及信用展望被下调反映出市场对其豪赌的顾虑。
为应对AI生成图像难以鉴别真伪的问题,OpenAI于5月20日宣布同时采用C2PA开放标准与谷歌的SynthID隐形水印技术。C2PA标准在图像元数据中添加可查看的AI生成标识,而SynthID则具备更强的抗篡改能力,两者形成互补。目前该措施仅适用于OpenAI自家产品生成的图像,同时公司展示了一款可检测这两种标识的核验工具,初期用于自家图像,后续计划扩展支持。
OpenAI正在推进其“国家教育计划”,通过与教育机构建立新合作、开展教师培训、提供AI工具,扩大人工智能在学校中的应用,以提升全球学习成果。该计划旨在系统性地将AI技术融入教学场景,增强教育资源的可及性与教学效率。
OpenAI宣布在新加坡设立其美国境外首个应用型AI实验室,计划未来数年投入超3亿新加坡元(约合15.97亿元人民币),并将当地团队扩充至约200人。此举旨在推动AI应用创新、培养专业人才,并促进技术惠及民众、企业及公共部门。新加坡正积极打造AI产业中心,吸引全球领先企业入驻。
OpenAI for Singapore 宣布启动一项多年期人工智能合作计划,重点扩展 AI 技术在新加坡的部署范围,加强本地人才队伍建设,并为企业及公共服务部门提供 AI 支持。该合作旨在通过资源整合,推动新加坡在 AI 领域的竞争力提升,加速技术创新和应用落地,覆盖商业与公共领域的数字化转型需求。
5月20日,OpenAI联合创始人及前特斯拉AI总监安德烈·卡帕西宣布加盟Anthropic。这位顶尖AI研究员将重返一线研发,本周入职负责Claude大模型预训练的团队。卡帕西将主导建立一个新团队,探索利用Claude自身能力来加速预训练研究,以推动AI开发自动化的关键前沿。此举被视为Anthropic在顶级人才竞争中的重大进展。
OpenAI 宣布推出“保证容量”服务,允许企业客户签订一至三年合约,长期锁定其AI算力资源。该服务根据客户的年消费水平提供阶梯式折扣,确保其生产系统、客户应用及AI智能体的专用算力供应。此举旨在应对当前算力紧缺环境,使企业能够将算力扩展与长期业务增长和AI部署规划相匹配,客户可在OpenAI支持的云服务商及模型范围内灵活使用所承诺的额度。
OpenAI宣布在其AI生成的图像中集成谷歌的SynthID水印技术,并推出配套的验证工具。这一举措旨在增强AI生成内容的可追溯性,使用户能够识别图像是否由AI生成。该更新已于2026年5月19日生效。SynthID水印技术此前由谷歌开发,可嵌入难以察觉的数字标识,而新验证工具则允许用户检测这些标识。OpenAI表示这将帮助打击虚假信息传播。
同一事件,精选展示《SynthID水印技术扩展合作,覆盖超千亿内容》陪审团迅速裁决驳回了埃隆·马斯克对OpenAI其他创始人及微软提起的诉讼。判决确认了庭审中的观察:马斯克的诉讼请求较为薄弱,部分原因在于他提起诉讼的时间拖延过久。该案件的核心指控涉及马斯克声称山姆·奥特曼“窃取”非营利组织,但庭审过程揭示,双方在推动人工智能发展的目标上存在相似之处。
Google推出了名为SynthID的AI内容水印技术,该技术能为AI生成的文本、图像、音频等内容嵌入几乎不可察觉的标识。目前,OpenAI、Nvidia等多家领先AI公司已开始采用这一技术。SynthID旨在帮助用户和平台在AI生成内容日益逼真的背景下,有效鉴别内容来源,区分真实与合成信息,从而提升AI生态的透明度与可信度。
OpenAI推出了新的AI内容溯源体系,旨在提升AI生成媒体的可信度。该体系集成了Content Credentials和SynthID两种技术标准,并配套推出了一个验证工具。此举的核心目标是帮助公众有效识别AI生成的内容,从而建立对AI媒体的信任,最终推动一个更安全、更透明的AI生态发展。
著名AI研究人员Andrej Karpathy已加入Anthropic。这位前OpenAI核心团队成员兼特斯拉Autopilot架构师表示,他希望重返研发一线,称未来几年在大语言模型(LLM)前沿的研究“尤其具有塑造性”。他选择Anthropic而非回归前东家OpenAI,这对后者而言是一个明显的损失。
埃隆·马斯克对针对OpenAI及其联合创始人Sam Altman的诉讼败诉提起上诉。此前,奥克兰市陪审团仅用两小时审议就驳回了马斯克最高达1340亿美元的索赔请求。主审法官曾表示本可“立即”驳回该案,马斯克律师则保留了上诉权。马斯克将判决结果归咎于程序上的技术性原因。
该教程详细介绍了如何利用 OpenAI API 构建一个高级智能体AI系统。该系统被设计为一个包含多个专门角色的流水线,包括规划者、工具执行者和批评者,从而将策略制定、行动执行和质量控制分离。系统集成了计算器等结构化工具,并内置了记忆与自我批评功能,使其能够进行复杂任务规划并自主优化执行过程。这是一个完整的实践指南,旨在指导开发者从零搭建功能完备的智能体框架。
过去六个月,大语言模型领域持续快速演进。多家科技公司与研究机构相继发布新一代模型,参数规模与上下文窗口显著扩大,部分模型已支持超百万Token。性能方面,模型在复杂推理、多模态理解及长文本处理等任务上取得关键突破,多项基准测试成绩提升明显。同时,开源生态蓬勃发展,更高效的小型化模型不断涌现,推动AI应用成本降低与部署场景拓宽。行业竞争加剧,技术创新与商业化落地同步加速。
据The Information调查,全球34家AI公司年收入总和接近800亿美元,半年内增长112%,但市场收入高度集中。OpenAI与Anthropic合计占年化营收的约89%,其中OpenAI月营收20亿美元(年化约240亿),Anthropic年化营收预计6月底达50亿美元。虽然Perplexity、ElevenLabs等应用层公司年销售额也突破5亿美元,但它们高度依赖头部模型接入,增长与成本压力并存。
过去六个月,大语言模型领域发生了显著变化,尤其以2025年11月为关键转折点。在该月,被称为“最佳”的模型主导权在Anthropic、OpenAI和Google之间五次易手,先后经历了Claude Sonnet 4.5、GPT-5.1、Gemini 3等模型的快速迭代。同时,编码智能体技术取得突破,从“时常可用”跃升至“基本可用”,能够稳定执行实际开发任务,这标志着整个领域的应用成熟度得到显著提升。
5月18日,加州陪审团一致驳回马斯克对OpenAI及其CEO奥尔特曼的诉讼,认为其索赔已超过三年诉讼时效。此前,马斯克索赔金额高达1500亿美元,并要求罢免奥尔特曼。作为OpenAI早期投资人,马斯克曾投入3800万美元,指控该公司转型盈利模式违背初衷。陪审团快速达成共识,主审法官采纳了该裁决。OpenAI律师称诉讼意在破坏竞争,微软则对判决表示欢迎。此次驳回为OpenAI计划中的上市清除了重大法律障碍,马斯克已宣布将提起上诉。
5月19日,美国加州联邦法院陪审团一致裁定,埃隆·马斯克起诉OpenAI的案件败诉,理由是诉讼时效已过。OpenAI因此无需就其偏离“造福人类”使命的指控负责。主审法官认为此裁定基于事实,马斯克上诉将面临挑战。马斯克随后表示将提起上诉,称此案在法律上开创了“掠夺慈善机构”的恶劣先例,对公益捐赠破坏性极大。这一裁决对正筹备IPO的OpenAI构成利好。
世纪性的AI审判最终以微弱的方式落幕,未能公开关键技术细节和决策过程。审判结果未提供具体数据或指标,仅以概括性结论结束,留下多个未解之谜,包括影响范围和责任划分等。这导致一些核心信息永远无法知晓,引发了公众对AI透明度和伦理问题的持续关注。
埃隆·马斯克起诉 OpenAI 及其 CEO 山姆·奥特曼的诉讼以败诉告终。奥克兰市的陪审团在听取案件陈述后仅进行了约两小时的审议即做出了驳回决定。马斯克此前提出的索赔金额高达1340亿美元。主审法官表示,她原本准备好“立即”驳回该案。马斯克的律师当庭表示保留上诉的权利。
埃隆·马斯克对山姆·阿尔特曼及OpenAI提起的诉讼以败诉告终。这场广受关注的案件主要涉及人工智能公司OpenAI的创立初衷、公司治理结构以及未来发展方向等核心争议。法院的裁决标志着这一涉及商业、技术伦理与公司控制权的重大法律纠纷阶段性落幕。
陪审团在裁决中一致认定,埃隆·马斯克对OpenAI提起的诉讼已超出合理时限。法官随后立即确认了该裁决。马斯克的法律团队计划就此提起上诉。这一决定可能涉及复杂的商业纠纷与知识产权争议的时间界限问题。
OpenAI与Dell达成合作,将Codex编程代理引入企业混合云及本地部署环境。该合作旨在帮助企业在自身数据和业务流程中安全集成AI编码能力,强化对敏感数据的管控。此举标志着企业级AI工具部署方式的重要扩展,为受监管行业提供了符合数据主权要求的解决方案。
斯坦福学生Theo Baker在《纽约时报》的客座文章中,描述了ChatGPT如何影响其整个毕业班。他的结论是,AI将这所精英大学本已存在的学术不诚实文化,转变为了默认行为模式。文章反映了在顶尖学府中,使用AI工具完成作业与论文的现象,正在模糊诚信与欺诈之间的界限,形成了一种普遍存在的“轻微违规”心态。
埃里克·施密特,前谷歌CEO,在毕业典礼上进行关于人工智能的演讲时遭遇观众嘘声。该事件经媒体报道后,在社交新闻网站Hacker News上获得141点热度,引发关注。演讲聚焦AI主题,但现场反应不佳,凸显出公众对人工智能发展的争议或不满情绪。
OpenAI近日为“星际之门”数据中心项目招聘“社区事务负责人”,年薪12.96万至23.6万美元并含股权激励。该岗位核心目标是与项目所在地社区沟通,“减少社区阻力”。此举源于当前美国多地居民担忧数据中心会消耗水资源、推高电费及产生噪音,进而引发抵制。“星际之门”是OpenAI联合甲骨文、软银等投入5000亿美元的大型AI基础设施项目,目前已选址五个州。OpenAI表示,该岗位工作关乎其核心使命,需确保社区理解项目意义并获得实际收益。
根据The Information的分析,人工智能初创公司的年收入总额已突破800亿美元。然而,市场增长高度集中,仅Anthropic与OpenAI两家公司就吸纳了其中89%的收入,占据绝对主导地位。
奥地利开发者彼得・施泰因贝格尔披露,其领导的OpenClaw项目在30天内消耗OpenAI API费用高达130万美元,涉及760万次请求和6030亿词元。这笔费用由约100个Codex实例产生,用于自动化代码审核、漏洞修复等任务。施泰因贝格尔解释,这是“极速模式”下的结果,关闭后成本可降至约30万美元。该实验旨在无预算约束下探索AI辅助软件开发的极限,所有成果保持开源。
OpenAI 正将 ChatGPT、代码智能体 Codex 和开发者 API 合并为一个由 Codex 负责人 Thibault Sottiaux 领导的产品团队。联合创始人 Greg Brockman 正式接管产品战略,目标是打造一个集成 Atlas 浏览器的“超级应用”,以推动其“智能体化未来”的愿景。此次整合旨在统一核心产品线,强化各服务间的协同,为开发者和用户提供更一体化的智能体体验。
OpenAI与马耳他政府达成合作,向马耳他全体公民推出ChatGPT Plus服务。ChatGPT Plus是OpenAI的高级订阅版本,提供更快的响应速度、优先访问新功能以及更稳定的性能。此次合作使得所有马耳他公民能够获得该服务的访问权限,标志着人工智能工具首次在一个国家范围内全面普及。这一举措旨在扩大AI技术的公众应用,促进数字创新。
OpenAI正通过金融科技公司Plaid将ChatGPT与用户银行账户连接。这一集成将允许ChatGPT直接访问个人财务数据,旨在提供个性化的理财分析与建议。目前该功能的具体技术细节、数据安全措施及正式上线时间尚未公布,但其标志着AI助手向更深入的金融服务领域迈出关键一步,引发了关于数据隐私与安全的广泛讨论。
近期访谈揭示了大规模语言模型预训练中的并行化策略与失败案例。关键变化包括从数据并行转向更复杂的模型并行、流水线并行及混合策略,以应对万亿参数模型的内存与计算挑战。具体指标显示,某些失败训练运行因硬件故障或超参数设置不当,导致数百GPU小时损失。成功案例则通过优化通信开销与负载均衡,将训练效率提升约15-30%。这些经验为GPT、Claude、LLaMA等模型的稳定训练提供了重要技术参考。
OpenClaw 创始人在30天内花费130万美元购买OpenAI代币,这一高额支出凸显了其项目对AI算力资源的巨大需求。该笔交易反映出开发前沿AI应用可能伴随的显著运营成本,也引发了业界对AI基础设施使用经济性的关注。相关信息在Hacker News上获得100点讨论热度。
OpenAI与马耳他政府达成全球首创合作,向该国约57万公民免费提供一年ChatGPT Plus使用权。合作基于马耳他“AI4ALL”倡议,公民需先完成马耳他大学开发的AI网络课程,即可获得资格。计划第一阶段于5月启动,由马耳他数字创新管理局负责资格发放,旅居海外的公民也可参与。马耳他成为首个推行此类全民AI接入计划的国家,协议具体财务细节未公开。
卡内基梅隆大学的研究人员构建了一项新基准,用于衡量AI代理在利用谷歌V8引擎真实漏洞方面的能力。测试显示,Claude Mythos 的表现大幅领先 GPT-5.5,但其使用成本高达后者的十二倍。该基准表明,当前先进的AI模型已能自主开发有效的浏览器漏洞利用程序,这凸显了AI在网络安全领域兼具攻防双重潜力与风险。
WorldReasonBench新基准测试评估AI视频生成器的物理和逻辑合理性,而非图像质量。ByteDance的Seedance 2.0在该测试中领先,超过Veo 3.1和Sora 2。商业模型的得分大约是开源模型的两倍,逻辑推理是所有模型中最困难的类别,表现差距显著。这表明AI视频生成器虽能产生惊艳视觉效果,但尚未实现从像素生成器到真实世界模型的飞跃。