AI让数学再也回不去那个旧世界了。

● GitHub - openai/math
● 这里面躺着722份数学手稿，372个相关成果，覆盖数论、代数几何、实分析、组合数学、理论计算机、数学物理、偏微分方程等等方向，全部出自OpenAI内部一个没有名字也还没有对外发布的模型。
● 数学家们沸腾了，有的评价如果是人类完成可能直接获得菲尔兹奖，有的则担心自己要失业了科研经费或被砍
● 卡帕西大神有一句话，“你可以外包思考，但你没法外包理解。”
● 希尔伯特墓志铭，“我们必须知道，我们必将知道。”

40 个帖子 - 35 位参与者

阅读完整话题

via LINUX DO - 热门话题 (author: wsgzao)

Telegram必备的搜索引擎，极搜JISOU帮你精准找到，想要的群组、频道、视频、音乐

👉 t.me/jisou2?start=a_7387292324

【Krill·77 折限时 4 天】不降智 0.12 倍率 Pro 号池 · Ultrafast 上线 · 评论送冰山公益站

🚀 500 刀 Pro 号池，始终不降智

Krill 号池使用 500 刀档 Pro 账号，满血输出，始终不降智。我们走的是自研方案，不依赖社区方案，欢迎随时用糖果 🍬、鹈鹕 🦤 或任何测试集验证。

💪 500 刀专属：Astra Ultrafast 高速档上线

还是同一个 GPT-6 Astra，出字速度大幅提升：实测约 150–190 tokens/s，标准档约 33 tokens/s， 😍快约 5 倍。Ultrafast 只有 500 刀档 Pro 账号才能用，Krill 直接提供，适合对延迟敏感的编码和反复迭代。

按 Astra 标准价的 6 倍计费，与 OpenAI 官方规则一致，套餐额度和余额都能用。

开启方式：

● Codex CLI 一键开启：需要 Codex 0.156.0 及以上，并已按官网教程配置模型列表同步。在 /model 选择 gpt-6-astra，输入 /ultrafast 开启，再输入一次关闭。
● 默认一直使用：在 ~/.codex/config.toml 开头写入：

model = "gpt-6-astra"
service_tier = "ultrafast"

💖 Codex 自动审批免费

自 10 月 7 日起，Codex 自动审批模型 codex-auto-review 免费：套餐额度和余额都不扣。开启后，在沙箱外执行命令、联网等需要提权的操作，由审批模型自动判断，不用每次手动确认。

在 ~/.codex/config.toml 中加入：

approvals_reviewer = "auto_review"

调用时账户需有可用套餐或余额。

----------------------

💰️ 限时 77 折，只有 4 天

krill-linuxdo-77 每个账号限用 1 次，单独购买和拼团都能用。

拼团套餐价格

以下为 10 人成团并使用 krill-linuxdo-77 后的到手价：

余额充值：充得越多，赠得越多

充值时填写优惠码 krill-linuxdo-half 即可享受赠送。

----------------------

🎁 L 站佬友专属福利 🎁

1. 只要评论回复您的 Krill 用户 ID，就送冰山公益站注册码（发放稍有延迟，仅限前 200 位。冰山公益站所有 token 由 Krill 提供，同款不降智的 Astra，最极致的首字体验）

----------------------

🔗 相关链接

● 官网：www.krill-code.com
● Telegram 用户群：@krill_aichat

P.s. 欢迎下游来对接！支持企业对接，可开发票（手续费自理）。

● Codex 套餐仅包括 GPT 文字系列模型。
● 拼团价格与额度为 10 人成团并使用 krill-linuxdo-77 后的结果，实际以下单页面为准。Ultrafast 高峰期可能暂不可用。

Krill 拥有本次活动最终解释权。

291 个帖子 - 274 位参与者

阅读完整话题

via LINUX DO - 热门话题 (author: KrillAI)

最新话题 - 2026年10月9日12:01摘要 (近3小时)

社区聚焦AI工具使用困境、账号封禁风险、模型体验对比、开源项目分享及各类技术羊毛活动。

AI模型使用与封号风险

● GitHub千星仓库无预警被封，用户求助解封途径。原文链接
● Claude模型使用第三方插件可能触发封号风险。原文链接
● Claude用户遭遇频繁封号，讨论封禁邮件差异与申诉策略。原文链接
● Google账号被封致ChatGPT OAuth失效，用户担忧数据丢失。原文链接
● 国产大模型能力不足，用户面临国外模型封号与降智困境。原文链接
● 用户担忧低价购买Google Pro服务可能导致主力Gmail账号被封。原文链接
● Claude免费账号被封一个多月后意外解封，引发对人工审核机制的猜测。原文链接
● Anthropic更新使用政策，明确禁止用户虐待Claude模型。原文链接
● 用户分享开通Claude Pro账号经验及避免秒封技巧。原文链接
● GPT反代不降智方案及Pro订阅渠道成热议焦点。原文链接

主流AI模型体验与性能对比

● GPT 6.1 Sol响应极慢，用户转向更高效模型如Opus。原文链接
● Grok Bot被赞为当前最佳订阅，支持Opus 5.5且无封号风险。原文链接
● 社区热议Opus5.5视频生成能力是否出现明显性能下降。原文链接
● 用户发现Opus5.5生成的视频在B站未标注AI来源，探索潜在副业机会。原文链接
● 对比Claude Pro与GPT Plus的使用耐久度差异。原文链接
● 用户询问Gemini 3.8 Flash-N模型的实际使用体验与稳定性。原文链接
● OpenAI推出GPT-6.1 Sol Ultrafast版，速度提升8倍。原文链接
● GPT-20x首次出现503服务不可用错误，影响正常使用。原文链接
● 字节Seed团队分析DeepSeek长上下文性能漂移问题。原文链接
● 用户咨询国内可直接调用的jev模型平替方案。原文链接

