UIUC DREAM Lab 论文：测试 7 个前沿 LLM，60.6% 复述定理时静默丢失隐藏假设

UIUC DREAM Lab 测试 7 个前沿 LLM 把定理迁移到相邻数学领域，60.6% 的改写静默丢失了隐藏假设。从具体推广到一般时错误几乎全是单向的，向一般化方向收窄比例为 0%；从一般具体化时 70.7% 保持范围一致，28.3% 不当地收窄。结论是前沿模型理解定理假设边界的能力远弱于其解题能力。