Azeem Azhar：Exponential View·AI 评分74
Azeem Azhar 分析 OpenAI 未发布模型的数学成果对人类认知的意义
🔮 What is left to do
AI 导读
OpenAI 公布了一组未发布前沿模型产生的数学结果，涉及 372 个族的 722 篇论文，覆盖数论、复杂性理论和数学物理，平均每个结果相当于三小时 ChatGPT Pro 思考，部分已在 Lean 中验证但并非全部。Azeem Azhar 据此提出，数学可能分化为机器数学与人类数学两层，后者是我们能理解的机器前沿压缩版有效理论。
来源：Azeem Azhar：Exponential View · exponentialview.co