OpenAI新模型Astra一举破解十项数学难题

来源：新智元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、罗格斯大学