OpenAI 模型或完成杨-米尔斯问题一半证明
相关推荐
Arthur Hayes：OpenAI、Anthropic没有价值，AI泡沫越大比特币涨幅越高
Odaily星球日报讯 BitMEX 联合创始人 Arthur Hayes 于 10 月 16 日在 Convergence 节目中表示，OpenAI、Anthropic 和 SpaceX 均未盈利，AI 模型公司依赖债务融资、股权融资及美国政府隐性支持。 纳斯达克 100 指数下跌 2.5%，芯片股连续第八日下跌，创 2008 年以来最长连跌纪录。10 月 17 日，比特币价格接近 81400 美元，美国银行分析师称，1 万亿美元 AI 投资热潮或遵循典型繁荣与破裂周期。 Hayes 认为，AI 泡沫越大，后续救助规模越大，比特币价格也越高，并称比特币能够反映资金浪费。他还批评代币发行方式，表示在 TGE 买入、随后下跌 95%的散户是受损方。（Bitcoin.com News）
OpenAI安全系统团队高管David Robinson已于上周离职
PANews 10月3日消息，OpenAI安全系统团队高管David Robinson已于上周离职。Robinson此前曾负责OpenAI的政策规划，并在提升模型透明度（如开发系统卡）方面发挥了重要作用。此次离职是OpenAI安全部门近期经历的又一次人事变动，此前安全主管Johannes Heidecke也已于今年早些时候离职。 近期OpenAI内部动荡不断，公司周四宣布因三名研究人员违反敏感信息共享政策而与其“分道扬镳”。
OpenAI收购旅游初创公司Odessia，探索AI旅行智能体业务
PANews 11月11日消息，据IT之家报道，Odessia创始人Francis Davidson宣布，OpenAI已收购AI旅行智能体公司Odessia，其本人也已加入OpenAI，帮助探索旅游业务发展方向。OpenAI发言人证实了这一消息，但尚未公布任何旅游领域的新产品或计划。目前OpenAI在同领域的合作伙伴有Booking.com、Expedia和KAYAK，其发言人表示旅游是用户经常向ChatGPT咨询的话题之一。 Odessia成立仅一年，获得红杉资本领投的600万美元种子前融资，并在约5个月前推出AI旅游智能体服务。
Arthur Hayes：AI 股份稀释或冲击流动性，暂时观望
火星财经消息，据 Maelstrom 首席投资官 Arthur Hayes 发文称，SpaceX、Anthropic 和 OpenAI 的股份供给及未来解锁可能压低股价，削弱投资者对 AI 行业的信心，并推高相关债务融资成本。Hayes 认为，若 AI 信贷市场降温，银行资产负债表增长可能放缓或收缩，进而减少支持加密市场的美元流动性。他表示，除非法币流动性状况出现重大变化，Maelstrom 将暂时观望，等待 AI 上市潮的影响及未来可能的政策救助。
OpenAI宣布证伪计算机领域沿用二十多年的重要理论「指数时间假设ETH」
火星财经消息，10 月 27 日，OpenAI 日前宣布，其 AI 模型「破解」了 ETH——这一消息迅速在科技圈和加密圈引发热议。但需要特别说明的是，这里的 ETH 并非加密货币领域广为人知的以太坊（Ethereum），而是计算机科学中一个存在了二十多年的重要猜想：指数时间假设（Exponential Time Hypothesis，简称 ETH）。 指数时间假设的核心问题是：那些看起来「特别难算」的问题，到底有多难？ 以部分人听说过的「SAT 问题」（布尔可满足性问题）为例，它是在问：给你一堆逻辑条件，能不能找到一种赋值让所有条件同时成立？当问题规模变大时，目前已知最好的办法基本上只能挨个尝试可能的答案，时间开销会随着规模呈指数级增长——也就是常说的「指数时间」。ETH 进一步断言，这类问题本质上就无法被大幅加速，不存在真正意义上的「亚指数时间」高效算法。 这个假设自 1999 年被提出以来，一直是理论计算机科学的重要基石。成百上千篇论文都基于它来证明「某某问题很难」「某某算法已经接近最优」。如果 ETH 被推翻，就意味着很多我们以为「几乎不可能更快」的问题，理论上或许存在更好的解法。 OpenAI 此次声称，其模型找到了一个确定性算法，能在亚指数时间内精确统计 k-SAT 问题的解的数量，并用 Lean 进行了形式化验证。如果这一结果最终经得起专家审查，它将直接动摇指数时间假设。
OpenAI 宣布 AI 取得三项科学突破
ChainCatcher 消息，据金十数据，OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项突破，展现出 AI 独立发现并证明复杂科学理论的能力，而不只是回答问题或辅助研究。数学方面，AI 证明了适用于所有维度的局部平滑猜想，并由此解决 Kakeya 猜想和 Stein 限制猜想。计算机科学方面，AI 推翻了长期被广泛接受的指数时间假设，意味着未来可能找到速度更快的算法。物理学方面，AI 提出量子色动力学及杨–米尔斯理论的严格数学存在性证明，涉及世界七大千禧年数学难题之一。OpenAI 表示，数学和计算机科学成果已通过 Lean 数学验证工具进行形式化验证，并公开证明材料；物理学成果正由诺贝尔物理学奖得主等专家参与审查。相关成果仍需学术界进一步独立确认。