RecodeX 重构消息,新数学基准SOOHAK显示AI模型自信求解无解问题,谷歌Gemini 3 Pro研究级问题30%正确率,但检测无解任务均未达50%。