OpenAI还有大招！奥特曼刚演示的内部模型Astra，一口气在10个数学难题取得重大突破！这249页的PDF，在整个数学圈都是非常炸裂的程度。 
[图片] 
[图片] 
论文：https：//cdn.openai.com/pdf/ten-proofs-oai.pdf 
证明：https：//openai.com/index/ten-advances-in-mathematics/ 
Github开源Lean证明：https：//github.com/openai/ten-proofs 
数学家、美国数学学会Fellow、罗格斯大学杰出教授Alex Kontorovich难掩震惊，只留两个惊叹号。 
[图片] 
这是一个足以载入史册的分水岭时刻：无论在数学领域，还是AGI的征程上。 
说得直白些：如果这些结果经受住整个学界的检验，那么单是今天的这一轮发布，便堪称现代史上相关领域单日跨度最大...