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…