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
Canvas学习管理系统遭ShinyHunters勒索攻击，波及全球数千院校
Canvas LMS（Instructure旗下）遭勒索组织ShinyHunters入侵，攻击者利用系统漏洞篡改约330所教育机构登录页面，威胁在5月12日前支付赎金，否则将泄露据称涉及8809所学校、2.75亿名师生信息的敏感数据。事件正值期末关键期，导致多所高校教学系统瘫痪，考试被迫中断或延期。Instructure已将平台置于维护模式，但官方初期以“计划维护”掩饰被黑事实，引发沟通滞后批评。此次攻击凸显教育科技集中化带来的单点故障风险与应急响应短板。
相关文章：
● 😱 Canvas LMS 遭勒索攻击，多校期末与成绩系统瘫痪 - News Hacker | 极客洞察
● 美国学习管理平台 Canvas 被入侵和勒索 - 奇客Solidot–传递最新科技情报
via Infinitum 资讯聚合
Canvas LMS（Instructure旗下）遭勒索组织ShinyHunters入侵，攻击者利用系统漏洞篡改约330所教育机构登录页面，威胁在5月12日前支付赎金，否则将泄露据称涉及8809所学校、2.75亿名师生信息的敏感数据。事件正值期末关键期，导致多所高校教学系统瘫痪，考试被迫中断或延期。Instructure已将平台置于维护模式，但官方初期以“计划维护”掩饰被黑事实，引发沟通滞后批评。此次攻击凸显教育科技集中化带来的单点故障风险与应急响应短板。
相关文章：
● 😱 Canvas LMS 遭勒索攻击，多校期末与成绩系统瘫痪 - News Hacker | 极客洞察
● 美国学习管理平台 Canvas 被入侵和勒索 - 奇客Solidot–传递最新科技情报
via Infinitum 资讯聚合
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)
Incus 7.0 LTS 版本正式发布，作为 LXD 项目社区分支 的长期支持版本，将支持至 2031 年 6 月。此次更新引入底层备份 API，并集成基本 S3 操作 以替代已停止维护的 MinIO 项目。同时，新版本移除了对 cgroups v1 和 xtables（iptables/ip6tables/ebtables） 的支持，标志着向现代容器管理技术的进一步演进。该版本由社区主导开发，延续了 Incus 在容器与虚拟机管理领域的创新。
via Infinitum 资讯聚合
via Infinitum 资讯聚合
社媒博彩广告主要针对年轻男性用户
剑桥大学研究发现，爱尔兰88家持牌博彩运营商在Meta平台投放的411则广告中，年轻男性成为主要受众，其广告触达率是女性的2.3倍。25-34岁人群接触广告最多，占触达账号的三分之一以上，该年龄段男性赌博成瘾率达1.3%，远高于女性的0.2%。其中，Betfair一则广告触达超132万独立账户，占爱尔兰人口26%。91则广告（22%）仅针对男性，无一则仅针对女性，整体广告中59.4%触达25-44岁人群。
via Infinitum 资讯聚合
剑桥大学研究发现，爱尔兰88家持牌博彩运营商在Meta平台投放的411则广告中，年轻男性成为主要受众，其广告触达率是女性的2.3倍。25-34岁人群接触广告最多，占触达账号的三分之一以上，该年龄段男性赌博成瘾率达1.3%，远高于女性的0.2%。其中，Betfair一则广告触达超132万独立账户，占爱尔兰人口26%。91则广告（22%）仅针对男性，无一则仅针对女性，整体广告中59.4%触达25-44岁人群。
via Infinitum 资讯聚合
美国学习管理平台 Canvas 被入侵和勒索
美国教育科技公司 Instructure 旗下的学习管理平台 Canvas 遭勒索组织 ShinyHunters 入侵，攻击者利用系统漏洞篡改约 330 所教育机构 的登录页面，替换为勒索信息，威胁若未在 5 月 12 日前 协商赎金将泄露数据。该组织声称窃取了 8809 所学校 的信息，涉及 2.75 亿名 学生和教职工，包括姓名、邮箱、ID 及消息等。事件发生后，Instructure 已将 Canvas 及其测试版本置于维护模式。
via Infinitum 资讯聚合
美国教育科技公司 Instructure 旗下的学习管理平台 Canvas 遭勒索组织 ShinyHunters 入侵，攻击者利用系统漏洞篡改约 330 所教育机构 的登录页面，替换为勒索信息，威胁若未在 5 月 12 日前 协商赎金将泄露数据。该组织声称窃取了 8809 所学校 的信息，涉及 2.75 亿名 学生和教职工，包括姓名、邮箱、ID 及消息等。事件发生后，Instructure 已将 Canvas 及其测试版本置于维护模式。
via Infinitum 资讯聚合
任天堂 Switch 2 涨价 50 美元
任天堂因内存等零部件成本上涨，宣布全面上调 Switch 系列游戏机及在线服务价格。Switch 2 日本版涨价至 ¥59,980，美国版涨至 $499.99，欧洲版涨至 €499.99；其他型号如 Switch OLED、标准版及 Lite 也同步提价。Nintendo Switch Online 服务价格亦上调。日本地区自 5 月 25 日生效，欧美地区则从 9 月 1 日开始执行。此次涨价使任天堂成为继索尼、微软后又一家因供应链压力调整定价的主机厂商。
via Infinitum 资讯聚合
任天堂因内存等零部件成本上涨，宣布全面上调 Switch 系列游戏机及在线服务价格。Switch 2 日本版涨价至 ¥59,980，美国版涨至 $499.99，欧洲版涨至 €499.99；其他型号如 Switch OLED、标准版及 Lite 也同步提价。Nintendo Switch Online 服务价格亦上调。日本地区自 5 月 25 日生效，欧美地区则从 9 月 1 日开始执行。此次涨价使任天堂成为继索尼、微软后又一家因供应链压力调整定价的主机厂商。
via Infinitum 资讯聚合
JDownloader 网站被入侵用户被推送恶意程序
JDownloader 官网遭入侵，攻击者在 5 月 6 日篡改了替代下载页面，向 Windows 和 Linux 用户推送未签名的恶意程序。Windows 安装链接被替换为恶意可执行文件，Linux 的 shell 安装脚本也被植入恶意代码。JDownloader 团队确认后立即关闭网站并展开调查。所幸主程序 JDownloader.jar、macOS 安装包及 Winget、Flatpak、Snap 等官方仓库中的版本未受影响。用户若近期通过非官方渠道下载需警惕。
via Infinitum 资讯聚合
JDownloader 官网遭入侵，攻击者在 5 月 6 日篡改了替代下载页面，向 Windows 和 Linux 用户推送未签名的恶意程序。Windows 安装链接被替换为恶意可执行文件，Linux 的 shell 安装脚本也被植入恶意代码。JDownloader 团队确认后立即关闭网站并展开调查。所幸主程序 JDownloader.jar、macOS 安装包及 Winget、Flatpak、Snap 等官方仓库中的版本未受影响。用户若近期通过非官方渠道下载需警惕。
via Infinitum 资讯聚合
闪电的起源之谜
天体物理学家 Joseph Dwyer 在转向研究闪电后发现，尽管雷暴云层电场强度仅为空气击穿所需值的 十分之一，闪电仍能发生，这成为长期未解之谜。他开创性地利用宇宙射线仪器研究闪电的高能过程，并提出 失控相对论雪崩理论：高能电子与原子碰撞释放伽马射线，转化为电子-正电子对，正电子在电场作用下返回雪崩起点，引发连锁反应，最终触发闪电。这一理论为解释弱电场中闪电形成提供了新路径。
via Infinitum 资讯聚合
天体物理学家 Joseph Dwyer 在转向研究闪电后发现，尽管雷暴云层电场强度仅为空气击穿所需值的 十分之一，闪电仍能发生，这成为长期未解之谜。他开创性地利用宇宙射线仪器研究闪电的高能过程，并提出 失控相对论雪崩理论：高能电子与原子碰撞释放伽马射线，转化为电子-正电子对，正电子在电场作用下返回雪崩起点，引发连锁反应，最终触发闪电。这一理论为解释弱电场中闪电形成提供了新路径。
via Infinitum 资讯聚合
人类历史上首次男性生育力低于女性，这一转折发生于2024年，由联合国人口数据研究揭示。男性人口比例持续上升，主因包括选择性堕胎（尤其堕女胎）、男性死亡率下降及出生性别失衡。尽管历史上男性过剩通常在生育年龄前消失，但现代社会改变了这一趋势。大洋洲、南美和亚洲近年出现转变，欧洲和北美则更早，而撒哈拉以南非洲预计延迟至2100年。研究警告男性过剩及无子女男性增多将带来社会挑战，建议提升女性地位、遏制性别选择并保障男性就业。
via Infinitum 资讯聚合
via Infinitum 资讯聚合
David Attenborough 爵士迎来 一百岁生日，英国国王与王后及 Dame Judi Dench、Morgan Freeman 等名人通过视频送上祝福。作为著名自然历史学家、主持人和作家，他的职业生涯长达 80年，参与制作了《地球脉动》《蓝色星球》《史前星球》等多部经典自然纪录片，致力于推动公众对自然与环境保护的认知，影响深远。
via Infinitum 资讯聚合
via Infinitum 资讯聚合
😟 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: 稿源：三言科技)
