Readhub

近日，比利时布鲁塞尔自由大学发布研究成果，商用大模型已具备独立生成原创数学证明的能力，OpenAI 的 ChatGPT-5.2 (Thinking) 成功破解 2024 年提出的数学猜想。这一突破使大语言模型跨入理论数学领域，预示科学发现范式变革。研究团队将新科研模式命名为「氛围证明」，ChatGPT 在证明过程中展现原创推理能力，虽人类负责校验，但 AI 推演效率远超预期。该成果打破「AI 无创造力」偏见，未来理论数学研究速度有望提升，核心瓶颈将转向逻辑正确性校验，高效自动化验证将成技术争夺高地。