OpenAI与MIT今日放出大招——“神经符号推理引擎”（NSRE）在IMO级别的复杂几何证明题上，直接达到了人类金牌选手的水准。这玩意儿不是纯大语言模型的“瞎猜”，而是把深度学习跟符号逻辑焊在一起，每一步推理都能显式生成、可验证，就像数学考卷上的步骤分，错了还能告诉你错哪儿。OpenAI首席科学家称这是消除AI幻觉的关键一步，通往AGI的必经之路。首批落地场景瞄准了科学计算、药物设计和金融风控这些容不得半点马虎的领域。论文已挂arXiv，但别高兴太早——从实验室到工业级应用，这中间还隔着工程化、算力成本和伦理审查的几座大山。

WolfEye: AI会做奥数题不稀奇，能讲清楚逻辑才是真本事。