今天刷到一条挺炸的：OpenAI把内部frontier模型搞出来的一批数学结果直接扔到GitHub上，媒体报道数量从三百多到七百多不等，反正不是一篇两篇的量级。里面据说有算法改进，也有跟黎曼猜想相关的进展，不少还带了Lean形式化。平均每条大概消耗几个小时的Pro级算力，很多是单agent单prompt跑出来的。数