领取注册链接： 

兑换码直接自取 
a37027378dcb4b57a7f340412023ba9a 
1172847325a04d5d9b1d90f7fe0595c9 
fe0d36f0d6ba4305bc1ce9df9a2d6642 
17ee54a9c016417f94f597c7ec6fa6a3 
0e1062770fbd4a23b0dd0a314651dd56 
43994024f08a44dcbf7732b1b576df3c 
607c9ecc38824693a622bb3092c4e978 
d3a34f25b1014e8cba8a4357c3a9bc1f 
556125ca71394b8093c3a294ac1b55cf 
76c1ff7ed01742398116832dbe76475e 
8758c6e71ec34b87991842b9539fa340 
fd3de7a...

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...

无聊弄了一个小程序，但是发现好像个人账号不能上线。然后小程序的云开发的标准套餐真贵，个人版的套餐够用嘛？是推荐就用腾讯的云开发好，还是自己去整个便宜的服务器和数据库啊

站在科技里的佬，利好来了。 
 [image] 
那么你说晚上对面会保持着涨势吗，明天我大A会跟吗？

最近的天气很不好，大部分地区强降雨，大家一定注意安全，带好雨伞。

我发现我有时候点进话题，小蓝点不会消失，然后下面的帖子的小蓝点也不会消失，水几分钟他也还在，难道是熬鹰战术

[image] 
Opencode go 中的glm5.2是假的吧，一直在重复

天天刷视频看小说也有点无聊啊，佬友们又是怎么消磨时间的

IT之家 7 月 6 日消息，据《卫报》昨天报道，英国外交大臣伊薇特 · 库珀警告称 AI 或将成为未来 10 年最大安全挑战，如果各国政府不能就人工智能发展制定国际准则，那么 AI 对人类的威胁堪比美国当年核爆日本广岛、长崎。 
库珀表示，全球正处在危险之中，美国正寻求退出“世界秩序维护者”角色。并且全球人民都有同样的感受：AI 拥有惊人潜力，同时伴随着巨大的风险。 
她指出，目前已经有大量利用先进技术的恶意行为者，这些人有的是犯罪团伙，有的是极端组织，还有国家级犯罪组织。未来，全世界将不会期盼美国扮演过去那样的角色，并且世界各国依然会和美国意见不同。但总体来看，减少单一盟友依赖只会让英国更加强大。 
库珀认为，英国应该与欧洲建立长期稳定的合作关系，而不是针对贸易问题不断谈判。并且欧洲需要全新的关系，而不是不断讨价还价。 
此外库珀还表示，未来两年内，AI 将成为各国外交最重要的议题。因...

[image] 
加把劲加把劲，没吃饭？

用claudecode接gpt5.5调研一个需求居然这么慢，是我哪里整的不对么，求佬们解答 
[image]

notion之前改成一个教育邮箱，变成教育版，一直好好用了好几年，最近发现提示需要重新登录，结果输入那个教育邮箱号，提示“登录时出现问题”，我看网上有说会提示输入教育邮箱验证码，但是压根页面上就没有输入这个的地方啊。我的notion是不是就这么废了啊？有佬友指导抢救一下不？谢谢了！

macOS Sequoia 15.7.3，Claude Code v2.1.201，接 kimi 的 coding plan，每次一读PDF就报错 ⏺ API Error: 400 Invalid request Error。这个问题已经困扰我很久，有佬友有解决方案吗？

刚做的中转站，直接给兄弟们，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...

腾讯云618活动买的99元硅谷轻应用，之前都是cn2，这几天开始变普通线路了 😂 
 [image]

现在sumsub还是一黑全黑吗？请问有没有什么办法查自己黑没黑？

求佬友推荐一些有趣的b站up（翼刀除外），最近没有好看的下饭视频了，希望推荐一些长视频 
平时爱看： 

戒社
勇哥说餐饮
摩的司机徐师傅
网友暮雨
唯一讲述者
盗月社 食贫道 broca
螃蟹账号 马俐管家

真的绷不住了，去蹲了坑，抖音给我推了这个。 
 [微信图片_20260706162252_1056_3]

总碰到生图卡在图中这样子，或者是会给个完全不相干的图片 
 [image] 
每次让生成图片就会从高级自动变成均衡

佬友们，在使用codex 或者claude code 时， 
在和AI 沟通中，一般用了openSpesc，或者superpower， 
有些逻辑和思路，感觉很不错， 
希望用ppt保存下来，特别是能渐进式的更新ppt 
有没有类似的技能推荐，现在知道的就是ppt-master