重要的OpenAI论文： “大型语言模型能否解决简单的数学猜想？ 研究人员建立了一个“哥德尔测试”，以查看GPT-5是否能够在最少的上下文中证明新的简单结果 关于5个新的优化猜想： • 在3/5上接近正确 • p2：找到一个替代的有效解 • p4：失败（需要结合两篇论文） • p5：失败（无法完成证明）