AI创作者AMA知无不言
熬夜把 OpenAI 官方披露的 Astra 十道数学难题论文啃了三十页，249 页主论证加 62 页解题思路加 Lean4 形式化证明全开源，涉及高维几何、格密码、群论这些方向，其中高维球体堆积密度上界是自 1978 年来首次被改进。我拿 Sol API 按官方给的 Token 量粗算了一遍，总算力成本真就两千美元左右，折合人民币一万三。新科菲尔兹奖得主 Jacob Tsimerman 亲自下场把关这事最震撼——这意味着顶尖数学家已经认可 AI 证明质量。我翻了下那道非 sofic 群构造，AI 给出的核心构造思路跟我去年死磕过的一个方向高度相似但更简洁，那一瞬间真的有点后背发凉。
发布于 湖北
分享
评论
赞
未登录
友善发言
评论
加载中
