搜索
ChatGPT-5.2 首次独立证明数学猜想
8 小时前
近日，比利时布鲁塞尔自由大学公布了一项研究成果：商用大模型已能够独立生成原创数学证明。其中，OpenAI的ChatGPT-5.2（Thinking）成功破解了2024年提出的一项数学猜想。这一突破标志着大语言模型正式进入理论数学领域，预示着科学发现范式的变革。研究团队将这种新的科研模式命名为“氛围证明”。在证明过程中，ChatGPT展现了出色的原创推理能力，尽管人类仍需负责校验，但AI的推演效率远超预期。这一成果打破了“AI无创造力”的偏见，未来理论数学的研究速度有望因此提升，而核心瓶颈将转向逻辑正确性的校验，高效自动化验证将成为技术竞争的关键。
