https://linux.do 论坛的话题更新通知频道。
undercat (@chronicle12345) 在 Claude 在 11 天内完成费马大定理首个机器验证的 Lean 形式化证明 中发帖
费马大定理：
[image]
原文：Formalizing Fermat’s Last Theorem \ Anthropic
@apparition 在 Google AI Pro 在 Antigravity 的 Gemini 3.8 5hr 用量 中发帖
看着小蜜蜂半夜发狂，来水一下文
使用 Antigravity IDE
模型为 Gemini 3.8 Flash (High)
用光 5h，周限剩 83%
词元总计消耗 ~160M，换算等于 ~20 USD (好少 )
[image]
对话
Requests
Input
Cache hits
Output
Think
total
8f2dcb1f
245
1,548,905
33,209,675
111,838
46,337
34,870,418
0247617a
162
753,570
17,305,912
78,191
30,102
18,137,673
659cc98e
178
772,806
21,839,401
100,932
59,263
22,713,139
ca5c7aaf
80
370,301
3,531,469
35,847
2...
Amodel 在 坏了，GPT-6好像不在Chat里提供啊…… 中发帖
这下惨了，网页端还得用5.6-Sol
截至 2026 年 9 月 5 日，官方最新的产品说明写得很明确：
普通 Chat 的模型选择器里，GPT-6 Astra 目前以 GPT-6 Pro 提供。
GPT-6 Pro 目前给 Pro $100 / Pro $200 / Business / Enterprise，Plus 在普通 Chat 里没有 GPT-6。(OpenAI帮助中心)
不带 Pro 的 GPT-6 Astra 确实存在，但现在主要放在 ChatGPT Work 和 Codex。Plus、Pro、Business、Enterprise 都会逐步拿到；Business Premium 可以把现有完整的 Work/Codex allowance 用在 Astra 上。(OpenAI帮助中心)
你这个 Business Premium 在普通 Chat...
@Blackwood416 在 command code goat好像不够我用 中发帖
[Image_1788545680089_660]
这才买了几天就用到周限了，纯个人项目使用，可能我的任务难度都比较高吧（推理引擎开发）。佬友们平常都是什么用量呢？想了解一下不同任务的用量差距
jacek2yang 在 向同学分享免费token，结果。。。 中发帖
最近逛l站的时候发现不少免费token的办法，免费爽用glm 5.3 flash，于是想给同学分享一下，结果同学和我说，他的导师报销2k的api，不缺token。我感觉我在一点点石化，之前就听他说他们课题组导师给报销服务器和gpt pro 20x。
[Screenshot_2026-09-05-02-08-34-48_e39d2c7de19156b0683cd93e8735f348]
突然想问问，佬们的导师也这么慷慨吗？
KA (@qinzhongle) 在 GPT/CodeX的免费试用这么难拿？ 中发帖
如图 在GPT网页端中发现可以免费试用一个月 于是进行支付(Google Pay+香港众安) Google里面填的地址是美国免税州 支付时就是一直被拒绝 众安app没有拒付消息(应该不是银行方面被拒了)
[截屏2026-09-05 01.48.33]
Yifan_Chen 在 uu远程访问内地电脑 中发帖
各位大佬，麻烦问一下最近在澳门使用CTM的网络登录UU远程然后链接内地的电脑发现没有办法链接上，一直也没有排查出什么问题。
使用手机热点就可以正常热点，这是网络问题吗？除了手机热点还有什么其他方法吗？
HAHA (@vasthu) 在 求一个pat转化at的脚本 中发帖
目前在sub中如果是pat账号的话，虽然能够获取到重置次数的，但是无法使用，可能pat没有这个权限也有可能是接口不对，但是在cpa用AT和pat生成的json只能够正常重置的，之前好像看到过pat转at的脚本，但是过期了，没找到，求有的大佬发一下
P0T47O 在 折价出一张20刀Google play 礼品卡 中发帖
😨在pockyt买的卡，本来准备拿来开chatgpt，结果发现我的账号完全没法兑换，所以八折110块钱出掉回点血
有需要的佬私我带走
[Screenshot_2026-09-05-01-03-09-467_com.google.android.gm]
Ricardo. (@Ricardo1) 在 【深夜福利】冰山公益站，启动！ 中发帖
▶
公益推广声明
🧊 冰山公益站
轻舟有没有过万重山不好说，但既然都说撞上冰山了——那就在冰山上建个站吧。
免费上船。欢迎来测。🚢
之前说过一句「轻舟已过万重山」，后来喜提一句「轻舟已撞大冰山」。
想了想，撞都撞了，不能白撞。
所以——
冰山公益站，正式开张。🧊
> 如果有多一张船票，你会不会跟我一起走？
> 如果有多一张船票，你会不会带我一起走？
本站为纯公益性质 GPT 中转站，只提供 GPT-5.6-Sol 模型。
🌐 公益站地址
🏊 号池来源
目前使用：
自营正价 GPT Pro × 20 号池
配合自有的抗风控策略，保持模型智力，欢迎糖果题、水杯题等各种测试，欢迎自出题测试。
模型智力表现如何，欢迎大家自己测试。
💰 额度容量
目前站点计划每日提供约：
$10,000 等效 API 额度 / Day
公益站资源有限，会根据实际运行情况动态...
gdewai 在 GCP无法关闭结算账户导致的无法移除信用卡 中发帖
[image]
[image]
有点问题死循环了了属于是，目前谷歌云里有一个结算账号，绑定了谷歌账号角色，因为异常且没有0账单，已经关闭了，现在无法移除绑定的谷歌账号角色，导致一直关联，进而导致我无法移除谷歌账号里绑定的Credit Card
死循环逻辑：角色Credit无法正常结算 → 强停结算账户后异常 → 30天后关联资源已释放 → 已关闭项目无法移除角色，持续关联绑定了Credit的账号 → 谷歌账号Credit无法移除 → Credit异常 → Credit无法绑定Apple Pay
我提交了fallback，但是一致没有回应。
现在我想了两个办法，一注销google账号，但是我怕注销账号后Credit还不释放。二注销Credit，但是我看到注销说明里需要接触绑定关系，怕GCP影响注销。
还有其他方法吗