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
百度发布文心大模型 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)
