FrontierMath Tier 4 巅峰对决:手动评估三种高算力模型 · AI HOT