OpenAI 如何用 AI 攻克数学难题

OpenAI 于周二发布 722 篇研究论文，包含 AI 对数学各分支问题的解答。文章称 AI 能解出超高难度数学题，原因包括数学解答像代码一样可验证、数学与 AI 研究者的工作高度重叠，以及算力足够时 AI 能完成人类需数年的大量计算且不会放弃。一位参与建议 OpenAI 公开数学突破的数学家称，这类能力被他们称为蛮力与耐力。