人工智能
姚班校友主导，Claude攻克费马大定理首个完整形式化证明
梦瑶 量子位
3 浏览
最后靠Harness救回来
阅读原文：https://www.qbitai.com/2026/09/484551.html
相关文章
[推广] 搞了个开源大模型 API 中转站，官方价 3.5 折，送 25 份 5 刀额度
自己搭的站，TokenUs： https://tokenus.net 先说清楚，这就是个 API 中转站，基于 new-api 改的，没什么黑科技。接的都是开源模型，DeepSeek V4 全系、GLM 5.x 、Kimi K2.5/K3 、Qwen3.8 ，一共 15 个。接口和 OpenAI 兼容，base_url 换掉就能用。 价格是官方价的 3.5 折，举两个例子： DeepSeek V4 Flash：输入 $0.049 / 1M tokens Kimi K3：输入 $1.05 / 1M tokens （站内最贵的一个） 正常聊一次天（ 2K 输入 + 500 输出）大概 $0.0
V2EX
[推广] [GPT-6 已上线] 喜大普奔，速速来蹬！
刚把 GPT-6 接进现有 Codex 线路。 GPT-6 已支持 Pro 账号池 高 RPM 长期稳定线路 支持月付 仅向包月和按量付费用户开通（详情看我帖子），不做公益线路。 [地址] ： https://codex.zhuanyedaili.com [联系方式] ： QQ 群：1106944249 https://codex.zhuanyedaili.com/scripts/codex-qq-group.jpg
V2EX