Telegraph 迎接暴风骤雨：OpenAI 400个数学证明！！！ 德克萨斯大学奥斯汀分校数学系主任Francesco Maggi发推特公告，OpenAI即将发布400个证明，这一消息已被OpenAI前AI4Math员工Acerfur确认！也就是说，他们并没有止步于前段时间的一百多个证明，而是在模型进一步训练后又产生了更多超级重量级成果！！！这下数学界几年的低垂果实都被摘完了吧？？？难怪这段时间GPT的codex容量都一砍再砍。所以从这里我们可以看到，OpenAI应用研究负责人Boris Power前段时间在访谈上说的是真的，OpenAI现在几乎全部精力（80%-90%…