SummaryBot comments on Decentralizing Model Evaluation: Lessons from AI4Math