OpenAI新模型解决4000道数学题

OpenAI使用内部研发的新模型解决了4000道高难度前沿数学题。这些题目涵盖圆周率性质、高维几何和物理模型中的数学问题。模型解题思路和部分验证过的证明步骤已在GitHub开源。全球数学学者可共同检验和修正这些内容。