TCSExam：GPT-6 Astra证明14道已知定理，却未独立解开开放猜想

清华大学、月之暗面和上海期智研究院发布TCSExam，以100项专家复核任务覆盖Lean定理证明、求解器工程、构造优化和30个开放猜想。GPT-6 Astra在20道不给中间引理的研究定理中完整证明14道，Full综合指数71.9；所有模型都没有独立解开开放猜想，少数被接受的猜想提交改写了OpenAI已公开的反例或证明。Lean内核与可执行检查器让结果可复核，但基准仍不能把已知知识的高质量重构等同于原创科研突破。