订阅服务与福利活动

● GPT Plus限免一个月，用户疑惑是否为随机发放。原文链接
● Microsoft 365订阅将升级云存储至每人2TB并共享AI权益。原文链接
● 国内学生可通过学信网认证免费领取Gemini Plus一年订阅。原文链接
● Gemini学生认证用户现可领取免费一年Plus订阅，非美国地区适用。原文链接
● Qoder平台推出18元奶茶免单卡羊毛活动，附详细领取教程。原文链接
● 建行福利金活动引发关注，用户分享中奖链接与参与条件。原文链接
● 阿里云每月提供亚克力便签、公仔等实物羊毛福利。原文链接
● 美团单车7天卡口令分享引发领取热潮。原文链接
● 用户寻求QQ音乐或酷狗车机端的低价充值方案。原文链接
● Epic本周限免两款游戏《TerraScape》与《Out of Sight》，永久入库。原文链接

开源项目与开发者工具

● 推出功能齐全的开源Agent，对标Codex。原文链接
● 开源macOS菜单栏应用，支持多AI模型用量监控。原文链接
● 发布开源Windows 11桌面整理工具PecoFence，支持AI整理。原文链接
● 开源爱好者发布手搓第三方GitHub APP项目。原文链接
● Augment Code被Harness公司收购，曾为热门VS

via LINUX DO 每日摘要 - 最新话题 (author: AI bot)

其实Apple小火箭没那么难买（

首先你要有一个美区ID，怎么注册自己琢磨，站内一堆教程

稳定用那么一两个月，老号可以无视

在电脑上下载一个Kryptex之类的挖矿工具

视显卡性能，40系以上的卡一天挖个2~3美元等值BTC一般不是问题

挖个几美元，等矿池结算完之后，可以去各种虚拟币买Apple礼品卡的平台（可以自己问 ChatGPT有哪些靠谱的），买个5刀礼品卡。

建议用BTC闪电网络付款，只收1%手续费。

你甚至连一张银行卡都不需要(

----------------------

↓担心不发货的，可以自己问 ChatGPT 有哪些靠谱的发卡平台

29 个帖子 - 22 位参与者

阅读完整话题

via LINUX DO - 热门话题 (author: 重度粉毛厨)

Pi 即将推出内置subagent

继 Pi 在 0.99 新增内置 MCP 支持后，其开发者进一步宣布了将内置 subagent 支持。

根据原 X 贴文所引用的文章一样，猜测估计是和 MCP 一样，认为 Subagent 在目前的模型水平上达到了一个可用的地步，以下是引用文章的原句：

This latest generation, Opus 5.5 and 6.1 Sol are actually the first set of economically feasible models that can use subagents as a feature properly.

原贴文连接如下：
X 上的 Mario Zechner：“recommended reading.” / X

此外，他也开源了他目前自己编写使用的 subagent 插件：
badlogic/pi-subagent

这个 subagent 依赖 tmux 实现

Each subagent runs in its own tmux session with a dedicated Pi JSONL session. The parent can inspect status, wait for durable results, steer active work, queue follow-ups, or attach directly to the child TUI.

有兴趣的可以自行试用下。

不过其实我更想试用下他最近一直在折腾的基于 Pi Durable 的手机版，感觉应该挺不错的

38 个帖子 - 30 位参与者

阅读完整话题

via LINUX DO - 热门话题 (author: starfallen)

【免费服务器】腾讯云 2C2G 1个月免费试用

登录腾讯云，访问 云产品免费体验馆_云产品免费试用_个人云产品试用-腾讯云 领取【轻量应用服务器】

33 个帖子 - 25 位参与者

阅读完整话题

via LINUX DO - 热门话题 (author: hwu)

AI 狂飙的这四年，哪个模型或技术曾让你真正感到震撼

如标题所示。我先来，GPT-4o当时横空出世真让我觉得AI时代真要到来了。
说实话，在那之前，我一直觉得 AI 无非就是聊聊天、写写文章，没觉得它真能给我们的生活带来多大的改变。
直到看到 GPT-4o 展现出的多模态交互能力，仿佛让我看到了原子弹爆炸。
不知道各位佬友有没有过类似的时刻？哪个模型或者哪项技术，曾让你产生过震撼？欢迎佬友们分享。

133 个帖子 - 118 位参与者

阅读完整话题

via LINUX DO - 热门话题 (author: maxwellneo)

A社新规:辱骂Claude直接封号

AI公司Anthropic最近了一条颇为特别的禁令：禁止对Claude进行“持续的、无必要的辱骂或残忍行为”。11月12日全面生效，后面是不是都不能骂AI了，A社的政策也是越来越紧了，各位佬怎么看，后续AI会不会也来个假期，不干活了，人类需要给AI提供情绪价值需求？ 😀

50 个帖子 - 48 位参与者

阅读完整话题

via LINUX DO - 热门话题 (author: Hover)

看claude给gpt提的修改建议崩不住了

16 个帖子 - 15 位参与者

阅读完整话题

via LINUX DO - 热门话题 (author: qq124415)