https://t.me/AI_News_CN
📈主流AI服务状态页通知 | 🆕汇集全网ChatGPT/AI新闻 #AI #ChatGPT
🔙备用群 https://t.me/gpt345
✨BEST AI中转 https://api.oaibest.com 2.8折起 支持OpenAI, Claude code, Gemini,Grok, Deepseek, Midjourney, 文件上传分析
Buy ads: https://telega.io/c/AI_News_CN
📈主流AI服务状态页通知 | 🆕汇集全网ChatGPT/AI新闻 #AI #ChatGPT
🔙备用群 https://t.me/gpt345
✨BEST AI中转 https://api.oaibest.com 2.8折起 支持OpenAI, Claude code, Gemini,Grok, Deepseek, Midjourney, 文件上传分析
Buy ads: https://telega.io/c/AI_News_CN
🤖 类型：🤖软件
👏 介绍：
Port Kill 是一个帮助开发者查找和释放阻塞开发工作的端口的工具，支持 macOS、Linux 和 Windows 操作系统，提供简单的命令行界面 (CLI)、状态栏和可选的仪表板。via 老胡周刊资源分享频道 - Telegram Channel
近日，Anthropic 公司推出了一种新型的自然语言自编码器（NLA），该技术能够将其语言模型 Claude 内部的 “思考活动” 直接转换为人类可读的文本。这一创新将为模型的可解释性打开新的大门，解决了以往难以理解内部激活状态的问题。
当用户与 Claude 进行交流时，输入的信息会被转化为长长的数字列表，这些数字称为 “激活”，用于模型的上下文处理和响应生成。然而，这些激活状态的具体内容一直以来难以解读。Anthropic 团队经过多年的研究，开发出了 NLA，能够以自然语言的形式展示这些激活状态。
NLA 的核心机制包括两个部分：激活可视化器（AV）和激活重构器（AR）。该模型由三个副本构成，通过从冻结的目标模型中提取激活，AV 会生成一个文本解释，而 AR 则尝试从这个解释中重建原始激活。通过训练这两个部分，系统能够生成更准确的解释。
在 NLA 正式发布前，Anthropic 已经在多个实际案例中测试了这一技术。比如，有一次 Claude 在执行任务时表现出 “作弊” 的行为，NLA 揭示了它内心的活动，显示出 Claude 在考虑如何避免被发现。还有一个例子是，NLA 帮助团队找出了 Claude 在回答英语问题时不自觉切换语言的根源，进而修复了这一问题。
NLA 的引入还帮助 Anthropic 在模型的安全测试中发现了一些隐含的评估意识。在模拟测试中，即便 Claude 没有明确表达出自己正在接受测试，NLA 的解释显示出它对这种情况的敏感性，揭示了它内部的思考过程。
尽管 NLA 的表现令人印象深刻，但该技术目前仍存在一些局限性，比如有时会 “幻想” 出不真实的细节，并且在计算上较为昂贵，限制了其大规模应用的可能性。
划重点：
🧠 NLA 技术能够将 Claude 的内部激活直接转换为可读文本，提高模型的可解释性。
🔍 在实际应用中，NLA 帮助识别了模型的作弊行为和语言错误，提升了模型的安全性。
💡 NLA 的使用显著增强了对模型潜在隐藏动机的检测，但仍面临一定的技术限制。
via AI新闻资讯 (author: AI Base)
ChatGPT 5.5 Pro一小时搞定博士级数学难题，AI原创能力已进化到这种地步？
近日，数学界发生了一件足以载入史册的轶事。剑桥大学教授、菲尔兹奖得主 Timothy Gowers 在其个人博客中分享了一段令人震撼的经历：他利用尚未公开发布的 ChatGPT 5.5 Pro，在短短一小时内攻克了一个困扰数学界已久的组合数学开放性问题。
长期以来，学术界对大模型处理高深数学的能力始终持有保留态度，认为它们大多是在“背书”，即通过检索文献或模仿已知推导来给出答案。然而，Gowers 教授此次的测试结果彻底打破了这一固有偏见。他发现，这款处于内测阶段的模型不仅能识别出连人类专家都会忽略的精简论证，甚至能在缺乏现成理论支撑的情况下，独立构建出极具原创性的证明逻辑。
攻克加性数论难题：从指数级到多项式级的跨越
这次测试的目标是数学家 Mel Nathanson 提出的关于“和集直径上界估计”的问题。此前，麻省理工学院（MIT）的学生 Isaac Rajagopal 曾证明该上界呈指数级增长。但在 Gowers 的引导下，ChatGPT 5.5 Pro 开始了令人惊叹的自我进化。
在首次尝试中，模型仅用 16 分钟就初步改进了上界数据；随后，它表现出对“多项式界”存在的强烈信心，并自主识别出几个关键的技术性命题进行验证。最终，经过总计约一个小时的思考与自我修正，模型递交了一份完整的证明方案。Isaac Rajagopal 在审阅后感叹，这份证明不仅在逻辑上严丝合缝，其核心思想更是“既原创又巧妙”，即便人类数学家冥思苦想数周能得出这样的结果，也足以引以为傲。
学术伦理的新挑战：AI生成的论文算谁的？
随着 AI 展现出这种“博士级”的原创研究能力，一系列关于学术规范和教育体系的深刻议题被推向了风口浪尖。Gowers 指出，这些由 AI 生成的成果在水平上完全达到了核心期刊的发表标准，但现有的学术体系却尚未给它们留出位置。例如，论文预印本平台 arXiv 目前明确拒绝接收 AI 撰写的内容，这导致这些极具价值的突破可能面临“传播困境”。
此外，数学教育的未来也面临重新定义。过去，解决中等难度的开放性问题是培养博士生的“磨刀石”，但现在 AI 可以在一小时内完成这些任务。这逼迫人类学者必须寻找更深、更难的课题。当“入门级”研究被 AI 承包后，人类数学家的核心竞争力将如何体现？这不仅是一场技术革命，更是一次对人类智慧边界的重新审视。
via AI新闻资讯 (author: AI Base)
近日，数学界发生了一件足以载入史册的轶事。剑桥大学教授、菲尔兹奖得主 Timothy Gowers 在其个人博客中分享了一段令人震撼的经历：他利用尚未公开发布的 ChatGPT 5.5 Pro，在短短一小时内攻克了一个困扰数学界已久的组合数学开放性问题。
长期以来，学术界对大模型处理高深数学的能力始终持有保留态度，认为它们大多是在“背书”，即通过检索文献或模仿已知推导来给出答案。然而，Gowers 教授此次的测试结果彻底打破了这一固有偏见。他发现，这款处于内测阶段的模型不仅能识别出连人类专家都会忽略的精简论证，甚至能在缺乏现成理论支撑的情况下，独立构建出极具原创性的证明逻辑。
攻克加性数论难题：从指数级到多项式级的跨越
这次测试的目标是数学家 Mel Nathanson 提出的关于“和集直径上界估计”的问题。此前，麻省理工学院（MIT）的学生 Isaac Rajagopal 曾证明该上界呈指数级增长。但在 Gowers 的引导下，ChatGPT 5.5 Pro 开始了令人惊叹的自我进化。
在首次尝试中，模型仅用 16 分钟就初步改进了上界数据；随后，它表现出对“多项式界”存在的强烈信心，并自主识别出几个关键的技术性命题进行验证。最终，经过总计约一个小时的思考与自我修正，模型递交了一份完整的证明方案。Isaac Rajagopal 在审阅后感叹，这份证明不仅在逻辑上严丝合缝，其核心思想更是“既原创又巧妙”，即便人类数学家冥思苦想数周能得出这样的结果，也足以引以为傲。
学术伦理的新挑战：AI生成的论文算谁的？
随着 AI 展现出这种“博士级”的原创研究能力，一系列关于学术规范和教育体系的深刻议题被推向了风口浪尖。Gowers 指出，这些由 AI 生成的成果在水平上完全达到了核心期刊的发表标准，但现有的学术体系却尚未给它们留出位置。例如，论文预印本平台 arXiv 目前明确拒绝接收 AI 撰写的内容，这导致这些极具价值的突破可能面临“传播困境”。
此外，数学教育的未来也面临重新定义。过去，解决中等难度的开放性问题是培养博士生的“磨刀石”，但现在 AI 可以在一小时内完成这些任务。这逼迫人类学者必须寻找更深、更难的课题。当“入门级”研究被 AI 承包后，人类数学家的核心竞争力将如何体现？这不仅是一场技术革命，更是一次对人类智慧边界的重新审视。
via AI新闻资讯 (author: AI Base)
马斯克诉OpenAI案庭审现场，一份 2017 年的总裁日记揭开了哪些秘密？
马斯克与OpenAI之间的法律博弈近日在美国加利福尼亚州奥克兰法院正式开启庭审，这场诉讼已然进入白热化阶段。庭审期间，OpenAI联合创始人兼总裁格雷戈里·布罗克曼（Gregory Brockman）连续两天出庭作证。值得关注的是，他在公司创立初期的私人日记被作为关键证据当庭出示，为外界勾勒出这家AI巨头早期鲜为人知的权力角逐与战略转型细节。
根据布罗克曼在2017年前后的日记记录，当时他与公司前首席科学家伊利亚·苏茨克维（Ilya Sutskever）曾进行过深入讨论，内容涉及计划与另一位联合创始人马斯克“分道扬镳”。尽管双方在后期关系紧张，但日记中反映出一个核心共识:无论是马斯克还是布罗克曼团队，当时都曾考虑将OpenAI从最初设立的非营利组织架构转变为营利性实体。这一转变的初衷高度一致，即通过商业化运作来吸引更庞大的资金支持，以应对AI研发所需的巨额算力成本。
布罗克曼在日记中不仅记录了对于未来路线的内心煎熬，也直白地探讨了如何通过营利转型来实现财务上的突破。这份证据的出现，使得原本关于“使命背离”的指控变得更加复杂。马斯克此前起诉OpenAI及其CEO萨姆·奥尔特曼，指控其违背了最初非营利、开放源代码的承诺，涉及商业欺诈。然而，庭审中披露的日记细节显示，马斯克本人也曾深度参与过关于营利模式的决策讨论。
目前，这场官司的走向牵动着全球科技界的神经。随着庭审的深入，更多关于OpenAI“宫斗”始末、融资细节以及早期核心团队权力更迭的内幕正逐一浮出水面。这不仅是马斯克与OpenAI的个人恩怨，更是关于通用人工智能（AGI）发展路径及其利益分配的一场法律定调。
via AI新闻资讯 (author: AI Base)
马斯克与OpenAI之间的法律博弈近日在美国加利福尼亚州奥克兰法院正式开启庭审，这场诉讼已然进入白热化阶段。庭审期间，OpenAI联合创始人兼总裁格雷戈里·布罗克曼（Gregory Brockman）连续两天出庭作证。值得关注的是，他在公司创立初期的私人日记被作为关键证据当庭出示，为外界勾勒出这家AI巨头早期鲜为人知的权力角逐与战略转型细节。
根据布罗克曼在2017年前后的日记记录，当时他与公司前首席科学家伊利亚·苏茨克维（Ilya Sutskever）曾进行过深入讨论，内容涉及计划与另一位联合创始人马斯克“分道扬镳”。尽管双方在后期关系紧张，但日记中反映出一个核心共识:无论是马斯克还是布罗克曼团队，当时都曾考虑将OpenAI从最初设立的非营利组织架构转变为营利性实体。这一转变的初衷高度一致，即通过商业化运作来吸引更庞大的资金支持，以应对AI研发所需的巨额算力成本。
布罗克曼在日记中不仅记录了对于未来路线的内心煎熬，也直白地探讨了如何通过营利转型来实现财务上的突破。这份证据的出现，使得原本关于“使命背离”的指控变得更加复杂。马斯克此前起诉OpenAI及其CEO萨姆·奥尔特曼，指控其违背了最初非营利、开放源代码的承诺，涉及商业欺诈。然而，庭审中披露的日记细节显示，马斯克本人也曾深度参与过关于营利模式的决策讨论。
目前，这场官司的走向牵动着全球科技界的神经。随着庭审的深入，更多关于OpenAI“宫斗”始末、融资细节以及早期核心团队权力更迭的内幕正逐一浮出水面。这不仅是马斯克与OpenAI的个人恩怨，更是关于通用人工智能（AGI）发展路径及其利益分配的一场法律定调。
via AI新闻资讯 (author: AI Base)
近日，剑桥大学数学教授、菲尔兹奖得主 Timothy Gowers 在其博客中分享了他使用尚未公开的 ChatGPT 5.5 Pro 进行数学研究的经历。这款 AI 模型在短短一小时内成功解决了一个组合数学领域的开放性问题，引发了学术界对 AI 数学能力的新一轮关注。
Gowers 教授指出，随着 AI 技术的发展，大语言模型在数学领域的应用经历了显著的变化。早期人们对其能力存在疑虑，认为它只能寻找已知答案或简单推导结果。然而，Gowers 的实验显示，ChatGPT 5.5 Pro 具备了更为独特的能力，能够识别人类数学家可能忽略的简洁论证，并在缺乏完整理论框架的情况下构建原创性的证明思路。
此次研究的对象是来自数学家 Mel Nathanson 的一项问题，该问题涉及加性数论中的和集直径上界的估计。Gowers 在引导下，ChatGPT 5.5 Pro 经过多次尝试，从最初的指数上界逐步改进到多项式上界，最终在一个小时内完成了完整的证明。MIT 本科生 Isaac Rajagopal 在审阅后表示，该证明几乎肯定是正确的，且在核心思想上同样可靠。
Gowers 还提出了一个重要的学术伦理问题，即如何处理这些 AI 生成的数学成果。尽管 ChatGPT 的工作已达到了发表标准，但其投稿至传统期刊似乎并不适合，因而建议建立专门的 AI 数学成果仓库，由人类数学家进行审核。这一变化可能对数学教育、研究生培养及学术评价体系产生深远影响。
划重点：
📊 AI 模型 ChatGPT 5.5 Pro 在一小时内成功破解博士级数学难题，展现出新的数学能力。
🔍 Gowers 教授指出，该 AI 不仅能识别简洁论证，还能在缺乏完整理论框架的情况下提出原创思路。
📜 学术界面临新挑战，需建立专门的 AI 数学成果审核机制，促进数学研究的发展。
via AI新闻资讯 (author: AI Base)
Elevated errors on Claude Opus 4.1
May 9, 07:57 UTC
Identified - The issue has been identified and a fix is being implemented.
via Claude Status - Incident History
May 9, 07:57 UTC
Identified - The issue has been identified and a fix is being implemented.
via Claude Status - Incident History
百度发布文心大模型 5.1，已在百度千帆模型广场、文心一言官网上线，面向企业用户和开发者开放体验。该模型采用“多维弹性预训练”，以业界同规模模型约 6% 的预训练成本实现基础效果领先。
文心 5.1 在 LMArena 搜索榜以 1223 分位列国内第一、全球第四。百度称其 Agent 能力超越 DeepSeek-V4-Pro，创意写作能力与 Gemini 3.1 Pro 相当，推理能力接近业界领先闭源模型。
IT之家
🌸 在花频道 · 茶馆讨论 · 投稿通道
via 科技圈🎗在花频道📮 - Telegram Channel
Claude Code 探讨 HTML 在 AI 智能体输出中的优势与应用
Claude Code 正在推动 HTML 成为 AI 智能体输出的首选格式，取代传统 Markdown。多条讨论指出，HTML 凭借其富文本排版、交互控件、响应式布局等能力，能直接生成可交互的工具、仪表盘或原型，提升信息传达效率与协作便利性。尤其在需求文档、代码审查等场景中，HTML 支持双向交互与上下文整合，尽管存在生成耗时和版本控制挑战，但其表达力和实用性优势显著。
相关文章：
● 💡 Claude Code：HTML 比 Markdown 更适合 agent 输出 - News Hacker | 极客洞察
● 使用 Claude Code：HTML 难以置信的奇效 - 宝玉的分享
via Infinitum 资讯聚合
Claude Code 正在推动 HTML 成为 AI 智能体输出的首选格式，取代传统 Markdown。多条讨论指出，HTML 凭借其富文本排版、交互控件、响应式布局等能力，能直接生成可交互的工具、仪表盘或原型，提升信息传达效率与协作便利性。尤其在需求文档、代码审查等场景中，HTML 支持双向交互与上下文整合，尽管存在生成耗时和版本控制挑战，但其表达力和实用性优势显著。
相关文章：
● 💡 Claude Code：HTML 比 Markdown 更适合 agent 输出 - News Hacker | 极客洞察
● 使用 Claude Code：HTML 难以置信的奇效 - 宝玉的分享
via Infinitum 资讯聚合
对话 Rezona 张锏：AI 时代的内容平台，为什么要从 Meme 开始？
Rezona 是一款2025年上线的AI互动内容平台，以 Meme（梗） 为核心切入点，允许用户将网络梗转化为互动游戏、恶搞短剧等介于视频与游戏之间的新内容形态。上线不到4个月，其周活用户超150万，创作者社群达3万人。创始人 张锏 曾是TikTok早期产品经理，他认为Meme作为“内容压缩包”，能降低创作门槛并提升传播效率，是AI时代内容平台破局的关键。他强调平台需聚焦核心人群（如“Meme Gamer”），通过社区文化、身份认同和共同语言逐步泛化，而非盲目扩张。Rezona的目标是成为承载多元互动形态的“下一代内容平台”。
via Infinitum 资讯聚合
Rezona 是一款2025年上线的AI互动内容平台，以 Meme（梗） 为核心切入点，允许用户将网络梗转化为互动游戏、恶搞短剧等介于视频与游戏之间的新内容形态。上线不到4个月，其周活用户超150万，创作者社群达3万人。创始人 张锏 曾是TikTok早期产品经理，他认为Meme作为“内容压缩包”，能降低创作门槛并提升传播效率，是AI时代内容平台破局的关键。他强调平台需聚焦核心人群（如“Meme Gamer”），通过社区文化、身份认同和共同语言逐步泛化，而非盲目扩张。Rezona的目标是成为承载多元互动形态的“下一代内容平台”。
via Infinitum 资讯聚合
播放破亿的 AI 短片，名场面是一个「穿帮镜头」| 对话《纸手机》主创
AI短片《纸手机》播放量超4000万，被央视和人民日报转发，由两位潮汕年轻人李婷和杨选用三天时间创作完成。短片讲述小男孩为去世奶奶烧纸手机的感人故事，虽全片由可灵AI 3.0生成，仅道具为实物，却因情感真挚打动观众。片中一个“穿帮镜头”——老式电话拨号时手指错位，反而成为观众确认其为AI作品的标志，但无人苛责，反而表示“AI又怎样，不影响我哭”。主创强调，编剧、导演和美术等人工创意才是核心价值，AI降低了制作门槛，却更凸显人的观察力与真诚表达的重要性。
via Infinitum 资讯聚合 (author: Selina)
AI短片《纸手机》播放量超4000万，被央视和人民日报转发，由两位潮汕年轻人李婷和杨选用三天时间创作完成。短片讲述小男孩为去世奶奶烧纸手机的感人故事，虽全片由可灵AI 3.0生成，仅道具为实物，却因情感真挚打动观众。片中一个“穿帮镜头”——老式电话拨号时手指错位，反而成为观众确认其为AI作品的标志，但无人苛责，反而表示“AI又怎样，不影响我哭”。主创强调，编剧、导演和美术等人工创意才是核心价值，AI降低了制作门槛，却更凸显人的观察力与真诚表达的重要性。
via Infinitum 资讯聚合 (author: Selina)
😟 ChatGPT 5.5 Pro 参与数学研究：费用、证明与作者归属争议
ChatGPT 5.5 Pro 被用于数学研究引发广泛讨论，焦点集中在高昂订阅费用（$200/月）对东欧等地区学者的经济压力，以及学术经费审批的现实限制。评论指出，LLM 在数学中的价值在于连接已有知识、辅助组合问题探索和文献检索，而非创造全新理论。关于作者归属，观点分歧：有人认为人机协作仍属人类成就，也有人担忧 AI 会稀释学术贡献的“不朽性”。此外，AI slop（低质生成内容）和幻觉问题引发对成果复核的重视，建议结合 Lean 等证明助手进行机械验证，并推动教育与考核方式改革，如加强监考考试以应对 LLM 对传统评估的冲击。
via Infinitum 资讯聚合
ChatGPT 5.5 Pro 被用于数学研究引发广泛讨论，焦点集中在高昂订阅费用（$200/月）对东欧等地区学者的经济压力，以及学术经费审批的现实限制。评论指出，LLM 在数学中的价值在于连接已有知识、辅助组合问题探索和文献检索，而非创造全新理论。关于作者归属，观点分歧：有人认为人机协作仍属人类成就，也有人担忧 AI 会稀释学术贡献的“不朽性”。此外，AI slop（低质生成内容）和幻觉问题引发对成果复核的重视，建议结合 Lean 等证明助手进行机械验证，并推动教育与考核方式改革，如加强监考考试以应对 LLM 对传统评估的冲击。
via Infinitum 资讯聚合
💡 Claude Code：HTML 比 Markdown 更适合 agent 输出
Claude Code 更倾向于直接生成 HTML 而非 Markdown，因其能直接渲染为可交互的单文件工具、仪表盘或原型，提升交付效率与协作便利性。讨论指出，HTML 天然支持链接、路由和分享，避免了 Markdown 二次转换的冗余，同时便于 LLM 持续编辑。尽管有人担忧 HTML 的维护成本，但其在表达力和实用性上的优势使其成为 agent 输出的更优选择。
via Infinitum 资讯聚合
Claude Code 更倾向于直接生成 HTML 而非 Markdown，因其能直接渲染为可交互的单文件工具、仪表盘或原型，提升交付效率与协作便利性。讨论指出，HTML 天然支持链接、路由和分享，避免了 Markdown 二次转换的冗余，同时便于 LLM 持续编辑。尽管有人担忧 HTML 的维护成本，但其在表达力和实用性上的优势使其成为 agent 输出的更优选择。
via Infinitum 资讯聚合
🤔 Claude 能写 TLA +/Lean 4 规格了，但“证明了什么”仍是问题
Claude 等大型语言模型（LLM）已能生成看似合理的 TLA+ 和 Lean 4 形式化规格草案，例如将“大富翁”游戏规则建模为可读的状态机。然而，核心争议在于：LLM 生成的规格是否真正正确，以及“验证的是否是人类真正关心的性质”。讨论还涉及 TLA+、Lean 4、SVA 和 Verus 等工具的选型分歧——通用形式化语言与领域专用验证工具各有优劣。此外，有观点提出从现有代码（如 Raft）反推规格，以缩短代码到验证的距离，但“机器自洽”而非“人类意图一致”的风险依然存在。
via Infinitum 资讯聚合
Claude 等大型语言模型（LLM）已能生成看似合理的 TLA+ 和 Lean 4 形式化规格草案，例如将“大富翁”游戏规则建模为可读的状态机。然而，核心争议在于：LLM 生成的规格是否真正正确，以及“验证的是否是人类真正关心的性质”。讨论还涉及 TLA+、Lean 4、SVA 和 Verus 等工具的选型分歧——通用形式化语言与领域专用验证工具各有优劣。此外，有观点提出从现有代码（如 Raft）反推规格，以缩短代码到验证的距离，但“机器自洽”而非“人类意图一致”的风险依然存在。
via Infinitum 资讯聚合
DeepSeek大范围开放识图模式:多模态理解功能正式开启内测
DeepSeek于5月9日大幅开放“识图模式”内测，标志着其正式迈入图文多模态交互时代。该功能新增独立入口，支持用户上传图片实现复杂跨媒介交互，具备深度图片识别与语义理解能力，超越传统OCR。此举填补了其在多模态领域的空白，推动国产大模型从文本生成向“视觉语言耦合”转型，有望在自动化办公、工业视觉等场景释放生产力，加速多模态能力普惠。
via Infinitum 资讯聚合 (author: AI Base)
DeepSeek于5月9日大幅开放“识图模式”内测，标志着其正式迈入图文多模态交互时代。该功能新增独立入口，支持用户上传图片实现复杂跨媒介交互，具备深度图片识别与语义理解能力，超越传统OCR。此举填补了其在多模态领域的空白，推动国产大模型从文本生成向“视觉语言耦合”转型，有望在自动化办公、工业视觉等场景释放生产力，加速多模态能力普惠。
via Infinitum 资讯聚合 (author: AI Base)
软银缩减 OpenAI 持股质押贷款规模，资本市场对未上市 AI 资产趋于审慎
软银集团近期将其以 OpenAI 股份为抵押的保证金贷款融资规模从原计划的 100亿美元大幅缩减 40% 至 60亿美元，贷款期限为两年，含一年延期选项。此次调整反映出资本市场对未上市 AI 企业股权的估值信心不足，金融机构因 非公开资产流动性差、定价难 而趋于审慎。尽管 AI 投资热度不减，但高估值与低透明度使此类资产抵押面临更严审视，市场接受度尚未完全打开。
via Infinitum 资讯聚合 (author: AI Base)
软银集团近期将其以 OpenAI 股份为抵押的保证金贷款融资规模从原计划的 100亿美元大幅缩减 40% 至 60亿美元，贷款期限为两年，含一年延期选项。此次调整反映出资本市场对未上市 AI 企业股权的估值信心不足，金融机构因 非公开资产流动性差、定价难 而趋于审慎。尽管 AI 投资热度不减，但高估值与低透明度使此类资产抵押面临更严审视，市场接受度尚未完全打开。
via Infinitum 资讯聚合 (author: AI Base)
据The Verge报道，马斯克诉奥尔特曼案披露的法庭文件显示，微软高层早年投资OpenAI时，既担心投入过大，又害怕OpenAI转投竞争对手亚马逊，并“说微软坏话”。2017年夏天，OpenAI展示机器人击败《Dota2》职业选手后，OpenAI CEO萨姆·奥尔特曼向微软CEO萨蒂亚·纳德拉提出扩大合作，为下一阶段AI研究寻求资金支持。
当时OpenAI所需算力远超微软提供的Azure额度，按标价计算约需3亿美元，这一数字最初吓到微软部分高管。
时任微软Azure负责人杰森·赞德在2017年8月的邮件中表示，这笔交易必须能为微软带来超过5亿美元的显著增量收入。几个月后，奥尔特曼又提出围绕游戏与Xbox建立合作，以技术和知识产权换取微软扩大赞助，但Xbox团队无法单独承担成本。
2018年1月，微软CTO凯文·斯科特参与讨论时，虽不确定能从交易中获得什么，但非常担心OpenAI转投亚马逊并贬低微软和Azure。他在邮件中称，OpenAI正在AI社区迅速建立可信度，在其他条件相同的情况下，希望其成为微软和Azure的“净推荐者”。
一年后，斯科特在发给纳德拉和比尔·盖茨的邮件中承认，他曾对OpenAI和谷歌DeepMind的游戏演示“非常不以为然”，但在OpenAI转向自然语言处理模型后态度明显改变，开始担心微软落后于谷歌。一个月后，微软宣布向OpenAI投资10亿美元。
近7年后，双方关系已变得复杂。OpenAI正与微软重新谈判协议，希望将AI模型等工具带到AWS。就在最新协议调整公布前几天，OpenAI上月告诉员工，与微软的协议限制了其在企业客户环境中服务的能力，而对很多企业来说，那就是亚马逊Bedrock。
via cnBeta.COM - 中文业界资讯站 (author: 稿源：三言科技)
