https://linux.do 论坛的话题更新通知频道。
Talent (@tlerbao) 在 SuperGrok + Sub2Api + Composer 2.5 的相关问题求教 中发帖
今天买了 SuperGrok ，配到了 Sub2Api 里使用 Composer 2.5。
1、请问同样反代 Composer 2.5 的大佬，目前 Grok 的 Compser 2.5 反代出来使用有没有什么比较明显的短板或者问题！
2、我刚用 Opencode 测试了一下同时开两三个 Subagent 似乎触发了限流，Grok 的 Composer 2.5 的有并发限制？并发是多少知道吗？
3、我配置到 sub2api 里似乎只有两个模型名可以 compser-2.5 和 grok-composer-2.5-fast 可以请求到，是这样吗？
qianye223 在 现在gpt5.4的可用性 中发帖
佬友们平常会用5.4吗，在有明确的任务流程规划的情况下可不可以直接扔给5.4做，这样只需要用5.5部署项目写方案流程，还能美美享受1m上下文，还能保护钱包 😇
拾雨 (@c519127) 在 首届全球人工智能治理对话在日内瓦举行，联合国秘书长古特雷斯发表讲话 中发帖
IT之家 7 月 6 日消息，据央视新闻今日报道，当地时间 7 月 6 日，首届全球人工智能治理对话在瑞士日内瓦举行，约 1500 名来自世界各地的代表将在为期两天的会议期间就人工智能治理进行交流。
联合国秘书长古特雷斯在开幕式上表示，人工智能正以惊人的速度发展。问题在于，我们是要共同驾驭它，还是任由它驾驭我们。全球人工智能治理对话首次让每个国家都有机会参与其中。我们现在必须将全球参与转化为全球行动，使人工智能更安全、更公平、更易获取、更符合伦理。
全球人工智能治理对话根据联合国大会 2025 年通过的一项决议设立，是联合国大会创立的首个全球性国际平台，旨在让联合国 193 个会员国政府以及私营部门、学术界、民间团体等利益攸关方能够齐聚一堂，就构建关于人工智能治理的共同路径开展对话。
据介绍，首届全球人工智能治理对话将聚焦四大优先事项：人工智能的机遇与影响；能力建设与人工智能领域的鸿...
Dean (@Morm) 在 佬们，apple pay怎么调用电子卡包里面的卡？ 中发帖
开通gptpro的时候。手机端选择apple pay，但是一直让填写卡信息，不能调用电子钱包里面已经绑定的卡，怎么破？我是bubit澳区的卡，网页端可以直接订阅gpt pro，但是被封一个了，不敢这么弄了。怎么套一层apple pay？或者说有什么方便退款的支付方式，手里只有bybit的澳区卡
[ec34b65955c826f2c262757a604b4102]
@yimingming 在 佬们，codex 和claude如何破xian。 中发帖
佬们，codex 或者claude如何破xian。想看看某个多开exe程序学习下。
之前试了佬发的 codex -p ctf 方式。貌似不太行。
lucas (@lucasli) 在 【福利羊毛】cun.ai中转站 注册送 $19.3 等值体验额度（限100个兑换码） 中发帖
领取注册链接：
兑换码直接自取
a37027378dcb4b57a7f340412023ba9a
1172847325a04d5d9b1d90f7fe0595c9
fe0d36f0d6ba4305bc1ce9df9a2d6642
17ee54a9c016417f94f597c7ec6fa6a3
0e1062770fbd4a23b0dd0a314651dd56
43994024f08a44dcbf7732b1b576df3c
607c9ecc38824693a622bb3092c4e978
d3a34f25b1014e8cba8a4357c3a9bc1f
556125ca71394b8093c3a294ac1b55cf
76c1ff7ed01742398116832dbe76475e
8758c6e71ec34b87991842b9539fa340
fd3de7a...
拾雨 (@c519127) 在 面向数学形式化证明：Mistral AI 发布 Leanstral 1.5 低使用成本开源模型 中发帖
IT之家 7 月 6 日消息，欧洲人工智能企业 Mistral AI 当地时间本月 2 日宣布推出面向数学形式化证明程序语言 Lean 4 的 Leanstral 1.5 模型。该模型总共拥有 119B 参数，激活 6B 参数，以 Apache-2.0 许可开源。
Mistral AI 表示，Leanstral 1.5 模型在 miniF2F 形式数学基准测试的验证集和测试集上均实现了 100% 的完成率；在 PutnamBench 数学竞赛问题集的 672 道 Lean 4 问题中可解决 587 道；对于 FATE 系列抽象代数基准测试，其在硕士级 FATE-H 上实现了 87% 的达成率，博士级 FATE-X 达成率则为 34%，均为最佳表现。
[75c4c7d2-abcb-4067-9d73-f23f8005a9ff]
Mistral AI 强调了新模型的成本优势：对于 Pu...
@Whitree 在 佬们，个人账号是不是无法上线微信小程序啊 中发帖
无聊弄了一个小程序，但是发现好像个人账号不能上线。然后小程序的云开发的标准套餐真贵，个人版的套餐够用嘛？是推荐就用腾讯的云开发好，还是自己去整个便宜的服务器和数据库啊
拾雨 (@c519127) 在 英国外交大臣库珀警告：AI 或成未来 10 年最大安全挑战，世界各国必须建立紧急防护措施 中发帖
IT之家 7 月 6 日消息，据《卫报》昨天报道，英国外交大臣伊薇特 · 库珀警告称 AI 或将成为未来 10 年最大安全挑战，如果各国政府不能就人工智能发展制定国际准则，那么 AI 对人类的威胁堪比美国当年核爆日本广岛、长崎。
库珀表示，全球正处在危险之中，美国正寻求退出“世界秩序维护者”角色。并且全球人民都有同样的感受：AI 拥有惊人潜力，同时伴随着巨大的风险。
她指出，目前已经有大量利用先进技术的恶意行为者，这些人有的是犯罪团伙，有的是极端组织，还有国家级犯罪组织。未来，全世界将不会期盼美国扮演过去那样的角色，并且世界各国依然会和美国意见不同。但总体来看，减少单一盟友依赖只会让英国更加强大。
库珀认为，英国应该与欧洲建立长期稳定的合作关系，而不是针对贸易问题不断谈判。并且欧洲需要全新的关系，而不是不断讨价还价。
此外库珀还表示，未来两年内，AI 将成为各国外交最重要的议题。因...
@17126qs 在 claude code deepresearch调研需求这么费么？ 中发帖
用claudecode接gpt5.5调研一个需求居然这么慢，是我哪里整的不对么，求佬们解答
[image]
@dfxing 在 notion教育邮箱登录不进去了 中发帖
notion之前改成一个教育邮箱，变成教育版，一直好好用了好几年，最近发现提示需要重新登录，结果输入那个教育邮箱号，提示“登录时出现问题”，我看网上有说会提示输入教育邮箱验证码，但是压根页面上就没有输入这个的地方啊。我的notion是不是就这么废了啊？有佬友指导抢救一下不？谢谢了！
@Apus 在 求助，Claude Code接kimi模型一读PDF就报错 中发帖
macOS Sequoia 15.7.3，Claude Code v2.1.201，接 kimi 的 coding plan，每次一读PDF就报错 ⏺ API Error: 400 Invalid request Error。这个问题已经困扰我很久，有佬友有解决方案吗？
lucas (@lucasli) 在 cun.ai 新用户注册送 $8.8 额度｜100 个兑换码限量发放 中发帖
刚做的中转站，直接给兄弟们，100个兑换码，每个兑换码额度是7美金，首次兑换额外再赠送50%，直接到手。19.3美金（新用户注册8.8美金，兑换码7美金，首次兑换额外再次赠送50%就是3.5美金）8.8+7+3.5 =19.3美金。
a37027378dcb4b57a7f340412023ba9a
1172847325a04d5d9b1d90f7fe0595c9
fe0d36f0d6ba4305bc1ce9df9a2d6642
17ee54a9c016417f94f597c7ec6fa6a3
0e1062770fbd4a23b0dd0a314651dd56
43994024f08a44dcbf7732b1b576df3c
607c9ecc38824693a622bb3092c4e978
d3a34f25b1014e8cba8a4357c3a9bc1f
556125ca71...