RecodeX 重构消息，一项名为“First Proof”的新型数学考试结果显示，AI在数学推理上的表现与投入的算力资源高度相关，能够取得高分的系统往往依赖高昂的付费算力，形成“付费才能参与”的竞争格局。该考试通过设置高难度题目，对比不同AI模型在数学证明与推理任务上的实际能力，凸显出算力成本对AI数学能力表现的决定性影响。