数学家用 Astra 70 分钟证出一周未解的渐近式，赞其远胜 Sol

arampell · x · 2026-09-08

用户 cappucher 引用帖中详述：用约 70 分钟让 Astra 推导出一个他与 Sol（前代模型） together 挣扎一周的渐近式，证明经人工检查后相当可靠，计划接下来用 Lean 形式化验证。但 Astra 也未能解决广义 remoteness 的渐近式或全部 P-位置问题，他认为该问题难度应不及黎曼猜想，希望 2027 年前亲手完成。arampell 转发并评论：哲学孕育逻辑与数学、数学支撑物理直至心理学，「解决数学」之所以震撼正因它处于知识链条最底层。