OpenAI 公开 700 篇数学预印本
OpenAI just dropped 700 preprints of mathematical proofs and counterexamples
OpenAI 刚刚在 GitHub 上公开了 700 篇数学预印本，涵盖证明与反例，涉及熵猜想、Penrose 不等式、Cohen-Macaulay 模等多个前沿领域。这些成果由 AI 生成或辅助完成，展示了其在纯数学推理中的潜力。从反例构造到定理证明，内容横跨代数、几何、拓扑与计算复杂性，部分成果甚至挑战了长期未解的猜想。这一举动不仅释放了海量高质量数学资源，也引发关于 AI 能否真正推动数学发现的热议。
OpenAI 刚刚发布了 700 篇数学证明与反例的预印本，展示了人工智能在纯数学领域的突破性能力。