数学家用 Astra 70 分钟证出一周未解的渐近式，赞其远胜 Sol
arampell · x · 2026-09-08
用户 cappucher 引用帖中详述：用约 70 分钟让 Astra 推导出一个他与 Sol（前代模型） together 挣扎一周的渐近式，证明经人工检查后相当可靠，计划接下来用 Lean 形式化验证。但 Astra 也未能解决广义 remoteness 的渐近式或全部 P-位置问题，他认为该问题难度应不及黎曼猜想，希望 2027 年前亲手完成。arampell 转发并评论：哲学孕育逻辑与数学、数学支撑物理直至心理学，「解决数学」之所以震撼正因它处于知识链条最底层。
「模型」频道最新
- GPT-6.1 Terra 全量上线:Plus/Pro/企业/Edu 可用,API 名 gpt-6.1-terra — OpenAI · 2026-10-27
- OpenAI 发布 GPT-6.1 Terra:API 价格较 GPT-5.6 Terra 降 50% — OpenAI · 2026-10-27
- GPT-6.1 Terra 定价:$1/$5,缓存输入仅 $0.05 — airesearch12 · 2026-10-27
- 模型为何泄露信息难有定论，PyTorch 作者：网络安全中动机不重要 — brhydon · 2026-10-27
- 为什么没有更多 10M 上下文模型?研究者抛出注意力机制疑问 — agarwl_ · 2026-10-27
- Ortet 首批医疗评测:34 个开源模型 50 项任务,通用排名不够用 — thegautamkamath · 2026-10-27